Skip to content

@bedrocksystems BlueRock Security, Inc

Users following bedrocksystems

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@ian215
Ian Mitchell ian215
I am Ian.

BlueRock Security, Inc. Virginia, US

@senthil28
senthil28
@yokurang
Matthew A. yokurang
@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. CEO and Chief Scientist at Free & Fair and Sigil Logic. Principal Scientist at Galois.

@Sigil-Logic @FreeAndFair Portland, OR

@Lee-Janggun
Janggun Lee Lee-Janggun

@casys-kaist Daejeon

@oismael
Osman Ismael oismael

Maryland USA

@tfc
Jacek Galowicz tfc
@tfc:matrix.org at Matrix

@applicative-systems 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