Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View paulcadman's full-sized avatar
💭
Studying Coq and HoTT
💭
Studying Coq and HoTT
  • London

Block or report paulcadman

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
@Veridise
Veridise Veridise
Hardening Blockchain Security with Formal Methods
@vrom911
Veronika Romashkina vrom911
Haskell Developer. Check out @kowainik to see more projects I'm working on. I also do @bindthegap

@kowainik London

@antirez
Salvatore Sanfilippo antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.

Redis Labs Catania, Sicily, Italy

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@jonaprieto
Jonathan Cubides jonaprieto
Research Engineer. Read/write types and proofs for fun and profit. Better HoTT than cold.
@janmasrovira
Jan Mas Rovira janmasrovira
Compilers, types and programming for fun

Heliax Barcelona

@lukaszcz
Łukasz Czajka lukaszcz
compiler construction, programming language design, formal verification, proof automation, computational logic
@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@larsbrinkhoff
Lars Brinkhoff larsbrinkhoff
Emacs, Lisp, Forth, 68000, PDP-10

Gothenburg, Sweden

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

Brazil

@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@thery
Laurent Théry thery

INRIA Sophia Antipolis, France

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

Formal Land Paris

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

Dubai

@pavankataria
Pavan Kataria pavankataria
Senior Engineering Manager at Superbet/Happening.xyz

London, England

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@mohamed-barakat
Mohamed Barakat mohamed-barakat
Professor of Mathematics. Research: Algorithmic aspects of category theory, homological algebra, algebraic geometry & their computer algebra implementation.

University of Siegen Siegen

@mheiber
Max Heiber mheiber
Computer-Aided Programming, Unguided Human Learning. Views are my own. he/him/his

@whatsapp London, UK

@andorp
Andor Penzes andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.

https://www.redbubble.com/shop/ap/92458473 London, United Kingdom

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@Acentelles
Alberto Centelles Acentelles
Constantly looking for the pleasure of finding things out. Algebraic number theory and cryptography.

London

@pakoito
Paco pakoito
@pacoworks

London

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@johnchildren
John Children johnchildren
Previously @jchildren due a series of unfortunate 2FA events.

@Quantinuum-dev Cambridge, UK

@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

@sfeatherstone
Simon Featherstone sfeatherstone
Experienced agile developer specialising in Android Native using Kotlin and Java. Long background in C++/Windows and broadcast sector.

Bumble ex Contractor/HSBC/Microsoft/Skype London, UK

@markGilchrist
Mark Gilchrist markGilchrist
I am iOS and Android developer is trying to put back a small piece of what the community has kindly given me. When I am not coding I am normally with my dogs

London, UK

@stefanscheidt
Stefan Scheidt stefanscheidt
hubby and father - coder - podcast listener - learning - practicing - teaching - playing board games - working out

REWE digital GmbH Cologne, Germany