nLab
José Meseguer

José Meseguer is Professor of Computer Science at UIUC and leads the Formal Methods and Declarative Languages Laboratory there. He has worked on concurrency and categorical models corresponding to Petri nets.

category: people

Created on December 14, 2016 at 16:15:54. See the history of this page for a list of all contributions to it.