Devendra Bhave
  • Member for 4 years, 7 months
  • Last seen more than 3 years ago
  • India
Stats
102
reputation
3k
reached
10
answers
1
question
About

Researcher in theoretical computer science. Works in formal methods, program verification and real-timed systems. Primary areas of interest are theory of timed automata, pushdown systems and their timed generalisations, model checking.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
4
Score
2
Posts
18
Posts %
4
Score
1
Posts
9
Posts %
4
Score
1
Posts
9
Posts %
2
Score
1
Posts
9
Posts %
1
Score
2
Posts
18
Posts %
0
Score
2
Posts
18
Posts %