Formal Methods at Glasgow Uni @FormalMethodsGU
The Formal Methods Research Group is part of the @FATAglasgow research section | School of Computing Science @GlasgowCS | @UofGlasgow UK. Tweets by @OanaMAndrei dcs.gla.ac.uk/research/forma… Glasgow, Scotland Joined January 2019-
Tweets499
-
Followers373
-
Following178
-
Likes405
Can't make it to #FMAS2024 in Manchester? No worries! You can join us online instead. Grab your spot here: buff.ly/40uTWFC
Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. mailchi.mp/6dcb7cfdefb9/a…
Two @GlasgowCS PhD Opportunities within @TransitTwin Hub. Project 1️⃣: Evolving Federated Digital Twins with Symbolic Ontologies (findaphd.com/phds/project/p…); Project 2️⃣: Reconfigurable Federated Digital Twins for Resilience (findaphd.com/phds/project/p…) @michele_seve @jhebus @dpezaros
You will work with me, @Blair_Archibald , and Muffy Calder on Milner's bigraphs, probabilistic model checking, statically typed programming languages, and data-driven runtime models for digital twinning. @GlasgowCS @TransitTwin
You will work with me, @Blair_Archibald , and Muffy Calder on Milner's bigraphs, probabilistic model checking, statically typed programming languages, and data-driven runtime models for digital twinning. @GlasgowCS @TransitTwin
Consider applying for this position if you have some experience in formal verification, programming languages, and software engineering.
Consider applying for this position if you have some experience in formal verification, programming languages, and software engineering.
Very excited to be working on this project! One of the key challenges is understanding how we can validate and verify these digital twins, especially as we start joining the twins together. Want to help tackle this challenge (and more!)? We are hiring: jobs.ac.uk/job/DIW839/res…
Very excited to be working on this project! One of the key challenges is understanding how we can validate and verify these digital twins, especially as we start joining the twins together. Want to help tackle this challenge (and more!)? We are hiring: jobs.ac.uk/job/DIW839/res…
We have extended the deadline for #FMAS2024 to the 23rd of August 2024 (still Anywhere on Earth)! This gives you all a little more time to polish your papers, if you're intending to send us some of your work. Details fmasworkshop.github.io/FMAS2024/
Glasgow University seeking a Research Associate in probabilistic modelling, statistical methods for ML for our @responsibleaiuk Keystone project 'PROBabLE Futures', working closely with Michele Sevegnani & Muffy Calder. Closes 6 August. jobs.ac.uk/job/DIT105/res…
📅🎲 Mark your calendar for September 16th! The Day on Probabilities in Theoretical Computer Science is coming! 7 invited speakers will cover a wide range of areas related to TCS and probabilities, including #quantum, #crypto, #algorithms, and more. 🔗url.irif.fr/probabilitiesd…
Looking forward to #FM2024's amazing program? 😎 ➡️ Check out the list of accepted papers: fm24.polimi.it/?page_id=612
There is still time to submit a paper to our Special Issue on 'Advances in Formal Methods for Autonomous Systems' in the Science of Computer Programming journal. Deadline: 7th of June, 2024 Details: sciencedirect.com/journal/scienc… #FMAS
There is still time to submit a paper to our Special Issue on 'Advances in Formal Methods for Autonomous Systems' in the Science of Computer Programming journal. Deadline: 7th of June, 2024 Details: sciencedirect.com/journal/scienc… #FMAS
Huge congratulations @davexparker @gethinnorman @GlasgowCS and Marta Kwiatkowska @CompSciOxford for the 2024 @ETAPSconf Test-of-Time Tool Award #PRISMmodelchecker 👏👏👏
Huge congratulations @davexparker @gethinnorman @GlasgowCS and Marta Kwiatkowska @CompSciOxford for the 2024 @ETAPSconf Test-of-Time Tool Award #PRISMmodelchecker 👏👏👏
Formal methods folks: reminder that FM 2024 has a TUTORIAL track. I'm co-editing. We have a GREAT set of reviewers to give you high-quality feedback: we want quality pedagogical work to be respected! Please spread the word! Deadline 19 April. fm24.polimi.it/?page_id=310
Advances in Formal Methods for Autonomous Systems is a special issue with Science of Computer Programming, celebrating the first five years of #FMAS and showcasing advances of formal methods for autonomous systems. Deadline 7th of June 2024 Details: sciencedirect.com/journal/scienc…
Interview with ETAPS 2024 invited speaker David Monniaux has just been published! Do not miss it! etaps.org/blog/020-david…
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
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/36… #formalmethods #drones #swarms #uavs
The call for papers for FMICS 2024 is published: fmics.inria.fr/2024
⏰ TAP 2024 Call for Papers is officially open ⏰ Don't miss the chance to contribute to the discussions on software testing and proofs! ⬇️ Abstracts due: May 8 Papers due: May 15 Notification: June 26 Artifacts due: July 3 ➡️ CfP available at: tapconference.github.io/2024/callforpa… #FM2024
GReTA seminar, Friday January 26, 2024, 15:00 CET: "In the Groove" by A. Rensink irif.fr/~greta/event/2…
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
UofG Computing Scienc... @GlasgowCS
2K Followers 349 Following School of Computing Science at the University of Glasgow @UofGlasgow
@maryellenfoster.bsky... @MaryEllenFoster
1K Followers 736 Following Senior Lecturer in Social Robotics at @GlasgowCS. "A disgrace to the Russell Group" according to an anonymous student evaluation. She/her. 🇨🇦
Blair Archibald @Blair_Archibald
504 Followers 1K Following Computing Science lecturer and SSI Fellow at the University of Glasgow
Rod Murray-Smith @MurraySmithRod
859 Followers 1K Following Professor of Computing Science at University of Glasgow. This account is personal, not related to the University.
Joseph Maguire @josephmaguire
313 Followers 912 Following Usable security and privacy at the University of Glasgow.
Claudio @menghi_claudio
220 Followers 271 Following
Formal Analysis, Theo... @FATAglasgow
257 Followers 101 Following Formal Analysis, Theory & Algorithms research section @GlasgowCS @UofGlasgow (tweets by @OanaMAndrei)
José Cano @jcanore
1K Followers 749 Following Reader (Associate Professor) in @GlasgowCS at @UofGlasgow | Leads @gic_lab | #ComputerArchitecture #Compilers #AI #MachineLearning #Security
Rob Stewart @robstewartUK
996 Followers 2K Following Associate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing. @[email protected]
SciEng Grad School @UofGSciEngGrads
2K Followers 1K Following Research that powers society and empowers individuals. We are the College of Science and Engineering Graduate School at the University of Glasgow.
Ornela Dardha @OrnelaDardha
396 Followers 151 Following Senior Lecturer (Associate Professor) @GlasgowCS, @UofGlasgow https://t.co/oBZQTCCgH1 https://t.co/Jr1x4Wat0I Mastodon: @[email protected]
Mohamed Khamis @MKhamisHCI
1K Followers 1K Following Professor of Cybersecurity and HCI @UofGlasgow where I lead @TheSIRIUSLab. PhD from Ludwig-Maximilian University of Munich.
Colin Perkins @csperkins
990 Followers 676 Following Computer networking research and Internet standards – no longer very active here. See website for links to other social media. @[email protected]
Oana Andrei @OanaMAndrei
579 Followers 973 Following Lecturer (Assist. Prof.) @GlasgowCS | @UofGlasgowEAP @FormalMethodsGU @FATAglasgow
UofGGAs @UofGGAs
504 Followers 810 Following Graduate Apprenticeship account for the University of Glasgow @UofGlasgow
Surasak Phetmanee @phsurasak
648 Followers 186 Following PhD student at the School of Computing Science, University of Glasgow @FormalMethodsGU @GlasgowCS @UofGlasgow #FormalMethods #ModelChecking #GameTheory
Prof. Vihar Georgiev ... @vihardabest
3K Followers 5K Following Professor at @UofGEngineering & Deputy Head of @UofG_ENE Division ● Group Leader of @DeepNano2024 ● #UKRI Innovation Fellow
North Glasgow Strolle... @NGstrollers
869 Followers 4K Following We started out in Sept 2023 to get people out walking and socialising. Our aims are also to help promote and raise funds for local groups. everyone is welcome.
Thyshe @ThysheDvMqnv
35 Followers 1K Following
Sébastien Brochet @sebbrochet
106 Followers 82 Following ITSM consultant @ Microsoft - Microsoft Certified Solutions Developer: Azure Solutions Architect - Co-organiser DevOpsDays Paris 2015/Devops Rex #azure #devops
Aditya Bantwal @adityabantwal
230 Followers 3K Following MSc Intelligent Systems @CITEC_Bielefeld. Interested in graph theory, formal logic, and algorithmic cheminformatics.
Hong's Electronics �... @ElectronicsbyJH
11K Followers 2K Following 🇺🇸 🤝 🇺🇦 🇰🇷 🇹🇼 KD8TUO I like FPGAs, SDR, & RF/MW. Grad (Ph.D.) Student @WrightState. RF HW engineer @3dBLabs
Dr Sana Hafeez @SZ16427970
0 Followers 86 Following
BoredPenguin @ExcitedSpider
8 Followers 588 Following
Bas @basketticode
3 Followers 678 Following
Bogdan Stanciu @bog_dan
920 Followers 4K Following design and product for startups. opinions my own. retweets are not endorsements.
fornever @_for_never
27 Followers 335 Following
Mahboobe Haddadi @mahboobehads
0 Followers 185 Following
Nicolás Cardozo @ncardoz
361 Followers 363 Following Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @[email protected] @ncardozo.bsky.soci
Boubacar Sall @bbcrsll
0 Followers 142 Following
fecorm @frommva
2 Followers 82 Following
farhad Zare @TheFarhadZare
35 Followers 1K Following Gmail: [email protected] ;A CS & Neuro student with its philosophical and historical consequences.
Ramneet Singh @Ramneet_Singhh
847 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Dirk Beyer @beyer_dirk
765 Followers 537 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
Wolfgang Grieskamp @wgrieskamp
39K Followers 208 Following @aptoslabs. Head of Move language and tools. Formerly Meta, Google, and Microsoft Research
Pnkj Upadhyay @updpnk
0 Followers 150 Following
Pierre WILKE @wilkepierre
19 Followers 164 Following
Nancy @AlyssaNels15004
16 Followers 880 Following
EDTconf @EDTconf
61 Followers 121 Following Conference on Engineering Digital Twins (EDTconf) co-located with MODELS'24 | https://t.co/Lfz47ZFstL | https://t.co/JDaGFyy5HE | ex ModDit WS
FLAGlab @FlaGlab
154 Followers 317 Following Computer science research lab @DISCUniandes working on programming languages, AI, cryptography, bioinformatics and algorithms. https://t.co/jtK6wYwNPY
Viet ha bui @Buivietha1984
13 Followers 318 Following
Strongly Lys @strongly_lys
9 Followers 87 Following To be or not to be, that must be checked by a natural deduction system.
EAP - Education and P... @UofGlasgowEAP
40 Followers 89 Following CS Education and SE research - working in collaboration with industry/ government/schools/universities
Ebtihal Althubiti @E_althubiti
11 Followers 251 Following PhD student in Computer Science @UofGlasgow, Lecturer @NBU_KSA
Nikela Papadopoulou @_nikela_
244 Followers 593 Following never thinking straight | always thinking parallel Low Carbon & Sustainable Computing Lecturer @GlasgowCS
Josie McKay @JosieDigital
230 Followers 416 Following Digital Communications Officer for College of Science & Engineering at @uofglasgow | Views are my own
Pierre-Loïc Garoche @yeploc
142 Followers 225 Following Researcher interested in formal verification of numerical intensive (control) software : aircraft controllers, AOCS, trajectory planning, HPC, ... Compte perso
Chris Anagnostopoulos @chrisatglasgow
205 Followers 196 Following Associate Professor (Reader) in Distributed Computing, University of Glasgow
Anastasia Mavridou @anmavrid
371 Followers 368 Following Research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wzkPv
F1R3FLY CEO @f1r3flyceo
51 Followers 154 Following Official account for https://t.co/49q2eCus49. High throughput transaction servers for Web3 and AI.
sysopdragon @sysopdragon
32 Followers 459 Following
Dank u! @vanTateno
201 Followers 2K Following
Abhishek De @throughabhishek
99 Followers 513 Following research fellow @unibirmingham | meme economist | Zizek impersonator | ☭
Christopher Chandler @ChandlerUofG
1 Followers 20 Following AI researcher | PhD candidate | Philosopher | Guitarist
ProvablySafe.AI @ProvablySafeAI
66 Followers 531 Following Connecting and onboarding researchers at the intersection of formal methods and AI safety. Posts by @agentofuser.
Krishna Padmasola @placidex
90 Followers 2K Following
mourad kezai @MouradKezai
15 Followers 67 Following Associate Research Fellow at University of York @UniOfYork Assistant professor at Algerian University 🇩🇿
Doğan Ulus @ulusdd
147 Followers 510 Following
Huanran Wang @JustReadingHW
0 Followers 52 Following
Hassan OU-AZZOU @HassanA37064
45 Followers 890 Following Doctor in Mathematics, Coding theory and cryptography, from school of arts and crafts (Ensam), Morocco. https://t.co/4koAo0wkRH
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
University of Glasgow @UofGlasgow
137K Followers 2K Following Changing the world since 1451 🌍 | #TeamUofG #WorldChangingGlasgow
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
UofG Computing Scienc... @GlasgowCS
2K Followers 349 Following School of Computing Science at the University of Glasgow @UofGlasgow
@maryellenfoster.bsky... @MaryEllenFoster
1K Followers 736 Following Senior Lecturer in Social Robotics at @GlasgowCS. "A disgrace to the Russell Group" according to an anonymous student evaluation. She/her. 🇨🇦
Blair Archibald @Blair_Archibald
504 Followers 1K Following Computing Science lecturer and SSI Fellow at the University of Glasgow
Rod Murray-Smith @MurraySmithRod
859 Followers 1K Following Professor of Computing Science at University of Glasgow. This account is personal, not related to the University.
Glasgow IR Group @ir_glasgow
1K Followers 137 Following Glasgow Information Retrieval Group @GlasgowCS
Joseph Maguire @josephmaguire
313 Followers 912 Following Usable security and privacy at the University of Glasgow.
Claudio @menghi_claudio
220 Followers 271 Following
Formal Analysis, Theo... @FATAglasgow
257 Followers 101 Following Formal Analysis, Theory & Algorithms research section @GlasgowCS @UofGlasgow (tweets by @OanaMAndrei)
José Cano @jcanore
1K Followers 749 Following Reader (Associate Professor) in @GlasgowCS at @UofGlasgow | Leads @gic_lab | #ComputerArchitecture #Compilers #AI #MachineLearning #Security
Rob Stewart @robstewartUK
996 Followers 2K Following Associate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing. @[email protected]
Ornela Dardha @OrnelaDardha
396 Followers 151 Following Senior Lecturer (Associate Professor) @GlasgowCS, @UofGlasgow https://t.co/oBZQTCCgH1 https://t.co/Jr1x4Wat0I Mastodon: @[email protected]
Mohamed Khamis @MKhamisHCI
1K Followers 1K Following Professor of Cybersecurity and HCI @UofGlasgow where I lead @TheSIRIUSLab. PhD from Ludwig-Maximilian University of Munich.
Colin Perkins @csperkins
990 Followers 676 Following Computer networking research and Internet standards – no longer very active here. See website for links to other social media. @[email protected]
Oana Andrei @OanaMAndrei
579 Followers 973 Following Lecturer (Assist. Prof.) @GlasgowCS | @UofGlasgowEAP @FormalMethodsGU @FATAglasgow
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Surasak Phetmanee @phsurasak
648 Followers 186 Following PhD student at the School of Computing Science, University of Glasgow @FormalMethodsGU @GlasgowCS @UofGlasgow #FormalMethods #ModelChecking #GameTheory
EAP - Education and P... @UofGlasgowEAP
40 Followers 89 Following CS Education and SE research - working in collaboration with industry/ government/schools/universities
Pierre-Loïc Garoche @yeploc
142 Followers 225 Following Researcher interested in formal verification of numerical intensive (control) software : aircraft controllers, AOCS, trajectory planning, HPC, ... Compte perso
FMICS 2023 @FMICS_conf
55 Followers 123 Following 28th International Conference on Formal Methods for Industrial Critical Systems
Dr Lorna Love @DrLornaLove1
83 Followers 72 Following
Luca Aceto @aceto_luca
183 Followers 310 Following
Dirk Beyer @beyer_dirk
765 Followers 537 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
ACM Education & Learn... @acmeducation
7K Followers 7K Following ACM Learning Center and Education initiatives. Tweet does not = endorsement.
Anastasia Mavridou @anmavrid
371 Followers 368 Following Research scientist @ NASA Ames Research Center | Mom of Chloe | Do you speak FRETish? 🚀 https://t.co/6D2G3wzkPv
PETRAS National Centr... @PETRASiot
2K Followers 702 Following We consider the issues of Privacy, Ethics, Trust, Reliability, Acceptability and Security as they relate to IoT devices, systems and networks. Funded by @EPSRC.
STAF Conferences @STAFconferences
275 Followers 199 Following STAF 2023 - Software Technologies: Applications and Foundations
GReTA international o... @GReTAseminars
103 Followers 0 Following The GReTA – Graph TRansformation Theory and Applications virtual seminar series aims to serve as a platform for the international graph rewriting community.
MSP Group (now at mas... @mspstrath
856 Followers 20 Following Mathematically Structured Programming group @UniStrathclyde We are interested in type theory, category theory, and how to stop seeing them as different things.
Scottish Programming ... @scottish_pli
116 Followers 3 Following This is the official X account for the Scottish Programming Languages Institute (https://t.co/CgXIiythVF). Tweets by @simon_jf
Rosemary Monahan @DrRMonahan
191 Followers 266 Following Professor in Computer Science with expertise in the modelling, analysis and verification of software
Yue Gu @YueGu_UofG
17 Followers 70 Following
Pedro @pefribeiro
112 Followers 348 Following Lecturer @UoY_CS, former RF @UoY_PET, technology enthusiast, curious. Formerly a @PARSUK_ ambassador and @spaceapps lead. Views my own.
Glasgow Systems Secti... @UofG_GLASS
99 Followers 77 Following Glasgow Systems research section @GlasgowCS @UofGlasgow (tweets by @_uwu_cocoa)
Fundamental Approache... @FaseConf
132 Followers 49 Following International Conference on Fundamental Approaches to Software Engineering. A member conference of @ETAPSconf. https://t.co/cSrjqFLj2C
Mengwei Xu @xu_mengwei
64 Followers 156 Following Lecturer in Computing at the University of Newcastle
João F. Ferreira @jff
1K Followers 713 Following Computer Scientist / CS Prof at IST (@istecnico) / Researcher at INESC-ID (@InescID)
TAS-S @TAS_Security
116 Followers 171 Following UKRI Trustworthy Autonomous Systems Security Node. Cyber-security in a range of applications. Lancaster University & Cranfield. EPSRC funded
FMICS 2021 @fmics2021
33 Followers 70 Following Twitter account for the FMICS 2021 conference managed by the PC Chairs.
Laboratoire Méthodes... @lmf_lab
128 Followers 60 Following Research lab on formal methods in Computing Science and beyond. Nous suspendons l'utilisation de ce compte en raison des dérives de ce RS.
Diego Marmsoler @DiegoMarmsoler
115 Followers 125 Following
Luca Viganò @LucaVigano68
820 Followers 1K Following Computer scientist and playwright. All tweets, retweets and comments solely my own.
Dr Vaishak Belle @vaishakbelle
831 Followers 98 Following AI and Science. Faculty at U of Edinburgh. Write and think on: https://t.co/aUJYgRUcuE
Axiomise @axiomise
288 Followers 152 Following
Dr. Ashish Darbari @ashishdarbari
201 Followers 223 Following Balliol College, Oxford, Founder & CEO Axiomise
Formal Methods @q_formalmethods
29 Followers 0 Following
OVERLAY Group @OVERLAY_Group
37 Followers 45 Following OVERLAY Italian Research Group in Formal Methods for AI https://t.co/v64bD9p9Rn
sidhant @s1db_
325 Followers 2K Following Incoming PhD student @jkulinz BilAI CoE & Symbolic AI Institute previously: @FATAglasgow, @AristaNetworks
Caterina Urban @caterinaurban
400 Followers 280 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
Ethan @Ethan_maths
27 Followers 55 Following He/him. PhD student at @GlasgowCS working on infectious disease modelling using graphs.
e-Postgraduate Combin... @ePCCSeminar
13 Followers 12 Following Online seminar series for PhD students in combinatorics, discrete maths and theoretical computer science. Tweets by @EthanKellyPhD
CyLab @CyLab
10K Followers 2K Following CyLab is @CarnegieMellon's Security & Privacy Institute. Our 300+ researchers are passionate about creating a world in which technology can be trusted.
VaMoS 2025 (@vamoscon... @vamosconf
377 Followers 496 Following 19th International Working Conference on Variability Modelling of Software-Intensive Systems 4-6 february 2025 in Rennes.
FACS 2024 @facs_conf
186 Followers 535 Following 20th edition of the International Conference on Formal Aspects of Component Software
CONVECS team @convecs
75 Followers 124 Following Research Team on Construction of Verified Concurrent Systems
AI @ St Andrews @AIRG_StAndrews
116 Followers 40 Following Artificial Intelligence Research Theme at the University of St Andrews
FMASWorkshop @FmasWorkshop
538 Followers 1K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck
Mohammad Mousavi @smr_mousavi
511 Followers 722 Following Professor of Software Engineering at King's College London - Personal account
ICALP 2023 @ICALPconf
297 Followers 143 Following The 50th International Colloquium on Automata, Languages & Programming July 10-14, 2023 #ICALP2023 Org by @unipb & @eatcs_secretary
Helen Hastie @hfhastie
1K Followers 913 Following Prof. in Human-Robot Interaction and explainable autonomy. Head of School of Informatics University of EdinburghTrends for United States
You might like
