Skip to content
View ahuoguo's full-sized avatar
59 followers · 378 following

Organizations

@SIGPLAN-AV

Block or report ahuoguo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@BasisResearch
Basis Research Institute BasisResearch
Basis builds reasoning engines that advance society's ability to solve intractable problems
@FeizaiYiHao
xiangdong chen FeizaiYiHao
@rogerburtonpatel
Roger Burtonpatel rogerburtonpatel
Halting the solving problem.
@rsofaer
Raphael Sofaer rsofaer
@pratapsingh1729
Pratap Singh pratapsingh1729
@RINNE-TAN
kamome RINNE-TAN

Pivot Studio

@goldfirere
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

@JonahWeinbaum
JonahWeinbaum
@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN

@nyu-acsys
NYU ACSys nyu-acsys
NYU Analysis of Computer Systems (Formal Methods) group

New York City, NY

@ljlin
Jianlin Li ljlin
I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →

UWaterloo / ISCAS / UdS Waterloo / Beijing / Saarbrücken

@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.
@rutgerbrf
Rutger Broekhoff rutgerbrf
Student Master Computing Science (MFoCS) at Radboud University. (I always randomly decide where to put repos so not everything might be here on GitHub.)

@profects Nijmegen

@javathunderman
Arjun Vedantham javathunderman
PhD student

/dev/null

@andrew-bacon
andrew-bacon
@Ced3-han
Cedlijh Ced3-han
BS @ PKU, work on Generative Modeling, AI for Science, MultiModal LLMs.

Peking University Beijing/Xian,China

@culechetoo
culechetoo
@gbdrt
Guillaume Baudart gbdrt

Inria Paris, France

@nobrakal
Alexandre Moine nobrakal

New York - USA

@smolkaj
Steffen Smolka smolkaj

Google Bay Area

@mdmoeller
Mark Moeller mdmoeller
@Vanille-N
Neven Villani Vanille-N

Verimag Grenoble, France

@ppedrot
Pierre-Marie Pédrot ppedrot
@bordaigorl
Emanuele D'Osualdo bordaigorl
I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz

University of Konstanz Konstanz, Germany

@ovanr
Orpheas van Rooij ovanr

Edinburgh

@shiyue-li
Shiyue Li shiyue-li
mathematician at the university of michigan
@geezee
George Zakhour geezee

Switzerland

@oliversoeser
Oliver Soeser oliversoeser
Computer Science and Maths student, University of Edinburgh class of 2027.

Edinburgh, Scotland

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

Bedrock Systems Inc. Berlin, Germany

@fsieczkowski
Filip Sieczkowski fsieczkowski

Heriot-Watt University / University of Wrocław, @iiuni Edinburgh, Scotland

@gebner
Gabriel Ebner gebner

Microsoft Research Seattle, Wash.

@co-dan
Daniel Frumin co-dan

Groningen

@arnaudgolfouse
Arnaud Golfouse arnaudgolfouse
PhD student, working on @creusot-rs ; Rust enthusiast
@Nils-Lauermann
Nils Lauermann Nils-Lauermann
PhD Student in Computer Science (PL) at the University of Cambridge

University of Cambridge Cambridge, UK

@chinggg
chinggg
CS PhD Student at UC Irvine ➡️ Max Planck Institute

Max Planck Institute Germany

@JAMESYJL
Junliang Ye JAMESYJL
a master's student in the Department of Computer Science at Tsinghua University

Tsinghua University / ShengShu Beijing

@screenl
ScreenL screenl
@zilberstein
Noam Zilberstein zilberstein
PhD Student at Cornell University researching Programming Languages, Logic, and Semantics

Cornell University Ithaca, NY

@anthony-darienzo
Anthony D'Arienzo anthony-darienzo
I'm a PhD student in mathematic at UIUC. I currently research categorical logic. I have also worked on heat-diffusion models for social networks.
@zero-to-nat
Natalie Neamtu zero-to-nat
PhD Student at Carnegie Mellon University
@fpottier
François Pottier fpottier

Inria Paris, France

@zackbach
Zack Eisbach zackbach
CS + Math @ Northeastern. Logic, types, compilers, and categories.

@nuprl Boston, MA

@stschaef
Steven Schaefer stschaef
@hackedy
Ryan Doenges hackedy
programming languages, networking, verification

Northeastern University Boston, MA

@fresheed
Egor Namakonov fresheed
Egor Namakonov
@alpha-convert
Joseph Cutler alpha-convert
PhD student at Penn
@tomdjong
Tom de Jong tomdjong
@blackhole89
Matvey Soloviev blackhole89
Postdoc. May these repositories be a monument to the dangers of procrastination.

Stockholm

@nmmull
Nathan Mull nmmull
Lecturer

Boston University MA

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation