Skip to content
View mo271's full-sized avatar
56 followers · 103 following

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Organizations

@googlers @libjxl

Block or report mo271

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@erdOne
Andrew Yang erdOne
@Vierkantor
Anne Baanen Vierkantor
@FordUniver
FordUniver
Postdoctoral Researcher

Zuse Institute Berlin Berlin

@zond
zond
@rwst
Ralf Stephan rwst
math/chem/bioinfo (Kotlin/Python/C++)
@pitmonticone
Pietro Monticone pitmonticone
Mathematics @unitrento || Formalising in @leanprover || Developing in @JuliaLang.

University of Trento Trento, Italy

@TwoFX
Markus Himmel TwoFX
I used to work in an office

Lean FRO Karlsruhe, Germany

@robert7k
robert7k

Germany

@palemieux
Pierre-Anthony Lemieux palemieux

http://www.sandflow.com California, USA

@oteret
Ettore Randazzo oteret

Google

@foolip
Philip Jägenstedt foolip
Long live the web! I work on Google Chrome, ex-Opera.

Google Stockholm

@y-guyon
Yannis Guyon y-guyon
@libjxl
libjxl libjxl
JPEG XL reference software and related tools
@teorth
teorth
@madmanchan
madmanchan
@larixlarix
larixlarix
@MichaelStollBayreuth
Michael Stoll MichaelStollBayreuth
@adomani
damiano adomani
mathematician at the university of warwick
@ADedecker
Anatole Dedecker ADedecker
PhD student in mathematics.

Université Paris-Cité Paris, France

@ericrbg
Eric Rodriguez ericrbg
Recent MSc Maths graduate, KCL Mathlib reviewer.
@osamu620
Osamu Watanabe osamu620

Takushoku university Tokyo, JAPAN

@ocfnash
Oliver Nash ocfnash
Deputy Director of Operations for Joint Systems Interdepartmental Operational Command

Dublin, Ireland

@leanprover
Lean leanprover
Lean Prover
@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

@jensimmons
Jen Simmons jensimmons
 Safari & WebKit Evangelist. Member of the CSS Working Group. Webmaster since 1996.

@Apple Brooklyn, NY

@kim-em
Kim Morrison kim-em

Canberra

@gebner
Gabriel Ebner gebner

Microsoft Research Seattle, Wash.

@EdAyers
Ed Ayers EdAyers

Cambridge, UK

@barracuda156
Sergey Fedorov barracuda156
Economist. Fixing stuff for PowerPC

Soochow University Taiwan

@dwrensha
David Renshaw dwrensha

Pittsburgh, PA

@adamtopaz
Adam Topaz adamtopaz
@JavierAntoran
JavierAntoran
Research Fellow at the University of Cambridge. Telecommunications (EE/CS) engineer.

Cambridge, UK

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

Harmonic AI Palo Alto

@nomeata
Joachim Breitner nomeata

Freiburg, Germany

@mkoeppe
Matthias Köppe mkoeppe
Professor of Mathematics, @sagemath core developer.

University of California, Davis Davis, CA, USA

@Sup3Legacy
Constantin GIERCZAK--GALLE Sup3Legacy
Computer science, Esperanto and aviation enthusiast. Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages

École Normale Supérieure, Paris. Paris

@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

@hrmacbeth
Heather Macbeth hrmacbeth

New York, NY

@jcommelin
Johan Commelin jcommelin

— —

@YaelDillies
Yaël Dillies YaelDillies
First year PhD student at Stockholm Universitet in additive combinatorics.

Stockholm Universitet Stockholm

@JamesGallicchio
James Gallicchio JamesGallicchio
PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)

Carnegie Mellon Pittsburgh, PA

@dlemstra
Dirk Lemstra dlemstra
Maintainer of @ImageMagick and its .NET Standard/Framework library called Magick.NET. Microsoft MVP. Member of @SixLabors.

@vitasit Leeuwarden, The Netherlands

@gleachkr
Graham Leach-Krouse gleachkr

Draper Laboratory Arlington, Massachusetts

@Andful
Andrea Nardi Andful
@eric-wieser
Eric Wieser eric-wieser

University of Cambridge Cambridge UK

@LukasMias
Lukas Miaskiwskyi LukasMias
PhD in Mathematics about continuous cohomology of infinite-dimensional Lie algebras, like Gelfand-Fuks cohomology. Currently enjoying math from outside academia

Rabobank Utrecht

@alexjbest
Alex J Best alexjbest
Hoi!

London, UK

@riccardobrasca
Riccardo Brasca riccardobrasca

Paris

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover