Formal Analysis, Theory & Algorithms research section @GlasgowCS @UofGlasgow (tweets by @OanaMAndrei)
Glasgow, UK
Joined October 2019
- Tweets326
- Following100
- Followers250
- Likes203
Congratulations to @AliceMillerUoG for being awarded a one-year research fellowship by @LeverhulmeTrust for the project titled “Combinatorial solutions for maximum allocations” 🥳
leverhulme.ac.uk/listings?fi…
Formal Analysis, Theory & Algorithms retweeted
Huge congratulations @davexparker @gethinnorman @GlasgowCS and Marta Kwiatkowska @CompSciOxford for the 2024 @ETAPSconf Test-of-Time Tool Award #PRISMmodelchecker 👏👏👏
This Post is from an account that no longer exists. Learn more
Congratulations @ygiannak for being appointed Turing Fellow @turinginst 🥳
This Post is from an account that no longer exists. Learn more
Formal Analysis, Theory & Algorithms retweeted
Can probabilistic formal models help drone swarm operators improve performance without affecting workloads? Yes they can! Find out more: dl.acm.org/doi/10.1145/36109… #formalmethods #drones #swarms #uavs
Formal Analysis, Theory & Algorithms retweeted
Dive into 30+ years of modelling communicating systems in a functional style with Dame Muffy Calder! In her keynote talk, she will reflect on how her research has evolved, lessons from the past and future challenges.
Book your spot and see you in Kraków! lambdadays.org
Formal Analysis, Theory & Algorithms retweeted
Making a rare temporary return to Twitter to say:
We at @GlasgowCS 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/resear…
Formal Analysis, Theory & Algorithms retweeted
Making a rare temporary return to “X” to say:
We at @GlasgowCS 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). – at Glasgow, Scotland
Formal Analysis, Theory & Algorithms retweeted
GReTA seminar, Friday January 26, 2024, 15:00 CET: "In the Groove" by A. Rensink
irif.fr/~greta/event/2024-Ja…
Formal Analysis, Theory & Algorithms retweeted
#FMAS2023 has two invited speakers:
* @AliceMillerUoG "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/FMAS2…
@tas_governance
Congratulation Matthew and Ciaran on receiving CP2023 best paper award! 🙌 @GlasgowCS ciaranm.github.io/papers/cp2…
The CP2023 best paper award was given to Matthew McIlree and Ciaran McCreesh, for their paper "Proof Logging for Smart Extensional Constraints"! Congrats!
#CP2023conf
#ConstraintProgramming
Congratulation Ciaran @GlasgowCS 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/resear…!
And we are continuing our day with the ACP Early Career Researcher Award! Let's congratulate our award recipient Ciaran McCreesh!
#ACP
#CP2023conf
#ConstraintProgramming
Formal Analysis, Theory & Algorithms retweeted
Social, economic and contact networks are all vulnerable to contagion. Dr Jess Enright @researcherjess 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=IuolDbOw… 💻🔥
Formal Analysis, Theory & Algorithms retweeted
We’re welcoming @farrell_marie 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/computing/…
Formal Analysis, Theory & Algorithms retweeted
Many thanks to the @SICSA_Scotland Theory, Modelling and Computation Theme for sponsoring the Joint @GlasgowCS-@InfAtEd Algorithms workshop today. A great programme of talks and hopefully the start of more collaborations to come!
Formal Analysis, Theory & Algorithms retweeted
Prof Dame Muffy Calder of @UofGSciEng and @GlasgowCS is the co-author of a new report from @turinginst on privacy intrusion and national security in the age of AI.
Read more here: gla.ac.uk/news/headline_9708…
ALT Left to right: Marion Oswald - lawyer and Senior Research Associate at The Alan Turing Institute; Muffy Calder of the University of Glasgow - Senior Research Consultant; Ardi Janjeva - lead author and Research Associate at CETaS
Welcome @ygiannak! 👋
This Post is from an account that no longer exists. Learn more
Formal Analysis, Theory & Algorithms retweeted
Kidney Exchange Programmes play a vital role in saving lives, providing a lifeline for patients with #RenalDisease. We hear from Prof David Manlove at @GlasgowCS to learn how COST Action ENCKEP & #COST_CIGs KEP-SOFT helped increase opportunities for recipients awaiting a #kidney.
#FATAseminar on Tue 16 May 2023 by Gergely Csáji from Eötvös Loránd University, Budapest, on “A simple 3/2-approximation algorithm for a wide range of MAX-SMTI problems” arxiv.org/pdf/2304.02558.pdf .
More details: samoa.dcs.gla.ac.uk/events/v….
Contact us for zoom link.
Formal Analysis, Theory & Algorithms retweeted
Full-time, fixed-term (one year) lecturer post in the School of Computing Science @GlasgowCS at @UofGlasgow, teaching on our Graduate Apprenticeship in Software Engineering:
jobs.ac.uk/job/CZG280/lectur…
(algorithms, computer architecture, OS & network systems, discrete maths)
#FATAseminar on Tue 25 April 2023 by Simon Fowler @Simon_JF @GlasgowCS 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/v… Contact us for zoom link.