Dr. Sandeep K. Shukla

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. We have also had a number of undergraduate students work with us in the lab.

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.

• News
• Publications
• Tools