Research
Research interests:
- Programming languages: design and implementation, type systems, static analysis, modular analyses
- The Java VM and Java language extensions
- Component discovery and adaptation at various levels in the software hierarchy.
- Code synthesis
Generally speaking, I'm interested in the conceptualization that occurs when we try to build software representations of the real world. What information should be preserved in such representations, and how do we resolve contradictions between different representations automatically? How can we develop tools and languages to support a more scalable development process?
Interests that haven't made it to the research stage yet:
- The relationship between society and technology, the impact of technology on ethics and politics
- "Continental" philosophy: epistemology and ethics
Main project: Poplar.