FATA news update - June 2024
Published: 28 June 2024
News from the Formal Analysis Theory and Algorithms research section.
Leverhume Trust research fellowship
Professor Alice A Miller has been awarded a research fellowship funded by the Leverhume Trust, with the project titled "Combinatorial solutions for maximum allocations".
First published: 28 June 2024
<< News