Siddharth Krishna


I am a PhD student in the Computer Science Department of the New York University, since Fall 2013. I am interested in the fields of Formal Verification, Cryptography and Machine Learning.

Profile picture

Education

2013 –NYU, Courant Institute of Mathematical Sciences,
PhD. Computer Science
2010 – 2013Chennai Mathematical Institute,
BSc. (Hons.) Mathematics and Computer Science

Contact

firstname (at) cs(.)nyu(.)edu
LinkedIn profile
Room 404
Warren Weaver Hall
251 Mercer St
New York, NY 10012

Publications

A quadratic construction for Zielonka automata with acyclic communication structure Siddharth Krishna and Anca Muscholl

Theoretical Computer Science September 9, 2013

See abstract
Asynchronous automata are parallel compositions of finite-state processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trace language can be recognized by a deterministic asynchronous automaton. The construction is rather involved and the most efficient variant produces automata which are exponential in the number of processes and polynomial in the size of the DFA. In this paper we show a simple, quadratic construction in the case where the synchronization actions are binary and define an acyclic communication graph.

Awards & Honours

ACM Inter Collegiate Programming Contest 2011, 2012

Was part of a three member team that qualified twice for the World Finals. We came 1st in 2011 and 2nd in 2012 in the regionals.

International Olympiad in Informatics Aug ’10

Represented India in the international round (was one of 4 member team), and won an individual Bronze medal.

Rhodes Scholarship Finalist Nov ’12

Was one of the 18 students from India across all disciplines shortlisted for the Rhodes Scholarship.

KVPY Fellowship Apr ’10

Was one of the 20 students from across India to be awarded the prestigious science fellowship (KVPY) for a Mathematics project titled “Rational Approximations to the roots of x^x”.

Experience

Research Intern May 2013 – July 2013 (3 months)

LSV, ENS de Cachan, Paris

Worked with Paul Gastin on Multiple Context Free Grammars and connections to Push Down Automata.

Research Intern May 2012 – July 2012 (3 months)

LaBRI, Universite Bordeaux, France

Worked with Anca Muscholl and Hugo Gimbert.

  • Studied synthesis of controllers for distributed systems.
  • Improved the construction for all acyclic architectures, and published result.
  • Implemented the algorithm as an add-on to the Java tool GAVS +.
  • Presented my results at the GAMES ’12 conference in Napoli, Italy.

Research Intern May 2011 – July 2011 (3 months)

The Institute of Mathematical Sciences, Chennai

With R. Shankar, on a project to model glacier dynamics. Used Python to analyse geological survey data and find errors.

Coach June 2011 – June 2011 (1 month)

International Olympiad in Informatics (IOI) Training Camp, India.

Programming Intern May 2010 – June 2010 (2 months)

Strand Life Sciences