CV - Alexandra Silva

Teaching
Teaching Experience and Supervision
• University of Minho, Portugal October 2004 – June 2006
Computer Architecture: Tutorials (circa 100 students).
Programming in C: Tutorials (circa 40 students).
Algorithms and complexity: Responsible for the evaluation of all the students (circa 300).
• Leiden University, The Netherlands February 2008 – June 2009
Program correctness (2 nd year Bachelor on Computer Science) : Lecturer for the Model Checking
part (6 lectures in 2008 and 7 lectures in 2009).
• Radboud University Nijmegen, The Netherlands October 2011 –
Supervision
Complexity (2 nd year Bachelor on Computer Science, lectures and tutorials)
Wiskunde 1 (Linear algebra) (1 st year Bachelor on Computer Science, tutorials)
Languages and automata (1 st year Bachelor on Computer Science, lectures and tutorials)
Coalgebra (Master on Foundations of Computer Science, lectures and tutorials)
Research Seminar (Master on Foundations of Computer Science)
From September 2012, I co-coordinate with Bas Terwijn, the Master on Foundations of Computer
Science.
• Supervision of two master students (G.Caltais and E. Goriac, University of Iasi, Romania)
• Co-promotor Young-Joo Moon (CWI, PhD student, graduated 25th October 2011), Georgiana Caltais
(expected graduation: December 2013), Bram Westerbaan (expected graduation: December
2016).
• Bachelor thesis supervision: Peter Maandag, Tessa Matser.
• Docent-mentor of 5 bachelor students (2012-2015).
PhD committees
• Stephanie Kemper, University of Leiden, December 2011;
• Faranak Heidarian, Radboud University Nijmegen, July 2012;
Other activities
Participation in Summer schools
Reviewer Calco-jnr 2007, CMCS 2008, AMAST 2008, DSL 2008, FSEN 2009, MFPS 2009, RTA 2009,
SBLP 2009, FICS 2009, LICS 2010, CMCS 2010, ICE 2010, CONCUR 2010, FACS 2010, POPL 2011,
FSEN 2011, FoSSaCS 2012, Science of Computer Programming, CMCS 2012, IFIP-TCS 2012, Böhm
festschrift, FoSSaCS 2013, American Mathematical Reviews.
PC membership CMCS 2010, ICE 2010, Qest 2011, ICE 2011 (co-chair), DS-FCT 2011, CMCS 2012,
ICE 2012 (co-chair), CALCO 2013, Calco Tools 2013, LICS 2013.
Organizing committees CIC’08, Arco meeting 2009, Coalgebra day 2009, CMCS 2010, Discotec 2010,
ICE 2010, ICE 2011, CMCS 2012 (publicity chair), ICE 2012.
• Co-organizer (together with F.S. de Boer) of the bi-weekly Amsterdam Coordination Group seminar
(February 2008 - February 2011).
• Co-organizer (together with J. Urban) of the Brouwer seminar (January 2012 –).
• Site representative of the bi-monthly seminar COIN (Coalgebra in the Netherlands).
10 of 11