PhD Student, firstname.lastname@example.org
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.
PhD Student, email@example.com
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-objective 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.
PhD Student, firstname.lastname@example.org
Hi, I’m Anne and I’m just starting my Ph.D. here at CU Boulder. After getting my undergraduate degrees at Lehigh University, I got my start in engineering at Draper labs working on precision navigation instruments, like IFOGs. After a few years in the nuts and bolts (literally) of instrument prototyping and testing, I decided to move out to Boulder to pursue an MS in aerospace engineering. My work as an MS student stayed on theme with an atom-based inertial sensing project, but my contributions shifted to the controls side. Now I am exploring a wicked exciting new direction for my Ph.D. with the ARIA System Group. I work on navigation and objective planning for collaborative multi-agent systems exploring the lunar surface. We use formal methods to generate decision making strategies that maximize both mission value and safety.
PhD Student, email@example.com
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.
PhD Student, Kandai.Watanabe@colorado.edu
Hi, I’m Kandai Watanabe, a Ph.D. student in the Department of Computer Science at the University of Colorado Boulder. I got my Bachelor’s and Master’s Degree at Keio University, Japan and also studied at University of Illinois at Urbana Champaign during my Bachelor’s Degree. My research interest lies in the intersection between Control Theory, Optimization Theory and Probability Theory. I’m especially interested in long-term task learning for a robot to accomplish complex tasks like cooking. I have experiences in low-level engineering (circuit design, sensor fetching, sensor fusion, filtering, and controller design) as well as high-level decision making algorithms (e.g. Reinforcement Learning). At ARIA Systems Group, I envision to synthesize high-level task learning (e.g. formal methods) with the low-level primitive policy learning (e.g. RL).
PhD Student, firstname.lastname@example.org
Hi! I’m Rayan, a PhD student in Aerospace Engineering at CU Boulder. My research focuses on developing control strategies and software for safety-critical systems. Specifically, finding optimal control methods that include formal safety specifications using Control Barrier Functions. I obtained my Master of Science degree in Aerospace Engineering from Delft University of Technology, The Netherlands. I was a (Fulbright) researcher for two years at the Robotics Section of NASA’s Jet Propulsion Laboratory, where I developed models for astrodynamics applications. I enjoy outdoor activities, with playing soccer being my absolute favorite.
PhD Student, email@example.com
Hello, my name is Karan. I am a Ph.D. student in the Aerospace Engineering Department at Boulder. Before joining this ARIA Systems group as a Ph.D. student, I was a master’s student in the mechanical department. As a master’s student, I worked with Dr. Lahijanian on developing novel theory and framework to compute regret minimizing strategies for robotic manipulators operating in shared workspaces with humans. My current research interest lies at the intersection of autonomous systems, controls, and formal methods. My goal is to make robotics technologies, especially autonomous systems, safer and smarter to use in our day-to-day life.
MS Student, firstname.lastname@example.org
Hey, I’m Peter. I am a senior undergraduate studying aerospace engineering at CU Boulder. I am very excited for how far autonomous robots will progress in my lifetime, and I would love to take part in creating that future. I am currently working on modeling a robot manipulator, while giving it the means to complete a simple high level task. In the future, I hope to take part in studying autonomous decision making with safety guarantees based on a regret minimization framework.