doganulus
336
reputation
1
7
PhD Student in CS. Interested in timed systems, formal verification, language and automata theory. Background in electrical engineering.
Also proficient in C and Python.