Aiswarya Cyriac

/ C. Aiswarya

Will you be there? INFINITY 2014 is taking place in New Delhi on 18/12/2014.


Now I am a post-doctoral researcher at Uppsala University. I work in the algorithmic program verification group. My new homepage is still under construction.

Before I was a PhD student at LSV, ENS Cachan, France. My thesis was supervised by Benedikt Bollig and Paul Gastin. I was supported by the DIGITEO project LoCoReP. Details of my defense can be found here.

Much before I did the second year of masters (M2, MPRI) at ENS Cachan, France and first year of masters at IMSc Chennai, India.

Much much before I did my BTech in computer science at NIT Calicut, India.

Much much much before I did my schooling at Technical Higher Secondary School near my hometown.

Change of name

In my native region, we follow a patronymic naming system. Hence I prefer to use my given name Aiswarya rather than Cyriac (my father's given name). If it is difficult to pronounce Aiswarya, you may simply call me Aisha ;-)


Now I am the main lecturer for the course Automata and Logic in IT System Modelling.

Before I was a teaching assistant at the Department of Computer Science of ENS Cachan. In 2012-2013, I was a teaching assistant for the courses Formal Languages and Advanced Algorithms. In 2011-2012, I was the teaching assistant for the course Advanced Algorithms. In 2010-2011, I took the tutorial sessions of the course Algorithms and the lab sessions of Programming Lab.

Some links

About LSV



Aiswarya Cyriac
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
+46 18 - 471 6231
+46 18 511925
+33 (0)1 47 40 75 20