People
Faculty Information
|
University of Florida Computer and Information Science and Engineering Prabhat Mishra
Associate ProfessorDirector, Embedded Systems Lab |
|
| Mailing Address: | P.O. Box 116120 Gainesville, FL 32611-6120 |
| Office Location: | E568 CSE |
| Office Phone: | (352) 505-1880 |
| Departmental FAX: | (352) 392-1220 |
| Email: | prabhat@cise.ufl.edu |
| Website: | http://www.cise.ufl.edu/~prabhat/ |
Interests
Design Automation of Embedded Systems, VLSI CAD, Scalable Hardware/Software Verification using Simulation and Formal Methods, Low-Power Reconfigurable Architectures, Real-Time Systems.
Education
- Ph.D., University of California, Irvine, 2004
- M.Tech., Indian Institute of Technology, Kharagpur, 1996
- B.E., Jadavpur University, India, 1994
Current and Recent Courses
| Semester | Number | Title |
|---|---|---|
| Fall 2010 | CIS4930/CDA5636 | Embedded Systems |
| Spring 2011 | CDA 4102 | Introduction to Computer Organization |
| Fall 2010 | CDA 4102/5155 | Computer Architecture Principles |
It is possible that changes in listings are pending. Contact the (CISE Student Services Center) at 352-392-1090 for the most up-to-date information.
Additional course information is available at:
- CISE Undergraduate Courses
- CISE Graduate Courses
- UF Undergraduate and Graduate Catalog Course Descriptions
Selected Publications
- Xiaoke Qin and Prabhat Mishra, A Universal Placement Technique of Compressed Instructions for Efficient Parallel Decompression, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), volume 28, no 8, pages 1224-1236, August 2009.
- Heon-Mo Koo and Prabhat Mishra, Functional Test Generation using Design and Property Decomposition Techniques, ACM Transactions on Embedded Computing Systems (TECS), volume 8, no 4, article 32, July 2009.
- Kanad Basu and Prabhat Mishra, Test Data Compression using Efficient Bitmask and Dictionary Selection Methods, Accepted to appear in IEEE Transactions on Very Large Scale Integration (VLSI) Systems (TVLSI), 2009.
- Mehrdad Reshadi, Prabhat Mishra, and Nikil Dutt, Hybrid Compiled Simulation: An Efficient Technique for Instruction-Set Architecture Simulation, ACM Transactions on Embedded Computing Systems (TECS), volume 8, no 3, 27 pages, Article 20, April 2009.
- Prabhat Mishra and Nikil Dutt (Editors), Processor Description Languages - Applications and Methodologies, Morgan Kaufmann, ISBN: 978-0-12-374287-2, June 2008.
Professional Awards and Honors
- NSF CAREER Award 2008-2013
- COE International Educator of the Year Award, 2007
- EDAA Outstanding Dissertation Award, 2004
- CODES+ISSS Best Paper Award, 2003
- VLSI Design Best Paper Award, 2011