Computer Science
Meta user
Network profile
311
reputation
1
7

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
~4k
people reached
  • Grenoble, France
  • doganulus
  • Member for 5 years, 7 months
  • 10 profile views
  • Last seen Dec 13 '17 at 12:57

Communities (11)

Top network posts

Top tags (18)

Score 14
Posts 4
Posts % 44
Score 10
Posts 3
Score 8
Posts 2
Score 7
Posts 3
Score 5
Posts 2
Score 4
Posts 1
View all tags →

Top posts (9) All Questions Answers | Votes Newest

4 Implementing regular expression matching using Brzozowski derivatives Jul 29 '16
4 Why are regular expressions defined with union, concatenation and star operations? Jul 27 '16
4 Model paths by regular languages Jul 26 '15
3 The complexity of BDD Synchronous Composition Aug 30 '16
2 Does Thompson's algorithm produce optimal NFAs? Jul 26 '15
1 Streaming parsing algorithms Aug 13 '16
1 Why should we study all the three forms of representation of finite automata? Aug 11 '16
1 Should a pure function take all of the functions it calls as arguments? Jul 27 '16
1 Is there any development in continuous-value computers? Jul 28 '15

Badges (8)

Gold

—

Silver

1

Rarest

Bronze

7

Rarest