3675 Market Street
Philadelphia, PA 19104
If you are interested in working with my on research, please see my advice for prospective students page, which describes how what I look for in PhD students, as well as how undergraduate or MS students already at Drexel can get involved in research with me.
Previously I've been a Senior Research Engineer at Samsung Research, a PhD student at the University of Washington, a software developer in Microsoft's Midori operating system kernel group (later doing compiler work with the team), and much longer ago an undergraduate at Brown University, an intern in the Solaris Kernel Group at Sun Microsystems, and an intern in one of the filesystem groups at NetApp.
|Jul 1, 2022||I’ve been awarded a new grant by the NSF, Closing the Specification Gap with Logic and Linguistics, to work on formal approaches to relating natural language specifications and (semi)formal specifications like those in proof assistants and tests. I will be hiring PhD students with an interest in applying classic ideas from linguistics (ideas from syntax and semantics, and possibly discourse) to improving software quality. Check out my recent ICSE NIER paper “Towards Property-Based Tests in Natural Language” for a sense of what this entails, and if you might be interested, check out my advice for prospective students page and get in touch if interested.|
|Dec 31, 2021||“Towards Property-Based Tests in Natural Language” will appear at ICSE NIER 2022|
|May 23, 2021||I’ll be on the PC for PLDI 2022|
|Feb 5, 2021||“Polymorphic Iterable Sequential Effect Systems” will appear in ACM TOPLAS|