Skip to main navigation Skip to search Skip to main content
Stanley Bak

View Scopus Profile

Stanley Bak

    20092025

    Research activity per year

    Personal profile

    Biography

    Stanley Bak received his PhD from the the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC) in 2013 and then worked for several years at the Air Force Research Laboratory (AFRL) in the Verification and Validation (V&V) group of the Aerospace Systems Directorate. He received the AFOSR Young Investigator Research Program (YIP) award in 2020 and the NSF CAREER award in 2023. He is currently an associate professor in the Department of Computer Science at Stony Brook University. 

    Research interests

    verification of autonomy, cyber-physical systems, and neural networks

    Resources

    Education/Academic qualification

    PhD, Computer Science, University of Illinois at Urbana-Champaign (UIUC)

    Fingerprint

    Dive into the research topics where Stanley Bak is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further
    View all 9 grants & projects

    • Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights

      Bak, S., Hekal, A., Kochdumper, N., Lew, E., Mata, A. & Rahmati, A., 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 234-255 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15055 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Finding Unknown Unknowns using Cyber-Physical System Simulators

      Wehbe, S. D. & Bak, S., Jun 5 2025, Proceedings of the 2025 Workshop on Design Automation for CPS and IoT, DESTION 2025, 2025 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2025 Workshops. Association for Computing Machinery, Inc, 3727829. (Proceedings of the 2025 Workshop on Design Automation for CPS and IoT, DESTION 2025, 2025 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2025 Workshops).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • Polynomial Zonotopes Intersection Checking

      Luo, E., Huang, Y., Sun, Y. & Bak, S., May 7 2025, Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, ICCPS 2025, held as part of the CPS-IoT Week 2025. Association for Computing Machinery, Inc, 35. (Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, ICCPS 2025, held as part of the CPS-IoT Week 2025).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes

      Huang, Y., Luo, E., Bak, S. & Sun, Y., May 2025, In: Nonlinear Analysis: Hybrid Systems. 56, 101571.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      2 Scopus citations

    • Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement

      Bak, S., Bogomolov, S., Hencey, B., Kochdumper, N., Lew, E. & Potomkin, K., Aug 2025, In: Formal Methods in System Design. 66, 2, p. 307-333 27 p.

      Research output: Contribution to journal › Article › peer-review

      1 Scopus citations
    View all 93 Research outputs