Stanley Bak is a computer science researcher in the field of formal verification of cyber-physical systems using hybrid automata models. His recent research aims to develop tools and techniques for automatic and scalable formal reasoning for complex systems.

Stanley Bak received a Bachelor's degree in Computer Science from Rensselaer Polytechnic Institute (RPI) in 2007 (summa cum laude), and a Master's degree in Computer Science from the University of Illinois at Urbana-Champaign (UIUC) in 2009. He completed his PhD from the Department of Computer Science at UIUC in 2013. He received the Founders Award of Excellence for his undergraduate research at RPI in 2004, the Debra and Ira Cohen Graduate Fellowship from UIUC twice, in 2008 and 2009, and was awarded the Science, Mathematics and Research for Transformation (SMART) Scholarship from 2009 to 2013.

Google Scholar Profile

Short Course on Hybrid Automata and Verification

E-mail: {{makeEmail()}}


Recent News
News by stanleybak
Conference Papers
Journal Articles
Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

For certain papers (see notices inside): The U.S. government is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright notation thereon. These papers were authored by an employee(s) of the United States Government and are in the public domain. Non-exclusive copying or redistribution is allowed, provided that the article citation is given and the authors and agency are clearly identified as its source.

For some of the above publications: The final publication is available at

Program Committees



Past Projects