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

Last revised on July 26, 2023 at 14:52:08. See the history of this page for a list of all contributions to it.