- Economic Impact
- Nano Network
Assistant Professor, Portland State University
Nanoscale Metrology and Nanoelectronics
My research interests are primarily in the areas of embedded systems, software engineering, and formal methods. I am particularly interested in development of formal method based techniques and tools for building safe, secure, and reliable software and embedded systems.