Professor Zachary Tatlock, a member of the Allen School’s Programming Languages & Software Engineering (PLSE) group, has earned a CAREER Award from the National Science Foundation to advance the development of a practical verification framework and other methods for improving the reliability of distributed software systems that form the backbone of modern computing applications.
Billions of people around the world rely on distributed systems every day for critical services, including banking, healthcare, transportation, and more. Such systems are designed… Read more →