People

Compositional Systems Lab

Brief Biography
smunjal's picture

Swati Munjal is an alum of the 2016 CAT Vehicle Challenge, and is a leader of the CAT Vehicle Challenge.

cinthyatang's picture

Cinthya Tang has a background in hardware systems, and her interests in the lab are in radar signal processing. She works with the CAT Vehicle Testbed hardware.

Alberto Heras (BS 2016) is an alum of the 2015 CAT Vehicle REU Site. His research included platooning and information flow of connected vehicles for intersection planning.

rahulbhadani's picture

Rahul Bhadani is a Ph.D. student in Electrical & Computer Engineering at the University of Arizona. He has been a supervisor to advise CATVehicle REU interns since Summer 2016.

askang's picture

Ashley Kang (BS 2017) is interested in simulation of cyber-physical systems. She works as part of the CAT Vehicle Testbed project.

kennondmckeever's picture

Kennon McKeever is an alum of the 2015 CAT Vehicle REU Site, and his interests include simulation of the CAT Vehicle as well as code synthesis for CPS from domain-specific models.

nrisso's picture

Nathalie Risso is a Ph.D student at the ECE Department at the University of Arizona. Her research interests include Control Systems and Automation, Cyber-physical systems and  System Identification.

Richard Jones is pursuing his Masters Degree in Electrical and Computer Engineering. He is currently an engineer at Raytheon Missile Systems in Tucson, AZ.

sprinkjm's picture

Dr. Jonathan Sprinkle is the Litton Industries John M. Leonis Distinguished Associate Professor of Electrical and Computer Engineering at the University of Arizona. He manages the lab research, which focuses on domain-specific modeling and cyber-physical systems.

mosfet's picture

Bunting is a Ph.D student in Electrical and Computer Engineering at the University of Arizona. 

Alumni

Erica Jones graduated with a Master of Science in Electrical and Computer Engineering in 2011. Her research used domain-specific programming languages to rapidly generate code for hardware reconfigurable test harnesses. She earned her MS degree while working as an engineer at Raytheon Missile Systems in Tucson, AZ.

Jacob Gulotta graduated with a Master of Science in Electrical and Computer Engineering in 2010. His research focused on random generation of instance models from metamodels, for testing purposes. Upon graduation, he accepted a position at Amazon.com in Seattle, WA.

Maribel Hudson graduated with a Master of Science in Electrical and Computer Engineering in 2011, and Bachelor of Science in Computer Engineering from the University of Arizona in 2009. Her graduate research included work in model transformations and domain-specific modeling. Upon graduation she accepted a position at Intel in Chandler, AZ.

Hussain Al-Helal (MS 2011, BS 2009). Between 2009-2011, Hussain worked as both research assistant (Model Integrated Computing, Autonomous Vehicle Technology, Mobile Application Development) and teaching assistant (Software Engineering: iOS/Android development) under Dr. Sprinkle.

Xiao Qin graduated with his Ph.D. in Electrical and Computer Engineering in 2014 from the University of Arizona. He participated in the NSF I-Corps program and won the "Best Team" Award in 2012. Upon graduation he accepted a position at Microchip.

Nicole graduated in 2015 with her BS in Electrical and Computer Engineering. She participated as a member of the 2013 CAT Vehicle REU Site, and continued her work in the lab from 2013-2015 in the area of control systems for autonomous vehicles. She was also an officer of the IEEE at UA, and served as an undergraduate lab assistant for the ECE 275 (Computer Programming II) course in 2014F. She left UA to pursue a graduate degree at the University of Illinois at Urbana-Champaign.

Alex graduated from the accelerated masters program in 2015, studying Computer Engineering. He participated in the CAT Vehicle REU during summer of 2013 and worked with the lab from 2013-2015 in the area of application of machine learning to vehicle simulation.

Wei He graduated with a Master of Science in Electrical and Computer Engineering in 2013. His interests include in Domain Specific Modeling Programming, Mobile Devices Programming and Control Theory.

Kun received the PhD degree in 2015. During his time in the Compositional Systems Laboratory he worked in research areas of domain-specific modeling, cyber-physical systems and software engineering. His thesis work is credited with spawning influential papers in model-predictive control for cyber-physical systems, and his publications in this area were the foundation for new research pursued by the lab starting in 2015. 

Diyang Chu graduated with a Ph.D. in Electrical and Computer Engineering in 2013. His research interests included domain-specific modeling, continuous reachability, multi-mode systems, and code generation. Upon graduation, he accepted a position at Twitter.

Sean Whitsitt received his PhD from the Univeristy of Arizona studying control theory and model based development.  He has been working at the Compositional Systems Laboratory under Jonathan Sprinkle since May 2010. His research was in fundamental requirements for automatically correcting models who failed their verification tests.