1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Likely just stalking people for doomscrolling content, and posting 😺s
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
Get every sports story that matters.
Enhancing Your Philadelphia #FlyEaglesFly Fan Experience | #PHLSportsNation Section | Blogs📝 Social Content📲Giveaways💥Podcasts🎙Shop🛍️(http://t.ly/_e231)
Serving sports fans. Anytime. Anywhere.
CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
PL/Systems PhD student at Cornell
ngernest.github.io
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Professor @Brown CS. Brown Hat. Research on systems and software security. 🏴☠️🇬🇷🇺🇸 https://cs.brown.edu/~vpk
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.
AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
Security researcher with an interest in formal methods.
Building fuzzers @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/