Marie Farrell
@farrell_marie
Royal Academy of Engineering Research Fellow at The University of Manchester
ID: 390041912
13-10-2011 11:21:48
209 Tweet
169 Takipçi
283 Takip Edilen
José Proença
@simpple
Senior Researcher @ CISTER. Formal methods. Concurrency & Coordination. Software engineering.
@curbo.org at the other place
@jcurbo
👨💻 Cyber researcher @JHUAPL 📐 Doctoral student @HopkinsEngineer (space cyber) 🔭 Amateur astronomer 🕹️ Video game connoisseur 📚 History buff ✈️ USAF vet
Stefan Ciobaca
@ciobaca
Rebecca Maguire
@rebeccamaguire
Associate Professor in Psychology, Maynooth University | Health Psychology, Psycho-oncology, Multiple Sclerosis, Caregiving, CogSci | Mammy | Living with MS
Edgar Galvan
@isedgargalvan
#AI, #MachineLearning Researcher. Lecturer of computer science at MU. Scientific adviser for the NL, MX, FR, NZ Government
Livia Lestingi
@livia_lestingi
PostDoc Researcher @PoliMi
Alexandra Mendes
@asfmendes
Assistant Prof. in CS@FEUP, University of Porto (@feup_porto). Previously: Visiting Researcher @CarnegieMellon. Loves Programming, Maths, gardening, and walks.
Ashfaq Farooqui
@ashfaqhfarooqui
Helping autonomous systems do the correct thing. Researcher @RISEsweden. FOSS aficionado. Avid reader. Foodie and novice cook.
Surasak Phetmanee
@phsurasak
PhD student at the School of Computing Science, University of Glasgow @FormalMethodsGU @GlasgowCS @UofGlasgow #FormalMethods #ModelChecking #GameTheory
Alwyn E. Goodloe
@monadicman
NASA researcher, prover of theorems, advocate of functional programming, and formal methodist. Enjoy Shakespeare, cool jazz, reading history, and traveling.
Necmiye Ozay
@necozay
Associate Professor @UMichECE and @UMRobotics, control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy.
Laura Panizo
@laurapanizo
Blair Archibald
@blair_archibald
Computing Science lecturer and SSI Fellow at the University of Glasgow
Gwen Salaün
@gwensalaun
Professor of Computer Science, @UGrenobleAlpes, France
Pierre-Loïc Garoche
@yeploc
Researcher interested in formal verification of numerical intensive (control) software : aircraft controllers, AOCS, trajectory planning, HPC, ... Compte perso
Ishan S.
@nahsimai
Scientific Researcher, DLR Oldenburg Trying to make Automated vehicles safer.
Kathi Ceesay-Seitz
@k_ceesayseitz
Hardware Security Researcher, Ex-CERN Embedded Software Developer / Digital Electronics Verification Engineer
Formal Methods Europe
@formalmtds
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Henry Gouk
@henrygouk
Lecturer (Assistant Professor) and RAEng Research Fellow @InfAtEd 🏴, previously PhD @waikato 🇳🇿. Reliable knowledge transfer in #MachineLearning
Kathryn Downey (she/her)
@downey_kathryn
Public Engagement Officer, UoM. Research interests - co-design, participatory + community engagement ☕ & walking dogs :)
Davide Ancona
@davideancona68
My favorite hashtag is #vortex
Michele Sevegnani
@michele_seve
Senior Lecturer in Computer Science at the University of Glasgow
Andrea Bombarda
@bombandrea94
Junior Assistant Professor (RTD-A) at @Unibergamo working on Software Testing and Software Engineering for medical software and systems
Petrodeloro
@petrodeloro
Colin Paterson
@drcpaterson
Old bloke who never grew up. During the day I work on assuring the safety of AI. He/him
Theresa
@theresa95thomas
TREO EILE, Retraining Ireland's Racehorses
@treoeilerir
CONNECT🔸SUPPORT🔸PROMOTE 🔸 Connecting & supporting those who are retraining ex-racehorses and promoting their versatility lnk.bio/treoeile
Saad Farooqi
@saadfarooqi82
Learner Formal Methods, Petri Nets, Cyber-Physical Systems, IoT, Image Encryption
Diego Marmsoler
@diegomarmsoler
Nico Hochgeschwender
@nico_roboticist
Prof @unibremen. Former prof @h_bonnrheinsieg, group leader @DLR_Software + postdoc @SnT_uni_lu. Views are my own.
Gabriella 🤖
@gabriellapizz
#NewPI 👩🏻💻/🤖👩🏻🔬 @LivUni; Former: 🤖 PDRA @EDINrobotics/🤖👩🏻🔬PDRA @AICooperGroup @erc_adam; PhD: 🤖 @OfficialUoM + @MSCActions ESR; 💖: 🧘🏻☕️🍝🍕🍷
Ama Oyake 🇳🇬 🇻🇮 🇧🇸 🇺🇸 🇨🇦
@amaoyake
C/C++, Linux, RTEMS, Embedded Software, Atari STE -- All views are my own. #Habs #Expos #FiveNations
fabianvu98
@fabianvu98
Yutian Tang
@csytang
He/Him. Assistant Prof. /Lecturer in SE @UofGlasgow. This is a personal stream, opinions expressed are mine Also: mastodon.acm.org/@csytang
Mohammad Hossein Khoshechin
@mh_khoshechin
PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Dara MacConville
@daramacconville
Hasti K
@hastik07329382
Violet Ka I Pun
@violetpun
Associate Professor in Computer Science
Lucy English
@lucyenglish111
rock enthusiast 😘
William Clifford
@wiltalkstoomuch
Writing code, lifting weights, losing at racquetball. Failing each day to win when it matters.
Sanaz Sheikhi
@the__sanaz
CS PhD Candidate Stony Brook University
Paulius Stankaitis
@pastankaitis
Lecturer at University of Stirling @StirUni. Interested in Formal Methods and safe CPS/AI
Lizeth Tapia
@sltarifa
FMICS 2023
@fmics_conf
28th International Conference on Formal Methods for Industrial Critical Systems
Angelo Ferrando
@peppia42
Thomas Flinkow
@thomasflinkow
Marija Slavkovik
@mslavkovik
We do not have AI until bathroom cleaning is fully automated Head of @infomedia_uib at @UiB, but tweets here are personal opinions.
Chad Morrison
@chadmor52292586
Globally known chess player. Anti-war activist/former paratrooper. Artist.
Boostani-Auto
@bmercedesbenz
lucy english
@lucyeng19374208
rock enthusiast 🦟🦟