SOARlab's research mission is to improve the reliability and resilience of complex software systems by empowering developers with practical tools and techniques for analysis of their artifacts. We are interested in any technique or method that supports our research mission, including but not limited to: extended static checking, automated theorem proving, model checking, and runtime verification. Currently, our emphasis is on highly automatic and scalable analysis techniques for software, in particular for concurrent software.

We are part of the School of Computing at the University of Utah.


From left to right: Ankit Agrawal, Jack Garzella, Zvonimir Rakamaric, Maryam Dabaghchian, Marek Baranowski, Liam Machado, Shaobo He, Rocco Salvia