Dwight is an M.S. student studying under Grigore, intending to graduate in May 2013, whose thesis is on the formal semantics of the Python programming language.
- Low-Level Program Verification using Matching Logic Reachability
- Dwight Guth and Andrei Stefanescu and Grigore Rosu
PDF, Slides(PDF), Matching Logic, LOLA'13, BIB