Director

 

Prof. Prabhat Mishra

Director, Embedded Systems Lab
Room E568, CSE Building
University of Florida
Gainesville, Florida 32611-6120, USA
Phone: +1 (352) 505-1880
Homepage: http://www.cise.ufl.edu/~prabhat


Current Students

Ph.D. Students

 

Farimah Farahmandi

Ph.D. Student
Research Area: Validation and Verification
Publications: DATE 2017, ASPDAC 2017, DATE 2016 (2 papers), DAC 2015.
Major Awards: IEEE SVDTC Validation Award, 2017; Gartner Group Info Tech Scholarship, 2017
Homepage: http://www.cise.ufl.edu/~farimah

 

Yangdi Lyu

Ph.D. Student
Research Area: Side-Channel Attacks and Countermeasures
Homepage: http://www.cise.ufl.edu/~yangdi

 

Alif Ahmed

Ph.D. Student
Research Area: Security and Trust
Homepage: http://www.cise.ufl.edu/~alif

 

Subodha Charles

Ph.D. Student
Research Area: Energy-aware Computing
Homepage: http://www.cise.ufl.edu/~subodha
Graduated Students

Ph.D. Students

 

Yuanwen Huang

Ph.D., June 2017
Ph.D. Dissertation: System-on-Chip Vulnerability Analysis and Mitigation Techniques
Publications: HASS 2017, ASPDAC 2017, CCS 2016, ISQED 2016, VLSI-SoC 2015.
Major Awards: ISQED Best Paper Award, 2016; DAC Ph.D. Forum, 2017.
Employment: Vmware, Palo Alto, California.

 

Kamran Rahmani

Ph.D., April 2017
Ph.D. Dissertation:Scalable Signal Selection for Post-Silicon Debug
Publications: IEEE TVLSI 2016, IEEE TVLSI 2015, VLSI 2015, ISQED 2014, ICCD 2013, VLSI Design 2013, GLSVLSI 2012, GLSVLSI 2012, Elsevier SUSCOM 2012, IGCC 2011.
Employment: Medallia Inc., Palo Alto, California.

 

Kanad Basu

Ph.D., August 2012
Ph.D. Dissertation: Efficient Observability Enhancement Techniques for Post-Silicon Validation and Debug
Publications: MTV 2013, VLSI Design 2013, IEEE TVLSI 2012, HLDVT 2012, Elsevier Integration 2012, ITC 2011, VTS 2011, VLSI Design 2011, IEEE TVLSI 2009, GLSVLSI 2008.
Major Awards: VLSI Design Best Paper Award, 2011.
Employment: Synopsys, Bangalore, India.

 

Xiaoke Qin

Ph.D., April 2012
Ph.D. Dissertation: System-Level Validation of Multicore Architectures
Publications: DATE 2015, JETTA 2014, VLSI 2014, VLSI 2014, IEEE TCAD 2012, ACM TODAES 2012, DATE 2012, ISQED 2011, ISLPED 2010, DATE 2010, IEEE TVLSI 2009, VLSI 2010, IEEE TCAD 2009, VLSI 2009.
Major Awards: DATE Best Paper Nomination, 2012.
Employment: NVIDIA, Orlando, Florida.

 

Weixun Wang

Ph.D., August 2011
PhD Dissertation: Energy-Aware Scheduling and Dynamic Reconfiguration in Real-Time Embedded Systems
Publications: IEEE TCAD 2012, SUSCOM 2012, ACM TECS 2011, DAC 2011, IEEE TVLSI 2011, JOLPE 2011, VLSI 2011, SUSCOM 2011, DAC 2010, ISLPED 2010, VLSI 2010, ISVLSI 2009, VLSI 2009.
Major Awards: DAC Ph.D. Forum, 2011.
Employment: Amazon, Seattle, Washington.

 

Mingsong Chen

Ph.D., August 2010
PhD Dissertation: Efficient Approaches for Functional Validation of SoC Designs using High-Level Specifications
Publications: IEEE TC 2015, DATE 2015, JETTA 2014, ISVLSI 2013, VLSI Design 2013, ACM TECS 2012, IEEE TC 2011, DATE 2011, IEEE TCAD 2010, Springer DAES 2010, DATE 2010, VLSI 2010, VLSI 2009, GLSVLSI 2008, HLDVT 2007.
Major Awards: Best Paper Nominations at VLSI Design, 2009 and 2013; DAC Ph.D. Forum, 2010.
Employment: Professor, Software Engineering Institute, East China Normal University

 

Heon-Mo Koo

Ph.D., December 2007
PhD Dissertation: Coverage-driven Test Generation for Functional Validation of Pipelined Processors.
Publications: ACM TECS 2009, CODES+ISSS 2008, UKC 2007, DATE 2006, GLSVLSI 2006, UKC 2006, MTV 2006, MTV 2005.
Major Awards: KUSCO-KSEA Scholarship from Korean-American Scientists and Engineers Association, Korean Graduate Student Award from University of Florida.
Employment: Intel Corporation, Folsom, California.


M.S. Students

 

Sudhi Proch

M.S., May 2014
MS Thesis: Directed Test Generation for Hybrid Systems
Publications: VLSI Design 2016, IEEE TVLSI 2015, ISQED 2014.
Employment: Texas Instruments, Dallas, Texas.

 

Prateek Thakyal

M.S., May 2014
MS Thesis: Layout-aware Signal Selection for Post-silicon Debug
Publications: ISVLSI 2014, VDAT 2014.
Employment: Intel, Portland, Oregon.

 

Kartik Shrivastava

M.S., August 2010
MS Thesis: Synergistic Integration of Encryption and Compression in Embedded Systems
Publications: GLSVLSI 2012, VLSI Design 2011.
Major Awards: VLSI 2011 Fellowship Award.
Employment: ASIC Engineer, NVIDIA, Bangalore, India.

 

Chetan Murthy

M.S., December 2008
MS Thesis: Decoding-Aware Compression Techniques for Reconfigurable Systems.
Publications: Elsevier Integration 2012, IEEE TVLSI 2009, ISVLSI 2009, GLSVLSI 2009.
Employment: Member Technical Staff, Juniper Networks, Sunnyvale, California.

 

Seok-Won Seong

MS, May 2006
MS Thesis: Dictionary-Based Code Compression Techniques using Bit-Masks for Embedded Systems.
Publications: IEEE TCAD 2008, DATE 2007 and ICCAD 2006.
Employment: Senior Engineer, Turn Inc..


Undergraduate Researchers
    Jonathan Cruz REU (NSF) / Honors Thesis Spring 2016 - Spring 2017.
    John Zoldos REU (NSF) Spring 2017.
    James Safko REU (NSF) Spring 2017.
    John Barta REU (NSF) Spring 2017.
    Kevin Barta REU (NSF) Spring 2017.
    Ryan Blanchard REU (NSF) Spring 2016 - Fall 2016.
    Lisbeth Cardoso REU (NSF) Spring 2016 - Fall 2016.
    Timon Angerhofer REU (NSF) Fall 2016.
    Emre Ozgener REU (NSF) Spring 2015 - Spring 2016.
    Mai Tran REU (NSF) Spring 2016.
    Leslie Richardson REU (NSF) Spring 2015 - Fall 2015.
    Rachel Johnson REU (NSF) Fall 2014 - Summer 2015.
    David Weinberg Research Spring 2012.
    Leon Rogers SEAGEP REU Summer 2011.
    Cumpase Lawrence III SEAGEP REU Summer 2009.
    Cristobal Rivero Research Summer 2008.
    David Nash Honors Thesis Fall 2007.