Dileep Kini

Dept of Computer Science
University of Illinois at Urbana Champaign
Office: 3301 Siebel Center, 201 N Goodwin Ave, Urbana, IL 61801

E-Mail :

I am a fourth year PhD student in the Computer Science department at the University of Illinois at Urbana-Champaign advised by Mahesh Viswanathan.

I work in the area of formal methods, my interests span probabilisitic systems, program synthesis, computer-aided education and computer security.


Probabilistic Büchi Automata for LTL\GU, TACAS 2015
with M Viswanathan

Decidable Problems for Unary PFAs, QEST 2014
with R Chadha, M Viswanathan

Probabilistic Automata for Safety LTL Specifications, VMCAI 2014
with M Viswanathan

Quantitative Information Flow in Boolean Programs, POST 2014
with R Chadha, M Viswanathan

Automated Grading of DFA Constructions, IJCAI 2013
with R Alur, L D’Antoni, S Gulwani, M Viswanathan

Using non-convex Approximations for Efficient Analysis of Timed Automata, FSTTCS 2011 
with F Herbreteau, B Srivathsan, I Walukiewicz

On Construction of Safety Signal Automata for MITL[U,S],  FORMATS 2011
with S Krishna, P Pandya

Using non-convex abstractions for efficient analysis of timed automata 
FM Seminar - UIUC (April 2012)

Last updated: January 2014