Austin successfully defended his PhD prospectus! Congratulations Austin!
Igor defended his PhD thesis titled “Vehicle Control from Temporal Logic Specifications with Probabilistic Satisfaction Guarantees” and became Dr. Cizelj !
Ebru defended her PhD thesis titled “Formal Verification and Controller Synthesis for Discrete-Time Systems” and became Dr. Aydin-Gol !
Alphan defended his PhD thesis titled “Optimal Temporal Logic Control of Autonomous Vehicles” and became Dr.Ulusoy!
Guilhem defended his PhD thesis titled “Affecting the macrophage response to infection by integrating signaling and gene regulatory networks” and became Dr. Richard!
Mike successfully defended his MSc thesis. Congratulations Mike!
Yushan defended her PhD thesis titled “Formal Synthesis of Control and Communication Schemes” and became Dr. Chen!
Igor successfully defended his PhD prospectus. Congratulations Igor!
Ebru successfully defended her PhD prospectus. Congratulations Ebru!
Alphan successfully defended his PhD prospectus. Congratulations Alphan!