Happy 60th birthday wishes to Faron Moller from the Theory group!
Professor Faron Moller - Swansea University
Faron Moller is a Professor of Computer Science at Swansea University within the Theoretical Computer Science Group, where he is the Founding Head of the Swansea Railway Verification.
Faron is also Director of Technocamps, a pan-Wales schools and community outreach programme based at Swansea University but with hubs in every university in Wales. He is also Head of the Institute of Coding in Wales, which represents the business engagement arm of Technocamps, and co-Lead of the Research Theme on Educational, Historical and Philosophical Foundations of Computer Science, which represents the research arm of Technocamps
Happy 70th birthday wishes to John Tucker from the Theory Group!
Professor John Tucker - Swansea University
Professor Tucker is a computer scientist whose research addresses what can and cannot be computed by people and machines.
He also studies the historical development of data and computing and their influence on society. He founded the University’s History of Computing Collection and the new Swansea research group called Educational, Historical and Philosophical Foundations of Computing.
Professor Tucker is also an expert on the history and heritage of science and technology in Wales.
Since coming to Swansea in 1989, he has served as Head of Department of Computer Science (1994-2008), Head of School of Physical Sciences (2007-11), and Deputy Pro-Vice Chancellor (2011-19).
The University of Birmingham is hosting this year’s CCC 2021 Continuity, Computability, Constructivity: From Logic to Algorithms on 20-24 September 2021. There is a special session in honour of Ulrich Berger taking place on Tuesday as a part of this conference.
CCC 2021: Continuity, Computability, Constructivity - From Logic to Algorithms
CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles.
We are glad to welcome Troy Astarte to our Computer Science Department and the Theory Group.
Troy Kaighin Astarte
I am sad to announce that I will be leaving Newcastle University at the end of September 2021, but happy to announce that I am joining Swansea University as a Lecturer in Computer Science, with a focus on teaching.
We are glad to welcome Pierre Pradic, who is joining the Swansea University Computer Science Department and the Theory Group this year.