James Bornholt is an assistant professor of computer science at the University of Texas at Austin , specializing in programming languages and formal methods which 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. He also works to make automated tools easier to build and to scale, and deploy them on important programming problems in systems and architecture.