I am a second year M.S. student at UIUC Computer Science. I work with Prof. Grigore Rosu in Formal Systems Laboratory. I received my B.S. in Computer Engineering from Koc University, Istanbul, Turkey.
Currently, I am working on monitoring the messages exchanged by the nodes in Robot Operating System (ROS).
2111 Thomas M. Siebel Center for Computer Science University of Illinois, 201 N. Goodwin Avenue Urbana, IL 61801