Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Remzi Arpaci-Dusseau
remzi-arpacidusseau
Remzi Arpaci-Dusseau is a full professor in the Computer Sciences department at the University of Wisconsin-Madison.
University of Wisconsin-Madison Madison, WI
VM Actions
vmactions
Virtual machines for Github Actions. Use FreeBSD, OpenBSD, Solaris, etc in Github Actions.
SergeyStaroletov
Teacher *
Research enthusiast
* Developer of complex software systems
localhost Capital of the World
Guido Vranken
guidovranken
no more FOSS from me. society's incessant fantasizing about restricting others' basic freedoms has cured me of altruism.
A. Jesse Jiryu Davis
ajdavis
Senior Staff Engineer at MongoDB, working on replication.
No recruiters please!
@mongodb New York City
K framework
kframework
University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
Anirudh Oppiliappan
icyphox
building tangled — git collaboration platform built on atproto.
i don't use this account anymore.
Helsinki
Dennis Yurichev
DennisYurichev
This account is used mostly for contributing to other's projects. For mine, visit my websites.
Kyiv/Kiev, Ukraine
Mate Soos
msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security
Berlin, Germany
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
NASA Jet Propulsion Laboratory
nasa-jpl
A world leader in the robotic exploration of space
Pasadena, California, US