Tempted to move to an amazing work place where 100% of your time is dedicated to academic research? Reach out! Move to NYC and US work authorization required.
30.08.2025 13:29 — 👍 0 🔁 0 💬 0 📌 0
I am hiring a full time researcher for our team in Bloomberg. Candidates must be university professors or experienced industry researchers in the following fields: Network design & verification, AI for infrastructure & security, Compute & Storage, Systems & PL. Reach out!
30.08.2025 13:27 — 👍 0 🔁 0 💬 1 📌 0
Bloomberg Infrastructure & Security Ph.D. Fellowship | Bloomberg LP
Apply now for the Bloomberg Infrastructure & Security Ph.D. Fellowship program. Applications are due by Monday, June 30, 2025 for the 2025-2026 academic year.
excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
18.06.2025 21:28 — 👍 13 🔁 6 💬 0 📌 0
I am happy to share that our paper “Non-Termination Proving: 100 million LoC and beyond” was accepted at CAV’25. Joint work with Jules Villard, Peter O’Hearn and Azalea Raad. We’ve analyzed dozens of very large open source and proprietary programs and uncovered a number of execution divergences.
04.04.2025 02:41 — 👍 3 🔁 0 💬 0 📌 0
Happy birthday Loris!
13.12.2024 13:05 — 👍 1 🔁 0 💬 0 📌 0
Hello! I am now on bsky.
13.11.2024 21:28 — 👍 5 🔁 0 💬 1 📌 0
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Aka @lavados #InfoSec University Professor @ #TUGraz. #meltdown, #spectre, #rowhammer, cache attacks, sustainable security. Produced a side channel security sitcom. https://gruss.cc https://x.com/lavados https://infosec.exchange/@lavados
Cryptography, decentralized networks, in close proximity to ☕🦀. Ex: {Protocol, Mysten, Dapper} Labs, Meta, …
https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
actually just on Mastodon: https://discuss.systems/@adrian
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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.
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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.
