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.


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!





Andrew File System Retirement

Andrew File System, which hosts this address, will be ending service by January 1, 2021. Learn about the retirement process, managing your existing files, and alternative services at the Andrew File System Retirement Information Page.