ALEXANDRA SILVA Education Employment

19 Pages·2017·0.17 MB·English

ALEXANDRA SILVA
(versionofMarch13,2022)
Dept. ofComputerScience Phone: [phone](office)
CornellUniversity [phone](mobile)
Ithaca,NewYork Email: [email protected]
14853-7501USA Url: http://www.alexandrasilva.org
Yearofbirth: 1984
Citizenship: Portuguese
Languages: Portuguese(Native),English(Fluent),Dutch(Fluent),French(Fluent),Spanish(Basic)
Education
• PhDinComputerScience,cumlaude October2006–December2010
FinancedbyapersonalgrantfromthePortuguesesciencefoundation(FCT)
DegreeawardedbytheRadboudUniversityNijmegen
Research carried out in the Dutch National Research center for Mathematics and Computer
Science(CWI)
Thesistitle: KleeneCoalgebra
Supervisors: JanRuttenandMarcelloBonsangue
• LicenciaturainMathematicsandComputerScience September2001–May2006
UniversidadedoMinho,Braga,Portugal
Finalthesistitle: StrongTypesforRelationalDataStoredinDatabasesorSpreadsheets
FinalClassification: 19/20(bestaveragegradeamongalldegreesintheUniversityofMinho)
• Socrates/Erasmusstudent September2003–Feb2004
UniversityofBristol,UnitedKingdom
Mainsubjects: Grouptheory,DataanalysisandComputerGraphics
• HighSchool September1995–Jul2001
EscolaSecundáriaFernãodeMagalhães,Chaves,Portugal
Mainsubjects: Mathematics,Chemistry,PhysicsandGeometry
FinalClassification: 19/20
Research group
• PhDstudents
1. KeriD’Angelo,2021–present.
2. LeonWitzman,2021–present.
3. NoamZilberstein,2021–present.
4. MarkMoeller,2021–present(jointwithNateFoster).
5. MateoRuiz,2021–present.
6. WojciechRozowski,2021–present.
7. ToddSchmid,2020–present.
8. LinpengZhang,2021–present(secondsupervisor,mainsupervisor: BenjaminKaminski).
9. WilliamSmith,2020–present(secondsupervisor,mainsupervisor: FredrikDahlqvist).
10. JanaWagemaker,2019–2022. (co-supervisor: JurriaanRot).
11. TaoGu,2018–2022. (secondsupervisor,mainsupervisor: FabioZanasi)
12. StefanZetzsche,2018–2022.
1of21
13. GercovanHeerdt,2016–2020.
14. TobiasKappé,2016–2020.
15. LouisParlant,2016–2020.
16. JoshuaMoerman,PhD2019(promotor: FritsVaandrager,co-promotor: BasTerwijn).
17. HeidyKhlaaf,PhD2018(jointwithNirPiterman).
18. BramWesterbaan,2013–2014(promotors: JanRuttenandHermanGeuvers).
19. Georgiana Caltais, PhD 2013 (promotors: Jan Rutten and Anna Ingolfsdottir; co-promotor:
MarcelloBonsangue).
20. Young-JooMoon,PhD2011(promotor: FarhadArbad;co-promotor: ErikdeVink).
• Postdocs
1. GercovanHeerdt(March2020–present).
2. SimonDocherty(October2018–August2020).
3. BasWesterbaan(September2019–August2020).
4. JurriaanRot(February2019–January2020,MarieCurieFellow).
5. JustinHsu(September2017–March2018).
6. PaulBrunet(January2017–October2018).
7. FredrikDahlqvist(July2016–January2019,September2019–present).
8. MatteoSammartino(2015–2019).
9. DanielaPetrisan(2014–2015).
• Visitors
1. SteffenSmolka,CornellUniversity,2017(three-monthvisit).
2. ElviraAlbertandAlbertRubio,MadridUniversity,2017-2018(six-monthvisit).
3. RenatoNeves,UniversidadedoMinho,2016(one-monthvisit).
4. JanRutten,CWI&RadboudUniversity,2017(one-monthvisit).
5. JoshuaMoerman,RadboudUniversity,2017(three-monthvisit).
6. BenjaminKaminski,AachenUniversity,2016-2017(four-monthvisit).
7. DavidFrutos-Escrig,MadridUniversity,2016(two-weekvisit).
8. RenatoNeves,UniversidadedoMinho,2016(one-monthvisit).
9. JoshuaMoerman,RadboudUniversity,2016(three-monthvisit).
10. RenatoNeves,UniversidadedoMinho,2015(three-weekvisit).
11. KonstantinosMamouras,CornellUniversity,2014(onesemestervisit).
12. DexterKozen,CornellUniversity,2014(onesemestervisit).
13. GeorgianaCaltais,ReykjavikUniversity,2013(three-monthvisit).
14. LouisParlant,ENSLyon,2013(three-monthvisit).
15. Jean-BaptisteJeannin,CornellUniversity,2013(two-weekvisit).
16. TomazBrengos,WarsawUniversityofTechnology,2013(two-weekvisit).
17. RicardoOliveira,MinhoUniversity,2013(one-monthvisit).
18. GeorgianaCaltais,ReykjavikUniversity,2012(three-monthvisit).
19. DexterKozen,CornellUniversity,2012(two-monthvisit).
Forshort-term(lessthantwo-week)visitors,seebelow.
Professional Activities and Service
2of21
• InvitedSpeaker
1. ETAPS2022,25thEuropeanJointConferencesonTheoryandPracticeofSoftware,2022.
2. POPL2022,49thACMSIGPLANSymposiumonPrinciplesofProgrammingLanguages,2022.
3. SBLP2021,25thBrazilianSymposiumonProgrammingLanguages,2021.
4. DLT2021,25thInternationalConferenceonDevelopmentsinLanguageTheory,2021.
5. LFSA2021,16thLogicalAndSemanticFrameworksWithApplications,2021.
6. FORTE 2021, 41st International Conference on Formal Techniques for Distributed Objects,
Components,andSystems,2021.
7. Verifiedsoftware: fromtheorytopractice,IsaacNewtonInstitute,2021.
8. WiL2020,4thWomeninLogicWorkshop,2020.
9. LPAR-23,23rdInternationalConferenceonLogicforProgramming,ArtificialIntelligenceand
Reasoning,2020.
10. SENsymposium,6thDutchnationalsymposiumonsoftwareengineering,2020.
11. POPL2020,TutorialFest,2020.
12. FSTTCS 2019, 39th IARCS Annual Conference on Foundations of Software Technology and
TheoreticalComputerScience,2019.
13. MFCS 2019, 44th International Symposium on Mathematical Foundations of Computer Sci-
ence,2019.
14. VECoS2018,12thInternationalConferenceonVerificationandEvaluationofComputerand
CommunicationSystems.
15. SYSMICSlogicsummerschool,2018.
16. CiE2018,ComputabilityinEurope,2018.
17. BCTCS2018,BritishColloquiumforTheoreticalComputerScience,2018.
18. FSCD2017,SecondInternationalConferenceonFormalStructuresforComputationandDe-
duction,2017.
19. TACL2017,Topology,Algebra,andCategoriesinLogic,2017.
20. LearnAut2017,FirstworkshoponLearningandAutomata,2017.
21. RAMiCS 2017, 16th International Conference on Relational and Algebraic Methods in Com-
puterScience,2017.
22. Compositionalityworkshop,SimonsInstituteBerkeley,2016.
23. CWILecturesinhonourofAdriaanvanWijngaarden(100thanniversary),2016.
24. CSL2016,25thEACSLAnnualConferenceonComputerScienceLogic,2016.
25. BLC2016,BritishLogicColloqium,2016.
26. ICE2016,9thInteractionandConcurrencyExperience,2016.
27. WIP2016,WorkshoponInformationandprocesses,2016.
28. CMCS 2016, 13th International Workshop on Coalgebraic Methods in Computer Science,
2016(invitedtutorialspeaker).
29. WoLLIC2015,22ndWorkshoponLogic,Language,InformationandComputation,2015(in-
vitedtalkandinvitedtutorial).
30. TOPDRIM2015,InternationalSchoolandConferenceonTopologyandData,2015.
31. CONCUR2015,26thConferenceonConcurrencyTheory,2015.
32. TRENDS2014,organizedbyIFIPWG1.8onConcurrencyTheory,2014.
33. ThirtiethConferenceontheMathematicalFoundationsofProgrammingSemantics,2014.
34. WorkshopinhonourofPrakashPanangaden,2014.
35. 11thAsianSymposiumonProgrammingLanguagesandSystems,2013.
3of21
36. 9thworkshoponFixedpointsinComputerScience,2013.
37. TenthInternationalTbilisiSymposiumonLanguage,LogicandComputation,2013.
38. DoctoralSymposium,UniversityofPorto,2011.
• Editorialboardsandexecutivecommittees
1. EditorialBoardofMathematicalLogicQuarterly.
2. ACMSIGPLANexecutivecommitteemember(2021-2024).
3. ACMSIGLOGexecutivecommitteemember(secretary,2012-2018).
4. EditorialBoardofLogicalMethodsinComputerScience.
5. ACMSIGLOGconferencecommitteechair.
6. Editorial board of the Journal of Logical and Algebraic Methods in Programming, Elsevier
(specialissues’editor,2014-2019).
• Steeringcommitteesandspecialinterestgroups
1. MFPSSC(2022–present).
2. POPLSC,memberatlarge(2021–present).
3. SIGPLANLong-termmentoringprogram(2021–present).
4. ProgrammingLanguagesMentoringWorkshop(PLMW,2018–2022,chair2020).
5. LogicMentoringWorkshop(LMW,2016–2021,chair2017-2020).
6. IFIPInternationalConferenceonFormalTechniquesforDistributedObjects,Componentsand
Systems(FORTE,2017–2020)
7. FoPSSsummerschoolseries(2016–present,SIGLOGrepresentative).
8. AnnualACM/IEEESymposiumonLogicInComputerScience(LICS,2015–present).
9. InternationalworkshoponCoalgebraicMethodsinComputerScience(CMCS,2015–present).
10. IFIPTC1WorkingGrouponConcurrencyTheory(WG1.8,2015–)
11. IFIP TC1 Working Group on Foundations of System Specification (WG1.3, observer, 2015 –
2019)
12. IFIPTC2WorkingGrouponFunctionalProgramming(WG2.8,observer,2019–)
13. InteractionandConcurrencyExperience(ICEworkshopseries,2010–2019).
• Conferenceprogramcommitteechair
1. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS
2022;co-chair: RobertGanian).
2. 9thConferenceonAlgebraandCoalgebrainComputerScience(CALCO2021;co-chair: Fabio
Gadducci).
3. 33rd International Conference on Computer Aided Verification (CAV 2021; co-chair: Rustan
Leino).
4. 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021; co-chair:
RenataWassermann).
5. DoctoralSymposiumatFormalMethods,(DS-FM2019;co-chair: AntóniaLopes).
6. 33rdConferenceontheMathematicalFoundationsofProgrammingSemantics(MFPSXXXIII).
7. 12th International Tbilisi Symposium on Language, Logic and Computation, (TbILLC 2017;
co-chair: WiebkePetersen).
8. 37th IFIP International Conference on Formal Techniques for Distributed Objects, Compo-
nentsandSystems(FORTE2017;co-chair: AhmedBouajjani).
4of21
9. Thirtieth Conference on the Mathematical Foundations of Programming Semantics, (MFPS
2014;co-chairs: BartJacobsandSamStaton).
10. 5thInteractionandConcurrencyExperience(ICE2012;co-chair: MarcoCarbone).
11. 4thInteractionandConcurrencyExperience(ICE2011;co-chair: SimonBliudze).
• Conferenceprogramcommitteemember
1. 38thInternationalConferenceonMathematicalFoundationsofProgrammingSemantics(MFPS
XXXVIII).
2. 27thACMSIGPLANInternationalConferenceonFunctionalProgramming(ICFP2022).
3. 10thconferenceonHighlightsofLogic,GamesandAutomata(HIGHLIGHTS2022).
4. 28thWorkshoponLogic,Language,InformationandComputation(WoLLIC2022).
5. 34thInternationalConferenceonComputerAidedVerification(CAV2022).
6. 36thEuropeanConferenceonObject-OrientedProgramming(ECOOP2022).
7. 33rdInternationalConferenceonConcurrencyTheory(CONCUR2022).
8. 35thEuropeanConferenceonObject-OrientedProgramming(ECOOP2021).
9. 5th International Conference on Formal Structures for Computation and Deduction (FSCD
2021).
10. 31stInternationalConferenceonConcurrencyTheory(CONCUR2020).
11. 36thConferenceontheMathematicalFoundationsofProgrammingSemantics(MFPSXXXVI).
12. 32ndInternationalConferenceonComputerAidedVerification(CAV2020).
13. 29thEuropeanSymposiumonProgramming(ESOP2020).
14. 47th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL
2020).
15. AsianSymposiumonProgrammingLanguagesandSystems(APLAS2019).
16. PhDsinLogicXI2019(PhDL2019).
17. 3rdWomeninLogicworkshop(WiL2019).
18. 13thInternationalConferenceonMathematicsofProgramConstruction(MPC2019).
19. 31stInternationalConferenceonComputerAidedVerification(CAV2019).
20. 3rd International Conference on Formal Structures for Computation and Deduction (FSCD
2019).
21. 28thEuropeanSymposiumonProgramming(ESOP2019).
22. SeventhMathematicallyStructuredFunctionalProgrammingworkshop(MSFP2018).
23. 11thInteractionandConcurrencyExperience(ICE2018).
24. 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS
2018)
25. 29thInternationalConferenceonConcurrencyTheory(CONCUR2018).
26. 38th IFIP International Conference on Formal Techniques for Distributed Objects, Compo-
nentsandSystems(FORTE2018).
27. 27thEACSLAnnualConferenceonComputerScienceLogic(CSL2018).
28. 14thInternationalWorkshoponCoalgebraicMethodsinComputerScience(CMCS2018).
29. 21th International Conference on Foundations of Software Science and Computation Struc-
tures(FoSSaCS’18).
30. RecentAdvancesinConcurrencyandLogic(RADICAL2017).
31. 22ndACMSIGPLANInternationalConferenceonFunctionalProgramming(ICFP2017).
32. FirstworkshopWomeninLogic(WiL2017).
5of21
33. Workshoponprobabilisticprogrammingsemantics(PPS2017).
34. 37th annual ACM SIGPLAN conference on Programming Language Design and Implementa-
tion(PLDI2017).
35. SeventhInternationalConferenceonFundamentalsofSoftwareEngineering(FSEN2017).
36. 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL
2017,externalreviewcommittee).
37. 43rdInternationalConferenceonCurrentTrendsinTheoryandPracticeofComputerScience
(SOFSEM2017).
38. 43rdInternationalColloquiumOnAutomata,Languages,AndProgramming(ICALP2017).
39. 26thEuropeanSymposiumonProgramming(ESOP2017).
40. Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Work-
shoponStructuralOperationalSemantics(EXPRESS/SOS2016).
41. 11thWorkshoponLogicalandSemanticFrameworks,withApplications(LSFA2016).
42. 36th IFIP International Conference on Formal Techniques for Distributed Objects, Compo-
nentsandSystems(FORTE2016).
43. 9thInteractionandConcurrencyExperience(ICE2016).
44. 13thInternationalWorkshoponCoalgebraicMethodsinComputerScience(CMCS2016).
45. 31stAnnualACM/IEEESymposiumonLogicInComputerScience(LICS2016).
46. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL
2016).
47. InternationalWorkshoponFixedPointsinComputerScience(FICS2015).
48. 24thEACSLAnnualConferenceonComputerScienceLogic(CSL2015).
49. 12thInternationalColloquiumonTheoreticalAspectsofComputing(ICTAC2015).
50. 8thInteractionandConcurrencyExperience(ICE2015).
51. 6thConferenceonAlgebraandCoalgebrainComputerScience(CALCO2015).
52. 31stConferenceontheMathematicalFoundationsofProgrammingSemantics(MFPS2015).
53. 11thInternationalTbilisiSymposiumonLanguage,LogicandComputation(TbiLLC2015).
54. 30thAnnualACM/IEEESymposiumonLogicInComputerScience(LICS2015).
55. 22ndWorkshoponLogic,Language,InformationandComputation(WoLLIC2015).
56. 8th International Conference on Foundations of Software Science and Computation Struc-
tures(FoSSaCS2015).
57. 12thAsianSymposiumonProgrammingLanguagesandSystems(APLAS2014).
58. 7thInteractionandConcurrencyExperience(ICE2014).
59. Twenty-EighthAnnualACM/IEEESymposiumonLogicInComputerScience(LICS2013).
60. 5thConferenceonAlgebraandCoalgebrainComputerScience(CALCO2013).
61. CALCO-Tools2013.
62. 6thInteractionandConcurrencyExperience(ICE2013).
63. 11thInternationalWorkshoponCoalgebraicMethodsinComputerScience(CMCS2012).
64. Doctoral Symposium affiliated with the 18th International Symposium on Fundamentals of
ComputationTheory(DS-FCT2011).
65. 8thInternationalConferenceonQuantitativeEvaluationofSysTems(Qest2011).
66. 3rdInteractionandConcurrencyExperience(ICE2010).
67. 10thInternationalWorkshoponCoalgebraicMethodsinComputerScience(CMCS2010).
• Organizingcommittees
6of21
1. MFPS2022,localorganizer(July2022)
2. FLOC2022,generalchair(August2022).
3. Workshopschair(PLDI2021-2022).
4. OnlineWorldLogicSeminar(OWLS2020-2022)
5. BellairsworkshoponProbabilisticProgramming(March2020).
6. POPL2020,Accessibilitychair,W@POPL,andAllySkillsWorkshop(January2020).
7. ACMCelebrationofWomeninComputingwomENcourage2019(Workshopsco-chair).
8. WomeninInformaticsResearchandEducationworkshop(WIRE’19).
9. BellairsworkshoponLearningandVerification(March2019).
10. 35th Conference on Mathematical Foundations of Programming Semantics and 8th Confer-
enceonAlgebraandCoalgebrainComputerScience(MFPSandCalco2019).
11. FLOC 2018, in charge of mentoring and diversity and organizer Ally Skills Workshop (July
2018).
12. ProgrammingLanguagesMentoringWorkshop@POPL(January2018).
13. WoLLIC2017,24thWorkshoponLogic,Language,InformationandComputation(July2017,
co-chair: MehrnooshSadrzadeh).
14. SummerSchoolonProbabilisticProgramming(May2017).
15. Bellairsworkshoponprobabilisticprogramminglanguages(March2017).
16. ProgrammingLanguagesMentoringWorkshop@POPL(January2017).
17. Workshopon{Symmetry,Logic,Computation}@SimonsInstitute(November2016).
18. LogicMentoringWorkshop@LICS(July2016).
19. Bellairsworkshoponformalmethodsfornetworks(March2016).
20. WorkshoponAutomataandCoinduction,Tbilisi(September2015).
21. 31st Conference on Mathematical Foundations of Programming Semantics and 6th Confer-
ence on Algebra and Coalgebra in Computer Science (MFPS and Calco 2015, co-chair: Bart
Jacobs).
22. Bellairsworkshopondualityandprobabilisticsystems(March2014).
23. PublicitychairofCMCSandCalco(2012–2015).
24. SpecialMFPS/LICS’13sessiononcoalgebra.
25. 5thInteractionandConcurrencyExperience(ICE2012).
26. WorkshoponLogicandProgramSemantics,dedicatedtoDexterKozenontheoccasionofhis
60thbirthday(DK2012)
27. 4thInteractionandConcurrencyExperience(ICE2011).
28. 5thInternationalFederatedConferencesonDistributedComputingTechniques(Discotec2010).
29. 3rdInteractionandConcurrencyExperience(ICE2010).
30. 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010,
co-chair: MiladNiqui).
31. Coalgebraday2009.
32. Coinduction,InteractionandComposition(CIC2008).
7of21
• Journalreferee
1. AmericanMathematicalReviews.
2. InformationandComputation,Elsevier.
3. InternationalJournalofFoundationsofComputerScience,WorldScientificPublishing.
4. JournalofFunctionalProgramming,CambridgeJournals.
5. JournalofLogicandAlgebraicMethodsinProgramming,Elsevier.
6. LogicalMethodsinComputerScience.
7. MathematicalStructuresinComputerScience,CambridgeJournals.
8. ScienceofComputerProgramming,Elsevier.
9. TheoreticalComputerScience,Elsevier.
10. TransactionsonProgrammingLanguagesandSystems.
• Conference referee (external) CSL 2021, PLDI 2019, POPL 2018, MFCS 2017, PSI 2017, FM
2016, ICALP 2015, CADE 2015, MFCS 2014, ICALP 2014, PP 2014, LICS 2014, FOSSACS 2014,
POPL 2013, LPAR-19, FSTTCS 2013, ICFP 2013, CALCO 2013, ICE 2013, CONCUR 2013, ICALP
2013, FoSSaCS 2013, QAPL 2013, Böhm festschrift, IFIP-TCS 2012, CMCS 2012, ICE 2012, FoS-
SaCS2012,FSEN2011,POPL2011,QAPL2011,ICE2011,FACS2010,CONCUR2010,ICE2010,
CMCS 2010, LICS 2010, FICS 2009, SBLP 2009, RTA 2009, MFPS 2009, FSEN 2009, DSL 2008,
AMAST2008,CMCS2008,Calco-jnr2007.
• Grantproposalreferee
1. FundacaoCienciaeTecnologia(FCT),Portugal.
2. EngineeringandPhysicalSciencesResearchCouncil(EPSRC),UK.
3. ItalianMinistryofEducation,UniversitiesandResearch(MIUR),Italy.
4. AgenceNationaledeRecherche(ANR),France.
5. DFG,Germany.
6. EuropeanResearchCouncil(ERC).
7. NWO,TheNetherlands.
• PhDexaminer
1. MarkusKlinik,RadboudUniversityNijmegen,June2021.
2. AlejandroAguirre,IMDEA,February2021.
3. AlexanderVandenbroucke,KULeuven,November2020.
4. PierrePradic,ENSLyon,June2020.
5. GadiEspinoza,UCL,November2018.
6. OctavioZapata,UCL,July2017(first-yearviva).
7. AbhishekDasgupta,OxfordUniversity,March2017.
8. UlrikRasmussen,UniversityofCopenhagen,January2017.
9. PaulBrunet,ENSLyon,October2016.
10. Sung-ShikJongmans,UniversityofLeiden,March2016.
11. BjornBuggeGrathwohl,UniversityofCopenhagen,November2015.
12. EnricCosme,UniversitatdeValència,October2015.
13. DmitriyTraytel,TechnicalUniversityMunich,October2015.
14. KenMadlener,RadboudUniversityNijmegen,October2014.
15. DimiterMilushev,LeuvenUniversity,May2013.
16. FaranakHeidarian,RadboudUniversityNijmegen,July2012.
8of21
17. StephanieKemper,UniversityofLeiden,December2011.
• SelectioncommitteeCONCURTestofTimeAward(2020).
• SelectioncommitteeAckermannAward(2020,2021).
• SelectioncommitteeEATCSdissertationAward(2021,2022).
• HabilitationThesiscommitteeDr. ColinRiba,ENSLyon(November2019).
• SelectioncommitteeSIGPLANJohnCReynoldsDissertationAward(2017-2019).
• Externalexaminer
1. OxfordUniversity–FinalHonoursSchoolsinComputerScience,ComputerScience&Philos-
ophyandMathematics&ComputerScience(2016-2019).
2. WarwickUniversity–ComputerScience(2019-2022).
• InvitedseminarspeakerTheorySeminar,CornellUniversity,February2022;AutomatedReason-
ingseminar,TUKaiserslautern,October2021;LaBri,Bordeaux,November2021;PLClub,Univer-
sity of Pennsylvania, September 2021; A|C Seminar, UvA, February 2021; NGN seminar, January
2021; Cornell CS colloquium, October 2020; Principles of Programming Seminar, CMU, Septem-
ber2020;PLDGseminar,CornellUniversity,April2020;MadPLseminar,Madison,February2020;
LSV seminar, Cachan, October 2019; Jacques Morgenstern Colloquium, Sophia-Antipolis, May
2019; Departmental Seminar, University of Leicester, March 2019; LASIGE workshop, University
ofLisbon,February2019;Algebra,Logic,andAlgorithmsSeminar,UniversityofLeeds,May2018;
MPI-SWS colloquium, May 2018; RiSE seminar, University of Vienna, February 2018; Theoreti-
cal Computer Science seminar, University of Birmingham, February 2018; MGS Christmas semi-
nar, University of Nottingham, December 2017; DIMAP seminar, University of Warwick, October
2017; Cornell CS colloquium, August 2017; Computer Lab, University of Cambridge, December
2016;InfoSecseminar,UCL,November2016;UniversityofKent,June2016;VerifiedTrustworthy
Software Systems specialist meeting, Imperial college, April 2016; Middlesex University, Febru-
ary 2016; Royal Holloway departmental seminar, November 2015; Queen Mary Theory Seminar,
November2015;PUMAseminarMunich,October2015;QuantLAseminar,LeipzigUniversity,Oc-
tober2015;LogicSeminar,IndianaUniversity,Bloomington,July2015;ErlangenUniversity,June
2015;OASISseminar,ComputerLaboratory,Oxford,May2015;UniversityofMontreal,May2015;
Formal methods group, SRI International, April 2015; Plume team groupe de travail, ENS Lyon,
January2015; A|Cseminar, UniversityofAmsterdam, October2014; Brouwerseminar, Radboud
University Nijmegen, January 2014; TCS seminar, VU Amsterdam, January 2014; Logic Seminar,
Indiana University, Bloomington, August 2013; MPS seminar, University of Strathclyde; MBSD
seminar, Radboud University Nijmegen, June 2013; Utrecht University, June 2013; Spades semi-
nar, INRIA Grenoble, May 2013; Chocola meeting, ENS Lyon, May 2013; Formal methods group,
Technical University Eindhoven, April 2013; Technical University Brauschweig, February 2013;
Brouwer seminar, Radboud University Nijmegen, October 2012; University Leicester, November
2012;ImperialCollegeLondon,August2012;ErlangenUniversity,May2012;UniversityofPorto,
May 2012; ACG seminar, CWI, November 2011; Minho University (Math dep.), October 2011;
Reykjavik University, June 2011; Cornell University, April 2011; LiX, École Polytechnique, March
2011;SalzburgUniversity,January2011;IPAHerfstdagen,Veldhoven,November2010;Technical
UniversityBrauschweig,August2010;LiX,ÉcolePolytechnique,April2010;UniversityofAmster-
dam, March 2010; LiX, ÉcolePolytechnique, March 2010; Arco meeting, Eindhoven University of
Technology,November2009;CoCoComeeting,CWI,October2009;UniversityofDuisburg-Essen,
July 2009; Arco meeting, University of Iasi, May 2009; A|C seminar, University of Amsterdam,
January2009;Arcomeeting,CWI,January2009;A|Cseminar,UniversityofAmsterdam,Septem-
ber 2008; Coalgebra day, Radboud University of Nijmegen, March 2008; A|C seminar, University
of Amsterdam, May 2007; Coalgebra day, Radboud University of Nijmegen, October 2006; ACG
seminar, CWI, October 2006; Pure Cafe, Minho University, December 2005; ACG seminar, CWI,
April2005.
Foracompletelistofmytalksseehttp://www.alexandrasilva.org/#/talks.html.
9of21
University Activities
• Teaching
1. AdvancedProgrammingLanguages,CornellUniversity,2022.
2. DiscreteStructures,CornellUniversity,2021.
3. KleeneAlgebrasandApplications (4-hourcourse),OregonProgrammingLanguagesSummer
School(OPLSS2021),June2021.
4. KleeneAlgebra(3-hourcourse),MOVEPSummerSchool,France,June2020.
5. Coalgebraic techniques (4-hour course), Oregon Programming Languages Summer School
(OPLSS2019),June2019.
6. KleeneAlgebrawithTestsandApplicationstoNetworkProgramming(8-hourcourse),SYSMICS
SummerSchool,Switzerland,August2018.
7. Kleene Algebra with Tests and Applications to Network Programming (12-hour course), Berti-
noroInternationalSpringSchool,Italy,March2017.
8. Kleene Algebra and applications (4 lectures 90min + 2 lectures 60 min), Warsaw CS PhD
school,Poland,2015.
9. Languages,automata,andcoinduction(3lectures90min),TOPDRIMsummerschool,Camerino,
Italy,2015.
10. Algorithmsanddatastructures,2014.
11. Languagesandautomata,2012,2013,2014.
12. Coalgebra,2012,2014.
13. Coalgebra - an introduction using automata and languages, IPA Formal methods course, with
JurriaanRot,2013.
14. WatisInformatica?,2013,2014.
15. Complexity,2012,2013,2014.
16. Linearalgebra(tutorialsonly),2012,2013.
17. ResearchSeminar,2012,2013,2014.
18. Programcorrectness,LeidenUniversity,2008and2009.
19. ComputerArchitecture(tutorialsonly),MinhoUniversity,2004and2005.
20. ProgramminginC(tutorialsonly),MinhoUniversity,2005.
21. Algorithmsandcomplexity(evaluationofpracticalassignments),MinhoUniversity,2005.
• Internshipsupervision(masterstudents)
1. MaverickChardet,ENSLyon,2017.
2. ClovisEberhart,ENSCachan,2014.
3. LouisParlant,ENSLyon,2013.
4. RicardoOliveira,UniversityofMinho,2012.
5. GeorgianaCaltais,IasiUniversity,2010.
6. EugenGoriac,IasiUniversity,2010.
• Bachelorthesissupervision
1. DanieleMenara,2017.
2. SanneBoumans,2014.
3. MartinHuyben,2014.
4. GercovanHeerdt,2014.
5. TomSanders,2013.
10of21