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.
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.
