Jorge A. Pérez
Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
@sciencenewsroom-ug.bsky.social
The Science Newsroom shares the Science News of the Faculty of Science and Engineering of the @unigroningen.bsky.social. Follow us and stay up to date! 📰 ✅ 🧪Check out all our Science News via 👉 www.rug.nl/fse/news/ 📧 fse.sciencenewsroom@rug.nl
@bnoheda.bsky.social
Professor at University of Groningen (The Netherlands). Married to an idem. Mother of two amazing boys. Spanish. Love what I do and where I live. Busy finding out extremely energy efficient ways of computing using physics and materials that can learn.
@joostwmfrenken.bsky.social
Dean Faculty of Science and Engineering | University of Groningen | in my scientific spare time still captivated by surface and interface physics and chemistry
@cognigron.bsky.social
The Groningen Cognitive Systems and Materials Center #FutureProofComputing
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@jesyspa.bsky.social
Mathematics and Computer Science PhD student in Nijmegen, currently at JetBrains working on Kotlin formal verification she/they 🏳️🌈 🏳️⚧️ I like programming languages, formal verification, abstract nonsense, tea, and books.
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@riemervegter.bsky.social
Assistant Professor at University Medical Center Groningen, University of Groningen, Young Academy Groningen and Sport Science & Innovation Groningen. https://www.rug.nl/staff/r.j.k.vegter/
@tmip.bsky.social
A conference for maths communicators. Every two years in the UK. Next conference Aug 2025, Warwick University. More info: talkingmathsinpublic.uk
@ourworldindata.org
Research and data to make progress against the world’s largest problems. Based out of Oxford University (@ox.ac.uk), founded by @maxroser.bsky.social.
@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
@elpais.com
La mejor información en español. Con nuestra mirada puesta en España, Europa y América. Suscríbete: https://tinyurl.com/yfbk27jh Aquí puedes consultar nuestra política de privacidad: https://tinyurl.com/32dnhzc9
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@newyorker.com
Unparalleled reporting and commentary on politics and culture, plus humor and cartoons, fiction and poetry. Get our Daily newsletter: http://nyer.cm/gtI6pVM Follow The New Yorker’s writers and contributors: https://go.bsky.app/Gh5bFwS
@nocontextfooty.bsky.social
DM for sponsorship #Football #ChampionsLeague #PremierLeague #LaLiga #SerieA #Bundesliga #Ligue1
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@ayushirastogi.bsky.social
Software engineering research | Assistant Professor at University of Groningen
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@petertimmerman.bsky.social
@danielfeitosa.bsky.social
Assistant Professor in Software Engineering @ University of Groningen
@ncardozo.bsky.social
Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes Also live(ish) at @ncardozo@fediscience.org
@womeninlogic.bsky.social
Women in Logic: Dismantling inequality skeet by skeet. https://www.womeninlogic.org/
@azaidman.bsky.social
Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@dangrossmanseattle.bsky.social
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@fabiomog.bsky.social
A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
@mariejosevantol.bsky.social
• Full Professor of Cognitive Neuropsychiatry - UMCG/ @unigroningen.bsky.social • Director research school Behavioural and Cognitive Neurosciences, University of Groningen • Chair steering committee Netherlands Brain Initiative (Nationaal Plan Hoofdzaken)
@pkrugman.bsky.social
@vandriko.bsky.social
Books reader. Parent and husband. Alcoholic beverages appreciator. Really annoying music round participant in pub quizzes, apparently. Incidentally teaching and researching cloud, sustainability, and software architecture (professional account on mastodon)
@rug.nl
We are the University of Groningen (short: UG) (Dutch: Rijksuniversiteit Groningen, kort: RUG), an open academic community since 1614 🎓 www.rug.nl Posts in Dutch and English. Questions? Our chat is open! 📩
@ukrant.bsky.social
Onafhankelijk nieuwsplatform voor academisch Groningen | nieuws | verhalen | opinie | tips? redactie@ukrant.nl | Instagram: @ukrant | Twitter: @ukrantgroningen
@leoniedejonge.bsky.social
Prof. of Research on Far-Right Extremism @IRex/UniTübingen; researching far-right political actors & ideologies; PhD from @Cambridge_Uni; member of DeJongeAkademie @KNAW 📚
@michaelbiehl.bsky.social
Physicist by training, now machine learner in Groningen / NL. Visit www.cs.rug.nl/~biehl for further information, publications, etc. The Shallow and the Deep (open access lecture notes): https://books.ugp.rug.nl/index.php/ugp/catalog/book/130