×
You are not logged in
Bluesky Followers
Emanuele D'Osualdo
Followers of @emanueledosualdo.com
Marco Paviotti
Registered:22 Nov 2024 17:36
gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
floc2026.bsky.social
Registered:18 Jul 2025 08:27
Bart Blast
Registered:14 Mar 2025 17:47
Building Hologram, a full-stack Elixir web framework
https://hologram.page
afd-icl.bsky.social
Registered:26 Nov 2024 07:28
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
Niklas Metzger
Registered:25 Nov 2024 08:04
Cecilia Baldoni
Registered:24 Oct 2024 09:27
Researcher @
Max Planck Institute of Animal Behavior
📍Konstanz 🇩🇪
brain 🧠 | behaviour 🎬 | shrews🐭
Unexplainably obsessed with flamingoes 🦩
cecibaldoni.github.io 💁🏽♀️🌐
Britta Westner
Registered:20 Nov 2023 10:12
Assistant Professor in Neuroscience at the Donders Institute & Radboudumc.
Oscillations, language, the visual system, source reconstruction methods, and decoding. Open source enthusiast. https://britta-wstnr.github.io
Maria Meier
Registered:1 Aug 2023 08:09
Postdoc at Uni Konstanz and University Hospital Ulm.
Psychologist interested in stress, relaxation & metabolism. 🧠🫀🧪
Likes (trail) running, biking & ski touring. Takes pictures. Loops R & guitar.
https://mariameier.eu
Zukunftskolleg
Registered:15 Jan 2025 11:48
Institute for Advanced Studies @uni-konstanz.de.bsky.social. Lighthouse project in the Excellence Strategy since 2007, fostering early independence with an international, intergenerational, intra-university, interdisciplinary angle. uni.kn/zukunftskolleg
Chentian Wu
Registered:14 Apr 2024 15:43
26’ Math & CS undergrad @ UW-Madison
PL / Logic / Cat Theory 🐈
https://wuct.site
Applying for PhD starting from 2026 Fall
Patrick BERNARD
Registered:29 Dec 2023 16:39
@Renaissance
@Renaissance29 @RenaissanceQBO
adore #MacronardsFM !...
Comptes #X (ex-Twitter) : @29Pat2 et @29Pat
Compte #threads : patrickbernardmahe
Compte #instagram: patrickbernardmahe
Compte #Facebook : Patrick Bernard-mahe,
Compte #Pinterest : 29pat🇨🇵
Simon Gregersen
Registered:7 Dec 2024 14:24
Tenure-track faculty @ CISPA
Michael Schwarz
Registered:27 Jan 2025 16:53
PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github...
kakeul.bsky.social
Registered:25 Jan 2025 16:02
Vincenzo Arceri
Registered:21 Nov 2024 23:46
Assistant professor at UniPr
Giovanni Reina
Registered:23 Nov 2023 18:50
Researcher at the Centre for the Advanced Study of Collective Behaviour in Konstanz
Junior Einsteins Science Club®
Registered:18 Nov 2024 14:07
Award-winning Science events for kids. Founded Ireland☘️ Scientist, Mum, speaker United Nations 🇺🇳 Franchise owners bring hands-on, STEM fun Ireland 🇮🇪 UK 🇬🇧 Canada 🇨🇦 Saudi Arabia 🇸🇦International School Licience. Franchise. junioreinsteinsscienceclub.com
jnpn
Registered:13 Jan 2025 01:46
Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
heyheiko.bsky.social
Registered:22 Jan 2025 18:57
Hayden Evans
Registered:23 Nov 2024 15:14
Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Beamrecjobs.co.uk
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Francesco Ranzato
Registered:14 Nov 2024 20:44
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Satnam Singh
Registered:17 Aug 2024 22:30
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Simon Thompson
Registered:26 Nov 2024 20:49
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Isil Dillig
Registered:6 Nov 2024 17:22
CS professor at UT Austin, does research in programming languages & formal methods.
David Van Horn
Registered:25 May 2023 15:55
Prof at UMD CS.
Dominic Orchard
Registered:11 Nov 2024 09:31
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Kristopher Micinski
Registered:13 Nov 2024 06:06
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Michael Grossniklaus
Registered:14 Jul 2024 16:07
⭐️unfathomable well of useless knowledge⭐️ Professor of Computer Science at University of Konstanz. My views are my own.
Ron Garcia
Registered:3 Jul 2023 05:31
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Sam Lindley
Registered:1 Dec 2024 20:16
John Wickerson
Registered:7 Aug 2024 08:23
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Alexandra Silva
Registered:2 Apr 2024 15:36
Mom, foodie, traveller, computer scientist