People

Zachary Sunberg

Zachary Sunberg

Faculty Member, zachary.sunberg@colorado.edu

Zachary Sunberg is an Assistant Professor in the Ann and H.J. Smead Aerospace Engineering Sciences Department. He 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, he served as a postdoctoral scholar at the University of California, Berkeley in the Hybrid Systems Lab. His research is focused on decision making under uncertainty to enable safe and efficient autonomous vehicle operation. His 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.

Tyler Becker

Tyler Becker

PhD Student, Tyler.Becker@colorado.edu

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.

Qi Heng Ho

Qi Heng Ho

PhD Student, qi.ho@colorado.edu

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.

Ben Kraske

Ben Kraske

PhD Student, benjamin.kraske@colorado.edu

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 the development of autonomous systems for safety onboard manned and unmanned aircraft, especially in the presence of uncertainty. When I’m not studying or working on research, I like to get outside and bike, rock climb, or play some soccer.

Michael H. Lim

Michael H. Lim

PhD Student, michaelhlim@berkeley.edu

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:

  1. Integrating computer vision, machine learning, path planning and control systems to solve realistic robotic problems with high dimensional observations, spanning robotic navigation and manipulation.
  2. Devising provable and efficient online algorithms for MDPs and POMDPs with continuous and hybrid spaces using importance sampling and continuous multi-armed bandits.
  3. Applying motion planning techniques to other domains including nuclear radiation detection with drones and ecological population dynamics control.

Himanshu Gupta

Himanshu Gupta

PhD Student, Himanshu.Gupta@colorado.edu

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!

Zakariya Laouar

Zakariya Laouar

Masters Student, Zakariya.Laouar@colorado.edu

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.

William Pope

William Pope

Masters Student, William.Pope@colorado.edu

Hello, I’m Will. I am a Master’s student in the Aerospace Engineering Sciences department at CU Boulder. My current research focuses on the development and implementation of online POMDP planners on real-world hardware, using an autonomous ground robot for experimentation. This work aims to accelerate the adoption of these highly-capable decision-making algorithms in aerospace and robotics applications. I completed undergrad at the University of Washington in Seattle, where I studied aerospace engineering and worked on CubeSats. In my free time, I enjoy hiking, photography, and visiting museums.

Jackson Wagner

Jackson Wagner

Masters Student, jackson.wagner-1@colorado.edu

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.

John Tucker

John Tucker

Masters Student, John.Tucker@colorado.edu

Hi! My name is John and I am a first year M.Sc. student in the Aerospace Engineering Department at CU Boulder. I received my Bachelor’s degree in Aerospace Engineering from CU Boulder in May 2021. My current research broadly deals with validating cyber-physical systems using a reinforcement learning framework known as Adaptive Stress Testing (AST). This work seeks to provide an understanding of where safety-critical systems can slip into a failure regime. Outside of research I enjoy reading and mountain biking!