31
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
~91
people reached
  • India
  • Member for 2 years, 5 months
  • 8 profile views
  • Last seen Aug 2 '18 at 8:14

Top tags (0)

This user has not participated in any tags.

Top posts (1)

Badges (3)

Gold

Silver

Bronze

3

Rarest