Security audits, static analysis, realtime threat monitoring
https://app.dedaub.com
🇪🇺 Book an audit ⟹dedaub.com
Computer scientist, randonneur (long distance cyclist), flaming liberal.
Professor at Aarhus University
https://cs.au.dk/~amoeller
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.
Programming Languages Researcher and Consultant
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Computer Scientist, Hiker, Photographer
Get used to disappointment.
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
CS professor at UT Austin, does research in programming languages & formal methods.
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
