Reza Hajisheykhi
 
 

 

 

 

Example content image using the class .alignright

I am a PhD student in Computer Science and Engineering in Michigan State University. Currently, I am working in Software Engineering and Network Systems Laboratory (SENS Lab) under supervision of Dr. Sandeep Kulkarni.

CV

 
My research interests are:
  • Automated Software Design
  • Timed Automata
  • Stabilization
  • Software Fault Tolerance
  • Automatic Addition of Fault Tolerance to SystemC Programs
  • Security Protocols Verification
  • Wireless Networks (Ad Hoc and Sensor Networks).

I have developed a tool, UFIT, that can be downloaded from here!

I have developed a tool, USlicer, that can be downloaded from here!