Skip to content
View zaxioms0's full-sized avatar
51 followers · 86 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2

Organizations

@hypefortypes @S1gm0idCTF

Block or report zaxioms0

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
@niklasdewally
Niklas Dewally niklasdewally
Research Intern, University of St Andrews. @conjure-cp

University of St Andrews Wales

@nrilu
Niccolò Rigi-Luperti nrilu
PhD Student @ KIT Karlsruhe

Karlsruhe Institute of Technology Karlsruhe, Germany

@ashermkn1
Asher Kornfeld ashermkn1
CS @ Carnegie Mellon

New York City

@asinghani
Anish Singhani asinghani
Open-source FPGA & ASIC tooling

New York City

@sasha-of-the-pixels
Sasha Mishkin sasha-of-the-pixels
@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@tripack45
Yue Yao tripack45
CMU CSD PhD in PL. Types (for) Systems FTW. Previously CMU MSCS and NVidia PTX Compiler Eng.

Pittsburgh, PA

@pi314mm
Matias Scharager pi314mm
Carnegie Mellon University PhD student in Programming Languages
@sonyasimk
Sonya Simkin sonyasimk
@hoskinson-center
hoskinson-center
@bsubercaseaux
Bernardo Subercaseaux bsubercaseaux
PhD student at Carnegie Mellon University.

Carnegie Mellon University Pittsburgh, PA

@cppio
Parth Shastri cppio
Tell us a little bit about yourself
@jgrosso
Joshua Grosso jgrosso

Carnegie Mellon University Pittsburgh, PA

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@ssoelvsten
Steffan Sølvsten ssoelvsten
Postdoctoral researcher working on algorithms for program correctness and security.

Aarhus University Aarhus, Denmark

@ohnx
Mason ohnx
‮hi

new york city

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@marijnheule
Marijn Heule marijnheule

Carnegie Mellon University Pittsburgh

@ncatlab
nLab ncatlab
@PratherConid
Yicheng Qian PratherConid
@kevinazhou150
Kevin Zhou kevinazhou150
I go by Kaz (my initials). I'm a math PhD student at UIUC, and I have a BS+MS from CMU. I love functional programming and combinatorics!
@abigalekim
Abigale Kim abigalekim
PhD at UW-Madison | formerly @TileDB-Inc, @cmu-db

University of Wisconsin--Madison Madison, WI

@asahilina
Asahi Lina asahilina
Hello everyone, Asahi Lina here! I'm a Linux developer VTuber!

@AsahiLinux Tokyo

@ccodel
Cayden Codel ccodel
First-year formal methods PhD student at Carnegie Mellon University.
@jacobneu
Jacob Neumann jacobneu
PhD student, Functional Programming Lab at the University of Nottingham's School of Computer Science; Former Lecturer at Carnegie Mellon University SCS

Nottingham, England, UK

@runmingl
Runming Li runmingl
CS @ Carnegie Mellon University

Pittsburgh

@T-Brick
Thea Brick T-Brick
yippeeee

Pittsburgh

@aris-uu
arisu aris-uu
@HarrisonGrodin
Harrison Grodin HarrisonGrodin
PhD Student in PL @ CMU CSD

Carnegie Mellon University Pittsburgh, PA

@CMU-HoTT
CMU HoTT research group CMU-HoTT
@HallaSurvivor
Chris Grossack HallaSurvivor
Math/Music. She/They.

West Coast USA

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@yosefAlsuhaibani
Yosef yosefAlsuhaibani
Wahoo!

@semgrep nyc

@bokken12
Joel Manning bokken12
@Isabel-Gan
Isabel Gan Isabel-Gan
Senior @ CMU SCS interested in programming language theory
@brandonspark
Brandon Wu brandonspark
I like functional programming. Program Analysis engineer at @returntocorp
@Faraday314
Cole Savage Faraday314
@Vtec234
Wojciech Nawrocki Vtec234

Pittsburgh, USA

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@JamesGallicchio
James Gallicchio JamesGallicchio
PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)

Carnegie Mellon Pittsburgh, PA

@phantamanta44
phantamanta44
@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@kopecs
Cooper Pierce kopecs

Semgrep New York

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@colah
Christopher Olah colah
I want to understand things clearly and explain them well. Interpretability at Anthropic. Formerly OpenAI, Google Brain.

Anthropic San Francisco

@codereport
Conor Hoekstra codereport
Research Scientist @NVIDIA, formerly @amzn, @moodysanalytics

NVIDIA Toronto, ON

@TomWildenhain
Tom Wildenhain TomWildenhain
@fchollet
François Chollet fchollet