People
PhD Student
Md. Rayhanul Islam is a Ph.D. student in the Department of Computer Science at Iowa State University. His research lies in the synergy between formal methods, robotics, and control theory. He is working in the Autonomous System Lab under the supervision of Dr. Nok. His current focus involves quantifying inconsistencies in decision-making and perception within interacting agent scenarios. This research aims to facilitate the development of synthesis algorithms that identify and evaluate the source and effects of inconsistencies to improve overall system safety.
Area of Expertise:
Formal Methods
Software Verification
Robotics and Autonomous Systems
Major:
Computer Science
Advisor:
Education:
B.S., Software Engineering, University of Dhaka
M.S., Software Engineering, University of Dhaka