Professional Stuff
I work in the Xilinx Research Labs, applying high-level system modeling to programmable hardware and software platforms.
Research Interests
- Component-based modeling and design of embedded systems.
- Design tools enabling refinement from models to implementation.
- Formal system description (semantics, type theory, static analysis).
- The distribution of publication-quality research software.
Education
University of Maryland, College Park
Research Advisor: Dr. Nariman Farvardin
University of California, Berkeley.
Research Advisor: Dr. Edward Lee
Old Projects
- Ptolemy II
Ptolemy II is an component-based system modeling tool based on multiple models of computation in system design.
- Vergil
Vergil is a block-diagram user interface for Ptolemy II.
- Copernicus
Copernicus generates code from Ptolemy II models using component specialization.
- Diva
Diva is a Java-based infrastructure for system visualization and as basis
for graphical user interfaces.
- Pinball
Redemption Machine Project
A student-designed and built pinball redemption machine.