Ao-senXiong.github.io
-
University of Waterloo
- Waterloo, ON, Canada
-
09:09
(UTC -12:00)
Block or Report
Block or report Ao-senXiong
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Andrew Myers
andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.
Cornell University Ithaca, NY, USA
Andreas Zeller
andreas-zeller
Software researcher | Faculty at CISPA Helmholtz Center for Information Security | Professor at Saarland University
Center for IT-Security, Privacy, and Accountability (CISPA) Saarbrücken, Germany
Edward Lee
e45lee
PhD student, Programming Languages Group, University of Waterloo
University of Waterloo Waterloo, ON
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Manu Sridharan
msridhar
UC Riverside professor, researching program analysis and developer tools. Member of @ucr-riple
Riverside, CA
Michael Coblenz
mcoblenz
I'm an assistant professor at UCSD. I study how to design programming languages that help programmers be more effective at writing software.
University of California San Diego San Diego, CA
K framework
kframework
University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
Rachit Nigam
rachitnigam
Incoming EECS professor at MIT. Creator of @calyxir. Up to no good.
Massachusetts Institute of Technology
Gabriele Pappalardo
gabryon99
Software Developer @ JetBrains.
M.Sc in Computer Science @ Unipi. I like Programming Languages and their implementation. Moreover, I love playing videogames
JetBrains Munich, Germany
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
Martin Kellogg
kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
Jonathan Giles
JonathanGiles
Principal Java Architect at Microsoft. Focusing on making Java rock in the cloud. Java Champion, JavaOne Rockstar, and Dukes Choice award winner.
@Microsoft New Zealand
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
Adrian Sampson
sampsyo
Hi! I'm a terrifying Cornell professor, the kindly progenitor of @beetbox, and pretty into The Magnetic Fields. 6'2".
Cornell University Ithaca, NY
Fan Zhang
FZhg
A Recent Grad Master of Software Engineering from UWaterloo. I aspire to be an SRE.
Toronto, Canada
PreviousNext