Difference between revisions of "Cansu Erdogan"

From FSL
Jump to: navigation, search
(About)
(About)
 
Line 1: Line 1:
 
== About ==
 
== About ==
  
I am a first 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.
+
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 giving proper semantics to JavaScript and software memory transactions using K framework.
+
Currently, I am working on monitoring the messages exchanged by the nodes in Robot Operating System (ROS).
  
 
== Contact ==
 
== Contact ==

Latest revision as of 02:37, 2 December 2013

[edit] About

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).

[edit] Contact

2111 Thomas M. Siebel Center for Computer Science University of Illinois, 201 N. Goodwin Avenue Urbana, IL 61801

cerdoga2@illinois.edu

Personal tools
Namespaces

Variants
Actions
Navigation