Description: I’m an assistant professor in the Department of Computer Science at the University of Texas at Austin, working on programming languages and formal methods.
I’m an assistant professor in the Department of Computer Science at the University of Texas at Austin .
I work in programming languages, formal methods, and systems. My research helps programmers build more reliable software using automated programming tools : verification tools that check program correctness, and synthesis tools that generate correct programs from specifications. I work to make automated programming tools easier to build and use , and deploy them at scale on applications in systems and architecture .
I’m also a visiting researcher at Amazon Web Services , where I work on automated reasoning for Amazon S3 .