Welcome to my website Aerosota, an homage to my profession and home. You may 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 systems. 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