Leverhulme Lecture at the Department of Informatics

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).