I’m an Assistant Professor in the Ann and H.J. Smead Aerospace Engineering Sciences Department. I earned Bachelors and Masters degrees in Aerospace Engineering from Texas A&M University and a PhD in Aeronautics and Astronautics at Stanford University in the Stanford Intelligent Systems Lab. Before joining the University of Colorado faculty, I was a postdoctoral scholar at the University of California, Berkeley in the Hybrid Systems Lab. My research is focused on decision making under uncertainty to enable safe and efficient autonomous vehicle operation. My recent research has focused on developing online algorithms for approximately solving partially observable Markov decision processes (POMDPs) and games with continuous or hybrid state, action, and observation spaces. In my free time, I enjoy skiing, trail running (really more like trail slogging), volunteering at my church, and following long Wikipedia rabbit trails.
Michael H. Lim
I am a PhD student in Electrical Engineering and Computer Sciences - Control, Intelligent Systems, and Robotics (CIR) at UC Berkeley, grateful to be advised by Profs. Claire J. Tomlin and Zachary N. Sunberg. I am interested in developing autonomous systems and architectures that integrate learning, control, and planning to enable physical robots to operate intelligently, safely, and efficiently, with provable guarantees. Currently, my research approaches include:
- Integrating computer vision, machine learning, path planning and control systems to solve realistic robotic problems with high dimensional observations, spanning robotic navigation and manipulation.
- Devising provable and efficient online algorithms for MDPs and POMDPs with continuous and hybrid spaces using importance sampling and continuous multi-armed bandits.
- Applying motion planning techniques to other domains including nuclear radiation detection with drones and ecological population dynamics control.
Hi, I’m Ben. I’m currently pursuing my interest in flight as a PhD student in aerospace engineering at the University of Colorado Boulder. I completed my bachelor’s degree in mechanical engineering at George Fox University, outside Portland, Oregon. My current research interests center around explainable decision making under uncertainty and the development of autonomous systems for safety onboard manned and unmanned aircraft. When I’m not studying or working on research, I like to get outside and bike, rock climb, or play some soccer.
Hey! I’m Himanshu. I am a Ph.D student in the Aerospace Department at CU Boulder. Currently, my research interests include - sequential decision making in partially observable environments that have arbitrary uncertainties, autonomous navigation for vehicles and manipulators among dynamic obstacles, and designing continuous action space online POMDP solvers. Prior to this, I finished my Masters degree in Computer Science from CU Boulder and my bachelor’s degree in Computer Science from Indian Institute of Technology (IIT) Ropar. In my free time I like to explore the beautiful city of Boulder and its neighboring towns on my bike, play basketball, cook delicious Indian curries, read mystery novels, or just watch animes and TV shows!
Qi Heng Ho
Hey there! I’m Qi Heng, a first year PhD student at CU Boulder. My research interests include sequential decision making under uncertainty, formal synthesis for robotics, and the intersection of these fields. I am especially interested in understanding how we can develop time and safety-critical autonomous systems that perform reliably with behavioral guarantees in partially observable and unstructured environments. Previously, I was a research engineer at the Singapore-MIT Alliance for Research and Technology Centre, where I worked on developing algorithms for self-driving vehicles. I grew up in Singapore, and completed my undergraduate degree at the National University of Singapore.
I’m a PhD student at CU Boulder and received my bachelor’s degree in aerospace engineering at Rutgers University New Brunswick, New Jersey. My research interests lie at the intersection of decision making under uncertainty and game theory. I began my research by investigating POMDP solution methods for finding cost-effective coronavirus testing strategies. Since then, I’ve moved to applying counterfactual regret methods to custody maintenance of adversarial satellites in the space domain awareness field. I’m currently looking into bridging the gap between the deterministic/continuous strategies offered by solutions to differential games and the stochastic/sequential strategies offered by solutions to imperfect information extensive form games.
Hi, I’m Zaki. I am a second year M.Sc. student in the Department of Aerospace Engineering at the University of Colorado Boulder. I received a B.Sc. in Aerospace Engineering also at CU Boulder. My current research revolves around a couple of projects within the domain of contingency management of UAS under component failures using MPC and POMDP methods. My work aims to solve the problem of optimal recovery of UAS under actuator failures requiring accurate characterization of the fault dynamics. I am also interested in using offline reinforcement learning to determine safe policies for safety-critical systems. In my free time I enjoy playing soccer and shredding the gnar.
Hey! My name is Jackson and I’m a Master’s student in the Electrical Engineering department at CU Boulder studying dynamics and controls. I recieved my bachelor’s in Electrical engineering from Washington State University. My current research involves using reinforcement learning to find causes of failure in systems, a method called Adaptive Stress Testing. In my free time I enjoy playing games such as chess and Magic: The Gathering.
Hola! I am Juyeop. I am a visiting scholar in the Department of Aerospace Engineering at CU Boulder. I am pursuing a Master’s degree in Aerospace Engineering at KAIST. I received my Bachelor’s degree in Mechanical Engineering from Seoul National University. My main research interest includes the safety of robots and autonomous vehicles with systemic uncertainty. I am also interested in the verification or maximizing robustness of learning-based systems. In my free time, I enjoy workouts and watching movies and dramas. ‘My mister’ is the most favorite drama ever!
Hi! I am Su-Jeong. I’m a visiting scholar in the Department of Aerospace Engineering at CU Boulder. I’m pursuing a PhD degree in Aerospace Engineering at KAIST. I received my Bachelor’s degree in Aerospace Engineering at Sejong University and Masters in Aerospace Engineering at KAIST in the Laboratory for information and Control System. My research is focused on decision making under uncertainty such as unknown dynamics, partially observable systems, and imperfect/incomplete information. I am currently interested in learning-based methods to deal with uncertainties under game theoretical formulations. In my free time I enjoy cooking delicious Korean foods, singing, and watching dramas.
Position after ADCL:
PhD Student at Stanford University
Position after ADCL:
United States Space Force Officer