 |
The FERMAT lab
was founded in the fall of 2002 by Dr. Sandeep Shukla to initiate
research activities in the area of embedded system design for critical
applications. The research areas of focus are: System level Design,
Formal Verification, Defect-Tolerant Computing for Nano systems, Low
power design of systems and networked embedded system design. Currently
four students are pursuing their graduate research at the lab under the
supervision of Dr. Shukla. David Berner visits the lab every year from
IRISA, France as a part of the collaborative initiative between FERMAT
and IRISA. A number of undergraduate students have also worked in these
different research areas.
The ongoing work of the graduate students is diverse. Hiren has been working on Heterogeneous Modeling and Simulation frameworks, and has successfully extended existing SystemC kernel to support multiple models of computation. He has also published a book from Kluwer Academic Publishers. Suhaib has developed a new methodology called XFM for formal verification and has developed a tool kit that engineers and other researchers can use. Debayan has been working on fault-tolerant architectures for nano-computing, and has developed tools and techniques to analyze such architectures. All three of these students are pursuing their doctorate degrees. Deepak is a Masters student and is involved in Multi-MoC Frameworks based on Functional Languages, and has developed his own modeling and simulation framework in SML.
Although FERMAT is in its infancy, due to the hard work and team spirit, the lab has been highly productive with more than fifty publications. Three books have also been published in the last two years. Among the national and international collaborators of FERMAT, IRISA, UCSD, UCI, LANL and NRL are some of the major institutions. Intel, Bluespec and Esterel-technologies are some of the major industry collaborators.
The ongoing work of the graduate students is diverse. Hiren has been working on Heterogeneous Modeling and Simulation frameworks, and has successfully extended existing SystemC kernel to support multiple models of computation. He has also published a book from Kluwer Academic Publishers. Suhaib has developed a new methodology called XFM for formal verification and has developed a tool kit that engineers and other researchers can use. Debayan has been working on fault-tolerant architectures for nano-computing, and has developed tools and techniques to analyze such architectures. All three of these students are pursuing their doctorate degrees. Deepak is a Masters student and is involved in Multi-MoC Frameworks based on Functional Languages, and has developed his own modeling and simulation framework in SML.
Although FERMAT is in its infancy, due to the hard work and team spirit, the lab has been highly productive with more than fifty publications. Three books have also been published in the last two years. Among the national and international collaborators of FERMAT, IRISA, UCSD, UCI, LANL and NRL are some of the major institutions. Intel, Bluespec and Esterel-technologies are some of the major industry collaborators.