๐ฆ
PhD student in formal verification
- Aarhus
-
13:03
(UTC +02:00) - cs.au.dk/~zyliu
Highlights
- Pro
Block or Report
Block or report lzy0505
Report abuse
Contact GitHub support about this userโs behavior. Learn more about reporting abuse.
Report abuse
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Tim McGilchrist
tmcgilchrist
OCaml and Haskell connoisseur. Principal software engineer at @tarides. Compilers, runtimes, garbage collection, and general systems hackery.
@tarides Sydney, Australia
Conrad Watt
conrad-watt
Assistant Professor, NTU - see my website for open positions in Singapore.
Co-chair of the WebAssembly Community Group.
Nanyang Technological University
Marty Stumpf
thealmarty
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.
BC, Canada
Enrico Tassi
gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter
@coq @math-comp @LPCIC Inria Sophia-Antipolis
Privacy & Scaling Explorations
privacy-scaling-explorations
Formerly known as appliedzkp, we work to bridge the gap between cutting-edge research in Zero-Knowledge Proofs (ZKP) and application development on Ethereum.
Jakob Botsch Nielsen
jakobbotsch
Engineer on the .NET JIT compiler at Microsoft.
@microsoft Aarhus, Denmark
Hongzheng Chen
chhzh123
Compiler for large-scale heterogeneous computing systems
Cornell University Ithaca, NY
Chun Tian
binghe
Common Lisp programmer and HOL proof engineer
Australian National University Canberra, Australia
Alastair Reid
alastairreid
Researcher working on formal specification and verification.
(This is my personal account)
Cambridge, United Kingdom
Wilfred Hughes
Wilfred
PL enthusiast, Emacs addict, and an advocate for human factors.
Bay Area, USA
Luau
luau-lang
A fast, small, safe, gradually typed embeddable scripting language derived from Lua. Developed and maintained by @Roblox.
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
penguin_wwy
penguin-wwy
Compiler; Static Analysis; Love Kotlin;
Rust is the best great program :)
Shanghai
Zoe Paraskevopoulou
zoep
๐ Programming Languages and Verification.
๐ Coq, Haskell
Ethereum Foundation Athens, Greece
Imandra
imandra-ai
We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.
London, Austin, Edinburgh
SiFive
sifive
We bring RISC-V, software, and silicon experts together to innovate with a modern, software-driven approach to semiconductors.
1875 South Grant Street Suite 600, San Mateo, CA 94402
PreviousNext