Dr. Soumyajit Dey
Associate Professor, CSE Dept (Homepage)
We work in close collaboration with
Formal Methods Research Laboratory and
Secured Embedded Architecture Laboratory. Due to the highly intertwined research objectives, many of our students are shared among these targeted groups thus creating a technologically rich inter-disciplinary research environment. Much of our research goes beyond data driven computer simulation; we innovate in theory as well as actual validation on engineering testbeds.