|
|
|
Contact
|
Office hours
|
|
Teaching
|
| Past Classes |
|
|
EECS 211,
|
Advanced System Software
|
|
|
EECS 10,
|
Computational Methods in Electrical and Computer Engineering
|
|
|
EECS 222C,
|
System-on-Chip Software Synthesis
|
|
|
EECS 211,
|
Advanced System Software
|
|
|
EECS 10,
|
Computational Methods in Electrical and Computer Engineering
|
|
|
EECS 222A,
|
SoC Description and Modeling
|
|
|
EECS 211,
|
Advanced System Software
|
|
|
EECS 10,
|
Computational Methods in Electrical and Computer Engineering
|
|
|
EECS 221,
|
System-on-Chip Software Synthesis
|
|
|
EECS 211,
|
Advanced System Software
|
|
|
EECS 298,
|
SoC Description and Modeling
|
|
|
EECS 10,
|
Computational Methods in Electrical and Computer Engineering
|
|
|
EECS 211,
|
Advanced System Software
|
|
|
EECS 10,
|
Computational Methods in Electrical and Computer Engineering
|
|
|
EECS 298,
|
Embedded Software Synthesis
|
|
|
ECE 298,
|
SoC Description and Modeling
|
|
|
ECE 12,
|
Introduction to Programming
|
|
|
Projects
|
| Ongoing Projects |
-
ConcurrenC: A Novel Model of Computation for C-based SLDLs
|
|
|
-
Embedded Software Synthesis
|
|
|
|
Awards
|
|
|
Publications
|
All Publications
Recent Invited Talks and Presentations
Curriculum Vitae
|
|
Students
|
| Alumni |
|
| Ph.D. | (2008)
|
|
| Ph.D. | (2008)
|
|
| M.S. | (2006)
| |
| M.S. | (2006)
|
|
|
Releases
|
| SpecC Reference Compiler and Simulator |
|
|
|
|
|
|
|
Personal
|
|
My family
|
|
|
|