Professor Song received his PhD degree from the University of Pisa, Italy, in 1991. From 1992 to 1998, he was on the faculty at the University of Montreal, Canada. He joined the Department of Electrical and Computer Engineering at Portland State University in 1998, where he is now a professor. He was an editor of IEEE Transactions on VLSI Systems and IEEE Transactions on Circuits and Systems. He was awarded an Intel Faculty Fellowship from 2000 to 2005. His research interests include design automation, formal methods, embedded computing systems and emerging technologies.
Research Interest and Expertise:
- Modeling and verification of complex systems
- Formal methods
- Design automation
- Embedded computing system design
- Emerging technologies
Courses Taught:
- ECE 481/581 ASIC: Modeling and Synthesis
- ECE 582/682 Formal Verification of Hardware/Software Systems
- ECE 483/583 Low Power Digital IC Design
- ECE 527/627 High Performance Digital Systems
Link to Research Archive:
Education
-
Ph.D. Computer Engineering
University of Pisa, Italy