Highlights
- Pro
Concurrency In Reversible Computations
CinRC
An NSF-funded project aiming at improving current specification languages for concurrent, reversible programs and protocols.
Rocq-community
rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
Andrew Myers
andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.
Cornell University Ithaca, NY, USA
Perry Alexander
palexand
Faculty leader of @ku-sldg. Interested in all things formal methods, functional programming, and trusted computing related.
ITTC - The University of Kansas 2335 Irving Hill Rd, Lawrence, KS 66045
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Guannan Wei
Kraks
Postdoc at INRIA/ENS; Incoming assistant prof at Tufts; PL/FM/Compilers
INRIA/ENS; Tufts
Cliff Click
cliffclick
Founder, Entrepreneur, CTO. A longtime veteran of Silicon Valley with over 40 yrs coding; core contributor to HotSpot; hundreds of public talks, 20 patents.
Stealth Mode Startup Santa Cruz, CA