102
reputation
7

Devendra Bhave

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.

10
answers
1
question
~3k
people reached
  • India
  • Member for 2 years, 7 months
  • 28 profile views
  • Last seen Aug 1 '18 at 16:58

Top tags (27)

Score 4
Posts 2
Posts % 18
Score 4
Posts 1
Score 4
Posts 1
Score 2
Posts 1
Score 1
Posts 2
Score 0
Posts 2

Top posts (11) All Questions Answers | Votes Newest

View all questions and answers

Badges (7)

Gold

Silver

Bronze

7

Rarest