Barbara Kordy

Teaching

Current teaching activities

  • I am teaching Protocols Verification to the fifth year students of INSA Rennes
  • I am teaching Security Protocols to the fifth year students of the Research in Computer Science (SIF) master at the University Rennes 1
  • I am co-lecturing in the Security (INF09-SECU) course given to the fifth year students of INSA Rennes
  • I am co-lecturing in the Introduction to Security (INF06-SECU) course given to the third year students of INSA Rennes
  • I am teaching Formal Languages and Grammars (INF05-GRLAN) to the fourth year students of INSA Rennes
  • I am leading laboratory sessions on Functional Programming (INF06-PFONC) with the third year students of INSA Rennes

Past teaching activities

  • In 2012 and 2013, I was in charge of the Security Protocols course for master students at the University of Luxembourg.
  • In 2011 and 2012, I was a co-lecturing in the Security Modeling course for master students, at the University of Luxembourg.
  • During my Ph.D. studies, I was a lecturer (moniteur) at the University of Orléans. I was involved in teaching Mathematics for Computer Science, Databases, and Algorithmics and Programming courses.