FME Fellowship

Meseguer, Jose (Recipient)

Computer Science
Information Trust Institute

Prize: Prize/Award

Description

A Formal Methods Europe Fellowship is awarded in recognition of technical breakthroughs and pioneering work in advancing, applying, and promoting mathematically rigorous methods for the design of computing systems.

Awarded date	2019
Degree of recognition	National/International
Granting Organizations	Formal Methods Europe

FME Fellowship

Description

Fingerprint