doganulus
PhD Student in CS. Interested in timed systems, formal verification, language and automata theory. Background in electrical engineering.
Also proficient in C and Python.
8
answers
1
question
~5k
people reached
-
Grenoble, France
-
Member for 7 years, 1 month
-
13 profile views
-
Last seen Dec 13 '17 at 12:57