Yitzhak Mandelbaum

I am a researcher in CERT's Secure Coding team at CMU's Software Engineering Institute. My primary research interest is finding ways to make computers easier to use and more reliable. My "hammer" is the programming language, as it plays an essential role in the development of the software that runs on today's computers. Much of my work has focused on domain-specific languages: languages designed so that users can express domain-specific knowledge in a manner that can be effectively and automatically translated into software. Most recently, I have been developing languages and related tools for validating and parsing data in a variety of domains. In my new position at CERT, I am also investigating methods to check codebases for conformance with CERT's secure-coding standard for Java.

CV