Aiswarya Cyriac

PhD Student, ENS Cachan

Teaching Assistant, ENS Cachan

Hello!

I am a second year PhD student at LSV, ENS Cachan, France. I am working under Benedikt Bollig and Paul Gastin on temporal logics for concurrent recursive programs. I am supported by the DIGITEO project LoCoReP.

I did the second year of masters (M2, MPRI) at ENS Cachan, France and first year of masters at IMSc Chennai, India. I did my BTech in computer science at NIT Calicut, India.

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

Mon prénom en français: aïchoiria

Research

My publications can be found here.

Teaching

I am a teaching assistant at the Department of Computer Science of ENS Cachan. In the current semester, I am the teaching assistant for the course Advanced Algorithms. In Fall 2010, I took the tutorial sessions of the course Algorithms and the lab sessions of Programming Lab.

TDs for the course algorithmique:

TPs for the course Programmation:

Some links

Puzzles
God's Own Country
The Chaos
P = NP ? does not exist! Luca Trevisan's blog, The paper!
How to insult computer scientists!
How NOT to go about a programming assignment
NITCians in TCS