CySec Kick-Off

2024-03-11

Location: TU Wien, TUtheSky (BA11B09)
Date/Time: 2024-04-18 15:00

 

Agenda

15:00
Coffee Meeting

15:30 Opening speech
Co-Director of the Cybersecurity Center, Univ. Prof. Dr. Matteo Maffei

15:33 Welcome Address

  • Vice Rectorate Digitalisation and Infrastructure, Univ. Prof. Dipl.-Ing. Dr.techn. Wolfgang Kastner
  • Dean of the Faculty of Informatics, O. Univ. Prof.in Dipl.-Ing.in Mag.a Dr.in techn. Gerti Kappel
  • Co-Director of the Cybersecurity Center, Univ. Prof.in Dipl.-Ing.in Dr.-Ing.in Tanja Zseby

15:45
Presentation of the TUW Cybersecurity Center

Co-Director of the Cybersecurity Center, Univ. Prof. Dr. Matteo Maffei

16:00
Keynote “The Business of Proof”

Speaker: Prof. Dr. Byron Cook, Vice President and Distinguished Scientist at Amazon AWS
Moderation: Univ.Prof.in Dr.in techn. Laura Kovacs

16:45
Coffee Break

17:00
Keynote “Formal Methods at Microsoft: Secure and Reliable Programs for Everyone, Everywhere”

Speaker: Prof. Dr. Nikolaj Bjorner, Partner Researcher at Microsoft Research
Moderation: Univ.Prof.in Dr.in sc. Maria Christakis

17:45
Panel Discussion on “Cybersecurity: Bridging Scientific Research and Societal Impact”

Participants (listed alphabetically):

18:45
Networking Session

Participation is by personal invitation only.