Climbing the Sentinel in the Sandias! Picture credit: Sean Phillips

Hello! I am Kristina Miller and I am a PhD student in Electrical and Computer Engineering at University of Illinois Urbana-Champaign. I graduated with my B.S. in Mechanical Engineering from UIUC in May 2019. My advisor is Dr. Sayan Mitra and my research focus is on safe autonomy. Much of my work has focused on controller synthesis for nonlinear systems using tools from verification. I am also interested in using game theory to synthesize controllers for multi-agent systems. I have also worked with Dr. Sean Phillips on synthesizing safe controllers for hybrid satellite systems. When I was an undergraduate, I worked on using machine learning to synthesize materials with Dr. Elif Ertekin. This work shows up in the GrResQ project.

Outside of research, my hobbies include drawing, music, and climbing.

Check out my synthesis tool FACTEST! This tool uses linear constraints to synthesize controllers for nonlinear systems. You can also check out the autonomous racing competition GRAIC. This competition aims to benchmark decision and control algorithms for autonomous vehicles.