Skip to content
View joom's full-sized avatar
480 followers · 454 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 @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
@arximboldi
Juanpe Bolívar arximboldi
Postmodern C++, value-oriented design, interactive software, open-source strategy, functional programming, music tech.

CTO @bronze-dev Berlin, Germany

@Deicyde
Jack McCarthy Deicyde
Graduate student of mathematics at Stony Brook University. BS in Mathematics and Computer Science.

Stony Brook University New York

@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@aaronjeline
Aaron Eline aaronjeline
Automated Reasoning @ AWS. Working on the Cedar language. Lover of computer history.

AWS DC

@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@polytypic
Vesa Karvonen polytypic

Helsinki, Finland

@jessding
Jess Ding jessding

New York City, NY

@zilberstein
Noam Zilberstein zilberstein
Assistant Professor of Computer Science, Stevens Institute of Technology

Stevens Institute of Technology 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

@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 Inria/IRIF
@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

@yellowsquid
Greg Brown yellowsquid
@JLimperg
Jannis Limperg JLimperg
Lean hacking and neurosymbolic AI @ Axiom

Axiom Munich, Germany

@bbyalcinkaya
Burak Bilge Yalçınkaya bbyalcinkaya

@runtimeverification Turkey

@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
Security Researcher at Ericsson

Ericsson Sweden

@EkanshdeepGupta
Ekanshdeep Gupta EkanshdeepGupta

New York, NY, USA

@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; LEANing at @aws Boston, MA

@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