Maria Christakis (@mchri5taki5) 's Twitter Profile
Maria Christakis

@mchri5taki5

professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!

ID: 1567420677459742721

linkhttps://mariachris.github.io calendar_today07-09-2022 07:53:44

71 Tweet

657 Followers

333 Following

Maria Christakis (@mchri5taki5) 's Twitter Profile Photo
Maria Christakis
@mchri5taki5

a year ago

Thank you Byron Cook and Nikolaj Bjorner for your keynotes at the CySec kick-off TU Wien! On the top left of the slide, covering symbolic model checking, a picture of our rooftop dinner in Vienna, together with Laura Kovacs!

Thank you <a href="/byroncook/">Byron Cook</a> and <a href="/BjornerNikolaj/">Nikolaj Bjorner</a> for your keynotes at the <a href="/CSecCenter/">CySec</a> kick-off <a href="/tu_wien/">TU Wien</a>! On the top left of the slide, covering symbolic model checking, a picture of our rooftop dinner in Vienna, together with Laura Kovacs!