Skip to content

@bedrocksystems BedRock Systems, Inc.

@lafeychine
Vincent Lafeychine lafeychine
@phumpal
Patrick Humpal phumpal

Northern California

@FWIntegralTech
FWIntegralTech
@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@Lrs121
Larson T. Lrs121
Migrating back to selfhosted git.

DigitalSea

@slaiyer
slaiyer
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@mrragava
mrragava
@kiniry
Joseph Kiniry kiniry
Dad. Partner. Scientist. Activist. Maker. I'm the Principled CEO and Chief Scientist at Free & Fair. I'm a Principal Scientist at Galois.

@FreeAndFair @GaloisInc Portland, OR

@Lee-Janggun
Janggun Lee Lee-Janggun

@kaist-cp Daejeon

@oismael
Osman Ismael oismael

Maryland USA

@tfc
Jacek Galowicz tfc
@Jonge:ukvly.org at Matrix

Self-Employed Consultant Braunschweig, Germany

@alex-ab
Alexander Boettcher alex-ab
Operating system developer

Genode Labs Dresden

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany