Welcome to my website Aerosota, an homage to my profession and home. While I am bringing my website up to date, access my CV here.

I am an aerospace engineering PhD student at CU Boulder with research interests in formal synthesis and verification, planning and control methods for autonomous aerial and underwater vehicles, and multiagent network analysis. Currently, I am working with Professor Frew and the ARIA Systems Group led by Professor Lahijanian at CU Boulder.

Contact Information

Smead Department of Aerospace Engineering Sciences
3775 Discovery Dr, Boulder, CO 80303
john.m.jackson@colorado.edu