Leverhulme Lecture at the Department of Informatics - 11 July 2022
Please note that this event has passed.
Visiting Professor Jose Meseguer (University of Illinois at Urbana-Champaign) will be giving a seminar titled "Building Correct-by-Construction Systems with Formal Patterns" in the Bush House Auditorium on 11 July, 2-3pm.
Jose Meseguer is Professor of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). Currently, he is also Leverhulme Visiting Professor at King's College, London. Prior to moving to UIUC he was a Principal Scientist at the Stanford Research Institute (SRI), after having held a postdoctoral position at the University of California at Berkeley and a visiting faculty position at IBM Research. He was also an Initiator Member of Stanford University's Center for the Study of Language and Information (CSLI).
Search for another event
11 July 2022