I am a research engineer at Semmle Ltd. in Oxford. Previously, I was an assistant professor at the School of Computer Engineering of Nanyang Technological University in Singapore; a post-doctoral researcher at IBM T.J. Watson Research Center in New York; and a PhD student at the Department of Computer Science of Oxford University.
Tue 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30
|Verification of Communication in Web Applications|
Nathalie Oostvogels Vrije Universiteit Brussel
Max Schaefer Semmle
Julian Dolby IBM Thomas J. Watson Research Center