El-Alami 🇪🇺 BOUALAM @el-alami.bsky.social Panel Coordinator at #REA for the #MSCA Programme 👩🎓
#MarieSkłodowskaCurieActions #HorizonEurope #EuropeanCommission #ResearchExecutiveAgency
Opinions expressed are my own. Profile pictures by me.
pixelfed.social/Alami
norinecoenen.bsky.social @norinecoenen.bsky.social 
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)
UCSB Computer Science Department @ucsb-cs.bsky.social 
Marco Paviotti @gfixme.bsky.social gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
@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
Niklas Metzger @niklasmetzger.bsky.social 
David Boetius @davidboe.bsky.social 
Cecilia Baldoni @cecibaldoni.bsky.social Researcher @
Max Planck Institute of Animal Behavior
📍Konstanz 🇩🇪
brain 🧠 | behaviour 🎬 | shrews🐭
Unexplainably obsessed with flamingoes 🦩
cecibaldoni.github.io 💁🏽♀️🌐
Britta Westner @brittawestner.bsky.social 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 @mariame.bsky.social 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 @zukunftskolleg.bsky.social 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- W Chentian Wu @wuct.bsky.social 26’ Math & CS undergrad @ UW-Madison
PL / Logic / Cat Theory 🐈
https://wuct.site
Applying for PhD starting from 2026 Fall
Patrick BERNARD @29pat.bsky.social @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 @simongregersen.com Tenure-track faculty @ CISPA
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
@kakeul.bsky.social @kakeul.bsky.social 
Vincenzo Arceri @vincenzoarceri.bsky.social Assistant professor at UniPr
Giovanni Reina @joefresna.bsky.social Researcher at the Centre for the Advanced Study of Collective Behaviour in Konstanz
Junior Einsteins Science Club® @junioreinsteins.bsky.social Award-winning Science events for kids. Founded Ireland☘️ Scientist, Mum, speaker United Nations 🇺🇳 Fun, messy, screen-free hands-on, STEM fun Ireland 🇮🇪 UK 🇬🇧 Canada 🇨🇦 Saudi Arabia 🇸🇦 Luxembourg 🇱🇺 Ukraine 🇺🇦 International Schools partnerships. Franchise.
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
@heyheiko.bsky.social @heyheiko.bsky.social 
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Satnam Singh @satnam6502.bsky.social 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
Jasper Krauter @jeeesper.bsky.social 
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Dominic Orchard @dorchard.bsky.social 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 @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Michael Grossniklaus @zaskar9.bsky.social ⭐️unfathomable well of useless knowledge⭐️ Professor of Computer Science at University of Konstanz. My views are my own.
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Sam Lindley @reifyreflect.bsky.social 
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist