I am a third year PhD student at LaBRI, expecting to defend my thesis
by June 2012.
Prior to this, I graduated from the
Indian Institute of Technology (IIT), Bombay
with a Bachelor of Technology (B.Tech) and a Master of Technology (M.Tech) in
Computer Science and Engineering, under the dual degree programme (5
years).
My dual degree thesis
was under the supervision of Prof Krishna S.
Research Interests
Verification of real-time systems
Automata theory and logic
Publications
Better abstractions for timed automata
with Frédéric Herbreteau and Igor Walukiewicz. (Submitted)
PDF
Using non-convex approximations for efficient analysis
of timed automata
with Frédéric Herbreteau, Dileep Kini and Igor Walukiewicz. Proceedings of FSTTCS 2011
PDF
Coarse abstractions make Zeno behaviours difficult to detect
with Frédéric Herbreteau. Proceedings of CONCUR 2011
PDF (Invited for
Special issue in Logical Methods in Computer Science)
Efficient on-the-fly emptiness check for timed Büchi automata
with Frédéric Herbreteau. Proceedings of ATVA 2010
PDF
Efficient emptiness check for timed Büchi automata
with Frédéric Herbreteau and Igor Walukiewicz. Formal Methods
in System Design
PDF,
(CAV 2010, Special issue)
Conference version
An alternate proof of Statman's finite completeness theorem