Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
Engineering HR @engineeringhr.bsky.social Engineering Human Resources. A job board and career portal for engineers, researchers and developers. Our website: https://www.engineering.hr
Luis Carlos Belalcazar @lcbelalcazar.bsky.social Profesor @UNALOficial |
Alumni @epflalumni | Investigador en #CalidadDelAire, #CambioClimático y #TransiciónEnergética | Panel Asesor Científico @CCACoalition
Hamza Remmal @remmal.net PhD fellow @epfl.ch
@bijkerhans.bsky.social @bijkerhans.bsky.social 
Yannick Oscar @yannickoscar.bsky.social ml | 🇦🇹
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@maritegerrad.bsky.social @maritegerrad.bsky.social 
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Sepideh Ghanavati @sepi-gh.bsky.social Associate Professor, Privacy, Security, Software Engineering at UMaine
https://www.sepidehghanavati.com
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Shail Dave @shaildave.bsky.social @Qualcomm. Computer architect, making AI systems and eXtended Reality systems like smart glasses more efficient that continue empowering daily lives. Outstanding PhD from SCAI ASU, Silver Medal Awardee from ACM Student Research Competition. Avid learner
Raphael Achddou @rachddou.bsky.social 📕 Post-Doctoral researcher @EPFL
🔍 Computational Imaging, Inverse Problems, Computer Vision
🎓 PhD Telecom Paris | MSc ENS Paris-Saclay | B.S Télécom Paris
🎞️ Street-Photography enthusiast
https://rachddou.github.io/
Michael Kinyon @profkinyon.bsky.social Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.
EPFL School of Computer and Communication Sciences @icepfl.bsky.social EPFL School of Computer and Communication Sciences (IC) - Swiss Federal Institute of Technology Lausanne / Ecole polytechnique fédérale de Lausanne
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Haoyi Zeng @haoyizeng.bsky.social 
Marta Andronic @martaandronic.bsky.social PhD student @Imperial designing efficient NNs | EEE MEng '22 @Imperial
Gaurav Kanoongo ◝(⁰▿⁰)◜ @gauravkanoongo.bsky.social Tech Leader | Ex-IBMer | DevOps | Richmond, VA | 20+ YOE in SW
https://linkedin.com/in/gauravkanoongo
https://twitter.com/gauravkanoongo
https://github.com/gauravkanoongo
Jan Happy Ankerstjerne @janhappy.bsky.social Spiritual Ascension Master and Humanitarian Leader from the city of Copenhagen, Denmark with a big dream of changing the world one human at a time.
Help and Support People all over the World from here https://happylaunching.mystrikingly.com/
Kutand Alkım Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RT≠ is not endorsement (he/him)
JEr Berlin @jerberlin.bsky.social Ex-Berliner. Interested in#biotech, #immuneSystem
also #politics, #history and #languages.
Sometimes in #Math and #SoftwareEngineering.
Making money with #Go (golang) for backends.
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Reshabh K Sharma @reshabh.bsky.social Everything is a compiler!
PhD student @uwcse
Opinions are my own!
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
George A. Constantinides @gconstantinides.bsky.social Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
Katherine Mohr @kmohr.bsky.social mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Martin Nicolas Everaert @everaertmartin.bsky.social PhD student in #EPFL 🎓
AI/image generation 🤖
#EPFL #CentraleSupélec #LyceeSaintLouis alumni
Reposts ≠ Endorsement
https://martin-ev.github.io/
@cpitclaudel.bsky.social @cpitclaudel.bsky.social 
Dr. Benjamin Chetioui @bchetioui.bsky.social @__SIben__ on Twitter.
Working on ML compilers for GPU @Google 🇨🇭
🇫🇷 PhD in PL from UiB 🇧🇻
(Ex?) Go player, CTFer w/ The Flat Network Society