Formal Analysis, Theory & Algorithms
@fataglasgow
Formal Analysis, Theory & Algorithms research section @GlasgowCS @UofGlasgow (tweets by @OanaMAndrei)
ID: 1186407900484460545
https://www.gla.ac.uk/schools/computing/research/researchsections/fata-section/ 21-10-2019 22:25:28
327 Tweet
260 Takipçi
103 Takip Edilen
#FATAseminar on Tue 25 April 2023 by Simon Fowler Simon Fowler UofG Computing Science about “Special Delivery: Programming with Mailbox Types” 📬 📨 joint work with Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, and Phil Trinder. Abstract: samoa.dcs.gla.ac.uk/events/viewtal… Contact us for zoom link.
Full-time, fixed-term (one year) lecturer post in the School of Computing Science UofG Computing Science at University of Glasgow, teaching on our Graduate Apprenticeship in Software Engineering: jobs.ac.uk/job/CZG280/lec… (algorithms, computer architecture, OS & network systems, discrete maths)
Kidney Exchange Programmes play a vital role in saving lives, providing a lifeline for patients with #RenalDisease. We hear from Prof David Manlove at UofG Computing Science to learn how COST Action ENCKEP & #COST_CIGs KEP-SOFT helped increase opportunities for recipients awaiting a #kidney.
Prof Dame Muffy Calder of College of Science & Engineering, UofG and UofG Computing Science is the co-author of a new report from The Alan Turing Institute on privacy intrusion and national security in the age of AI. Read more here: gla.ac.uk/news/headline_…
Many thanks to the SICSA Scotland Theory, Modelling and Computation Theme for sponsoring the Joint UofG Computing Science-@InfAtEd Algorithms workshop today. A great programme of talks and hopefully the start of more collaborations to come!
We’re welcoming Marie Farrell this week on Friday 4 August to give a talk on “Strong Software Reliability for Autonomous Space Robotics” as part of the Understandable Autonomous Systems seminar. 🤖🛰️🚀 gla.ac.uk/schools/comput…
Social, economic and contact networks are all vulnerable to contagion. Dr Jess Enright Jess Enright explains how to use #algorithms to defend them against infection in her #STEMin10 lecture on the firefighting game. Watch in full youtube.com/watch?v=IuolDb… 💻🔥
Congratulation Ciaran UofG Computing Science for receiving the Association for Constraint Programming (ACP) Early Career Researcher Award! 🎉 🙌 Check out his webpage ciaranm.github.io and spread the word that he’s looking to hire a postdoc researcher jobs.ac.uk/job/DBO798/res…!
Congratulation Matthew and Ciaran on receiving CP2023 best paper award! 🙌 UofG Computing Science ciaranm.github.io/papers/cp2023-…
#FMAS2023 has two invited speakers: * Alice Miller "Formal methods within the TAS Regulation node" * Erika Ábrahám "SMT: Something you Must Try" (A Joint talk with #iFM23) Details and registration: fmasworkshop.github.io/FMAS2023/ UKRI Research Node on TAS Governance & Regulation
Making a rare temporary return to Twitter to say: We at UofG Computing Science are looking for a research associate to work on the design and implementation of programming languages in association with the STARDUST project (epsrc-stardust.github.io). jobs.ac.uk/job/DFG143/res…
Making a rare temporary return to “X” to say: We at UofG Computing Science are looking for a research associate to work on the design and implementation of programming languages in association with the STARDUST project (epsrc-stardust.github.io).
Congratulations @ygiannak for being appointed Turing Fellow The Alan Turing Institute 🥳
Huge congratulations Dave Parker Gethin Norman UofG Computing Science and Marta Kwiatkowska Oxford Comp Sci for the 2024 ETAPS Conferences (now on other platforms) Test-of-Time Tool Award #PRISMmodelchecker 👏👏👏
Congratulations to Alice Miller for being awarded a one-year research fellowship by The Leverhulme Trust for the project titled “Combinatorial solutions for maximum allocations” 🥳 leverhulme.ac.uk/listings?field…