Aiswarya Cyriac

/ C. Aiswarya

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

Hello!

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 ;-)

Teaching

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

    

Contact

Aiswarya Cyriac
Address
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
http://www.it.uu.se/katalog/aiscy966
Phone
+46 18 - 471 6231
Fax
+46 18 511925
Secr.
+33 (0)1 47 40 75 20
E-Mail
cyriac@lsv.ens-cachan.fr