Dwight Guth

Dwight Guth received an M.S. in Computer Science from UIUC and a B.S. in Computer Science and mathematics from Purdue. His M.S. thesis is related to a formal semantics of Python 3 developed using K. With extensive industry experience in software engineering, programming language design, and software verification, he designed and developed several languages following a semantics-based approach, and several high-performance tools and technologies that work with any programming language given as input through its semantics.