TLA+ is a high-level programming language used to model complex, concurrent, and distributed programs and systems. It was created by Leslie Lamport and is backed by Amazon Web Services, Microsoft ...

Gowtham Kaki is an assistant professor joining the Department of Computer Science in fall 2020. His research is in the areas of Programming Languages and Formal Methods with a focus on automated ...