Hey! I’m John, a PhD student in aerospace engineering at CU Boulder. My research interests include formal synthesis and verification, analysis of multi-agent networks, and applications of reliable autonomous systems. My current research is focusing on control synthesis for nonlinear systems with only partial knowledge of the dynamic model.
I finished my undergraduate and master’s degrees at the University of Minnesota, Twin Cities. My extracurricular interests include maintaining my bike and my car, hiking when it is too cold out, and crossing books off my reading list.
A fellow roboticist from India pursuing masters in mechanical engineering at the University of Colorado Boulder with a curious mind constantly searching for new and interesting things to learn. I am currently working on synthesizing reactive controllers (that evolve with changes in env.) for manipulators in environments with finite human interventions and energy constraints enforced on the robot with task completion guarantees at ARIA systems group.
I am a graduate student in the Department of Aerospace Engineering at the University of Colorado Boulder. Participating in team sports my entire life gave me a curiosity in using teamwork to achieve very difficult goals. My research is dedicated to introducing these complex team interactions to the world of robotics. Specifically, I am investigating multi-ojective task planning for multi-agent robotic teams with the hopes that, one day, humans and robots can collaboratively perform complex tasks in ways only before dreamed of. In my spare time, I maintain an active outdoor lifestyle by constantly seeking trails to explore, mountains to snowboard down, and sports to play.
Things I like:
Fountain Pens and Cameras
Formal Control Synthesis
Things I don't like:
Black Box Control of Safety Critical Systems