Skip to content
View ahmadsalim's full-sized avatar
📈
Probabilistic Programmer
📈
Probabilistic Programmer

Highlights

  • Pro

Block or report ahmadsalim

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
@conal
Conal Elliott conal
Play/learn/work with me: https://github.com/conal/Collaboration

(open to employment) San Andreas, California, USA

@dustinvtran
Dustin Tran dustinvtran

Google DeepMind San Francisco, CA

@athas
Troels Henriksen athas

DIKU Copenhagen, Denmark

@henglein
Fritz Henglein henglein
Professor of Programming Languages and Systems

Department of Computer Science, University of Copenhagen (DIKU) Copenhagen

@lawmurray
Lawrence Murray lawmurray
Machine learning, statistics, C++.

Bangkok, Thailand

@fritzo
Fritz Obermeyer fritzo
Inference Engineer. Bayesian pragmatist. λ-calculus researcher.

Bellingham, WA

@brandonwillard
Brandon T. Willard brandonwillard
applied math/stats person

.txt Chicago, IL

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@UlrikBuchholtz
Ulrik Buchholtz UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics

University of Nottingham

@twiecki
Thomas Wiecki twiecki
Bayesian modeling & Data Science.

@pymc-labs

@shapr
Shae Erisson shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling

@RecurseCenter Medford, MA, USA

@junpenglao
Junpeng Lao junpenglao
I used to do brain stuff.

@google Zurich, Switzerland

@shooka
Nicolai shooka
Core Services at @shinetools. Monorepo advocate.

@shinetools, @ageras-com, @billysbilling Denmark

@TeamSPoon
Douglas R. Miles TeamSPoon

@TeamSPoon https://github.com/logicmoo

@fbie
Florian Biermann fbie
Types are for the week.

@NESTechnology @dotnestech Copenhagen

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@jmid
Jan Midtgaard jmid
Hacks on FP and property-based testing. Former academic.

Denmark

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@GgnDpSngh
Gagandeep Singh GgnDpSngh
Tenure Track Assistant Professor of Computer Science at UIUC.

UIUC Illinois, USA

@larrytheliquid
Larry Diehl larrytheliquid
Formal Verification

@colimit-ai New York, NY, USA

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

@gallais
G. Allais gallais

Glasgow, Scotland

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

University of Cambridge Cambridge, Cambridgeshire, UK

@ksmandersen
Kristian Andersen ksmandersen
Building iOS Apps & Developer life

@tiimoapp Remote, Denmark

@mellson
Anders Bech Mellson mellson
Software Developer Driving Green Energy Solutions at Energinet | Former CTO @statelyai 🏡

Energinet Svendborg, Denmark

@ahf
Alexander Færøy ahf
@torproject & @irssi core developer. @bornhack organizer. Interested in cryptography, privacy enhancing technologies, security, and distributed systems.

The Tor Project Copenhagen, Denmark