Jose Meseguer

In 1980 he joined the Computer Science Laboratory at SRI International, eventually becoming a principal scientist and head of the Logic and Declarative Languages Group.

[4] The award citation[5] reads, For all his academic achievements, and his leadership and impact on the formal methods community, we present Prof. José Meseguer, the 2019 FME Fellow.

Prof. Meseguer is a leading researcher with seminal contributions in many fields of theoretical computer science and beyond: from general logics to vision algorithms for robots.

His fundamental contribution to formal methods has been the invention and development of rewriting as an expressive and intuitive computational logic and semantic framework for concurrent systems.

He has also made fundamental contributions to the formal analysis of distributed systems, combining state-based and action-based reasoning in temporal logic; combining rewriting with SMT solving; and providing theory-generic SMT solving algorithms that can be applied not only to fixed predefined theories, but to any theory that satisfies certain properties.

He is not afraid of venturing into domains far away from what we would think are his comfort zones; he actually relishes the opportunity to impose rigour on other fields and to encounter new challenges that inspire new theoretical developments.