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

Skip to content
View m-ow's full-sized avatar

Highlights

  • Pro

Block or report m-ow

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
@tannerduve
Tanner Duve tannerduve
Engineer at @nexus-xyz zkVM. Interested in types, categories, and functional programming.

Nexus San Francisco

@lamg
Luis Ángel Méndez Gort lamg
Solving problems

Germany

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

University of Cambridge Cambridge, Cambridgeshire, UK

@chenson2018
Chris Henson chenson2018
PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.
@GasStationManager
GasStationManager
Independent AI researcher
@girving
Geoffrey Irving girving
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.

London

@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

@andrewmw94
Andrew Wells andrewmw94
Applied Scientist at AWS. My Amazon Github account: @andrewmwells-amazon

AWS Cupertino CA

@atomb
Aaron Tomb atomb

@aws Portland, OR

@samuelchassot
Samuel Chassot samuelchassot
PhD student in Computer Science @ EPFL Switzerland

EPFL Lausanne, Switzerland

@shigoel
Shilpi Goel shigoel
Applied Scientist at AWS

Austin, TX

@avanhatt
Alexa VanHattum avanhatt
Assistant professor of computer science at Wellesley College

United States

@yangky11
Kaiyu Yang yangky11
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@barrettcw
Clark Barrett barrettcw

Stanford University

@arademaker
Alexandre Rademaker arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.

EMAp/FGV Rio de Janeiro

@BoltonBailey
Bolton Bailey BoltonBailey
Proof dude

Project Numina California

@wkrozowski
Wojciech Różowski wkrozowski
Research Software Engineer @ Lean FRO

@UCL-PPLV @leanprover London

@urkud
Yury G. Kudryashov urkud
Formalization lead at @harmonic-ai

Harmonic Palo Alto

@quartztz
Jacopo Philip Moretti quartztz
Compsci MA3 @ EPFL. more active on codeberg/gitlab
@YaelDillies
Yaël Dillies YaelDillies
Second year PhD student at Stockholm Universitet in additive combinatorics.

Stockholm Universitet Stockholm

@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@fpvandoorn
Floris van Doorn fpvandoorn

University of Bonn Bonn

@fmontesi
Fabrizio Montesi fmontesi
Professor of Computer Science, Danish Institute for Advanced Study (DIAS) and University of Southern Denmark

Danish Institute for Advanced Study / University of Southern Denmark / italianaSoftware s.r.l.

@b-mehta
Bhavik Mehta b-mehta
Chapman Fellow in Mathematics at Imperial College London

London

@mo271
Moritz Firsching mo271

Google Research Basel, CH

@Paul-Lez
Paul Lezeau Paul-Lez
Researcher @ Google DeepMind & PhD student @ LSGNT (Imperial College, joint with King's College London and University College London)
@kmill
Kyle Miller kmill

Santa Cruz, California

@madvorak
Martin Dvořák madvorak

Institute of Science and Technology, Austria Czech Republic

@fgdorais
François G. Dorais fgdorais
Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science

University of Vermont Burlington, Vermont, USA

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden