11
reputation
3

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.

0
answers
1
question
~74
people reached
  • India
  • Member for 1 year
  • 7 profile views
  • Last seen Aug 2 '18 at 8:14

Top tags (1)

Score 0
Posts 1
Posts % 100

Top posts (1) All Questions Answers | Votes Newest

Badges (3)

Gold

Silver

Bronze

3

Rarest