Something I want to solve
Research Interests
Programming Languages, Type Theory, Formal Methods, Mechanizing Metatheory, Compilers, Interpreters, Software Engineering, Software Reuse, Domain Analysis, Product Line Engineering, Software Development Process