Skip to content
View joom's full-sized avatar
437 followers · 445 following

Achievements

Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@bloomberg @CertiCoq

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 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
@zyklotomic
Ethan Kiang zyklotomic
unsafePerformIO-ing
@CharlesCNorton
CharlesCNorton
Machina Vincit Omnia

@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

@dsainati1
Daniel Sainati dsainati1
@dnezam
Daniel Nezamabadi dnezam
@ebresafegaga
Gaga ebresafegaga
@ahuoguo
Alex Bai ahuoguo

New York University

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@hypnoticOxbow
Ian Kariniemi hypnoticOxbow
PhD Student at Portland State University. Interested in Types, Program Synthesis, and Static Analysis.

Minneapolis, MN

@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

London, United Kingdom

@SwampertX
Yee Jian TAN SwampertX
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 Cambridge, United Kingdom

@yellowsquid
Greg Brown yellowsquid
@JLimperg
Jannis Limperg JLimperg
Applied Scientist @ AWS

AWS Munich, Germany

@bbyalcinkaya
Burak Bilge Yalçınkaya bbyalcinkaya

Istanbul

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

Istanbul University Istanbul

@akdemironur
Onur Akdemir akdemironur
@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

@s1gtrap
William Tange s1gtrap

Aarhus, Denmark

@mansky1
William Mansky mansky1

@UIC

@raphael-proust
Raphaël Proust raphael-proust
@gulmezmerve
MerveGULMEZ gulmezmerve
PhD Student at KU Leuven & Security Researcher at Ericsson

Ericsson Sweden

@EkanshdeepGupta
Ekanshdeep Gupta EkanshdeepGupta
@scpmw
Peter Wortmann scpmw
@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

@Armael
Armaël Guéneau Armael

Inria Paris-Saclay

@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
former @rust-lang/rust maintainer | Interested in compilers, operating systems and UAVs

Istanbul

@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

@agarwal
Ashish Agarwal agarwal
OCaml + Biology

Solvuu New York City

@DmxLarchey
Dominique Larchey-Wendling DmxLarchey

CNRS Nancy, France

@umut-sahin
Umut umut-sahin
METU Ceng\nProgramming since 2008

Turkey