pranay agrawal

I am currently a 1st-year master's student in the Department of Computer Science at ENS-Paris-Saclay. I am currently working with Stéphane Demri (CNRS, Paris) on Description Logics.

I am broadly interested in distributive systems (modelling, semantics verification), concurrency models (petri nets, hybrid systems) and formal methods. I have worked with L. Helouet (INRIA, Rennes) on Waiting Nets and we are soon to publish a paper.

Prior to this, I was an undergraduate student at the Chennai Mathematical Institute, India. During my undergraduate, I have worked with B. Srivathsan, Ph. Schnobelen, Alain Finkel, A. Cyriac and Benny George on various topics related to formal methods and verification.

You can find my detailed CV here.