Skip to content
View joom's full-sized avatar

Highlights

  • Pro

Organizations

@bloomberg @CertiRocq

Block or report joom

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@jessding
Jess Ding jessding

New York City, NY

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

Cornell University New York, NY

@ionathanch
Jonathan Chan ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn

PLClub @ UPenn Vancouver, Canada

@zyklotomic
Ethan Kiang zyklotomic
unsafePerformIO-ing
@CharlesCNorton
CharlesCNorton
machina sola regnat

@voxel51

@jmct
Jose Calderon jmct
Executive Director of the Haskell Foundation

Haskell Foundation

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@ahuoguo
Alex Bai ahuoguo

New York University

@hypnoticOxbow
Ian Kariniemi hypnoticOxbow
PhD Student at Portland State University. Interested in Types, Program Synthesis, and Static Analysis.

Portland, Oregon

@bbayazit16
Barış bbayazit16
University of Toronto St. George

Toronto, Canada

@laelath
Justine Frank laelath

University of Maryland

@shwestrick
Sam Westrick shwestrick

New York University New York, NY

@vee-effekt
Cynthia Richey vee-effekt
phd at penn

Philadelphia, Pennsylvania

@Alizter
Ali Caglayan Alizter

@Tarides London, United Kingdom

@yeejian-tan
Yee Jian TAN yeejian-tan
Computer Science PhD student at KU Leuven
@cxandru
Cass Alexandru cxandru
FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala

RPTU Kaiserslautern-Laundau Kaiserslautern

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@schar
Simon Charlow schar
pure uncut context change

Yale University New Haven, CT

@imbrem
Jad Ghalayini imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations

University of Cambridge London, United Kingdom

@JLimperg
Jannis Limperg JLimperg
Lean hacking and neurosymbolic AI @ Axiom

Axiom Munich, Germany

@jbytecode
Mehmet Hakan Satman jbytecode
Professor of Numerical Methods @ Istanbul University

Istanbul University Istanbul

@joehendrix
Joe Hendrix joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.

Applied Scientist at Amazon Portland, OR

@gulmezmerve
MerveGULMEZ gulmezmerve
Security Researcher at Ericsson

Ericsson Sweden

@cmovcc
Antonin Reitz cmovcc
PhD student at Inria Paris, France

@INRIA (previously @PrincetonUniversity )

@xldenis
Xavier Denis xldenis
databases, verification & rust @ turbopuffer

turbopuffer

@decrn
Denis Carnier decrn

KU Leuven Leuven, Belgium

@johnbender
John Bender johnbender

Sandia National Laboratories Los Angeles, CA

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@AD1024
Mike He AD1024
Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems

@PrincetonUniversity Princeton, NJ

@rachitnigam
Rachit Nigam rachitnigam
prof at MIT. creator of @calyxir. up to no good.

Massachusetts Institute of Technology

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@uguryavuz
Uğur Yavuz uguryavuz
phd student @ bu

Boston University Boston, MA

@onur-ozkan
Onur Özkan onur-ozkan
I work on UAVs and Linux Kernel | former @rust-lang maintainer
@kach
Kartik Chandra kach

MIT CSAIL Cambridge, MA

@thery
Laurent Théry thery

INRIA Sophia Antipolis, France

@oir
Ozan İrsoy oir

@bloomberg Senior AI Research Scientist @ Bloomberg

@quernd
Daniel Quernheim quernd
computational linguist

@dottxt-ai Portugal