Skip to content
View ayberkt's full-sized avatar
146 followers · 297 following

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report ayberkt

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
@paberr
Pascal Berrang paberr

Germany/UK

@Timothy-G-Griffin
Timothy G. Griffin Timothy-G-Griffin

University of Cambridge, Computer Laboratory Cambrige, UK

@MatthewDaggitt
Matthew Daggitt MatthewDaggitt
@vehicle-lang
vehicle-lang

United Kingdom

@fdilke
Felix Dilke fdilke

@mention springernature London, UK

@markrd-williams
Mark Williams markrd-williams
@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

@jfdm
Jan de Muijnck-Hughes jfdm

University of Strathclyde Europe

@MathisBD
MathisBD
@codyroux
codyroux
@tcosmo
Tristan Stérin tcosmo

prgm.dev

@StiephenPradal
Stiéphen Pradal StiephenPradal
PhD in Homotopy Type Theory Supervisor: @nicolaikraus

Functional Programming Lab University of Nottingham

@fredrik-bakke
Fredrik Bakke fredrik-bakke

NTNU Norway

@Abhinandan-Pal
Abhinandan-Pal
Student at IIIT Kalyani.

kolkata

@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@olynch
Owen Lynch olynch
@ToposInstitute
Topos Institute ToposInstitute
@jcmgray
Johnnie Gray jcmgray

Caltech

@jakub-oprsal
Jakub Opršal jakub-oprsal

University of Birmingham

@hashberg-io
Hashberg hashberg-io

London, UK

@sg495
Stefano Gogioso sg495
Mathematician and Computer Scientist, marauding as a Physicist when needed.

Hashberg, NeverLocal London, United Kingdom

@glguy
Eric Mertens glguy
@alpaylan
Alperen Keleş alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a third year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.

University of Maryland, College Park Maryland, United States

@AlexKontorovich
Alex Kontorovich AlexKontorovich
Mathematics Professor
@jashug
Jasper Hugunin jashug

Microsoft Seattle, WA

@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@jacobneu
Jacob Neumann jacobneu
PhD student, Functional Programming Lab at the University of Nottingham's School of Computer Science; Former Lecturer at Carnegie Mellon University SCS

Nottingham, England, UK

@mircogiacobbe
mircogiacobbe
@mvr
Mitchell Riley mvr

NYUAD Abu Dhabi

@teorth
teorth
@Abhiroop
Abhiroop Sarkar Abhiroop
Crafting compilers and interpreters.

ETH Zurich Zurich

@dwrensha
David Renshaw dwrensha

Pittsburgh, PA

@mriya98
Riya Maurya mriya98
MSc. in AI & ML | Software Developer

Sarvam AI Bengaluru, India

@TheReasonedSchemer2ndEd
The Reasoned Schemer, Second Edition (MIT Press, 2018) TheReasonedSchemer2ndEd
Official code of The Reasoned Schemer, Second Edition by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, and Jason Hemann (MIT Press, 2018)
@mengwong
Meng Weng Wong mengwong

@legalese Singapore

@agarwal
Ashish Agarwal agarwal
OCaml + Biology

Solvuu New York City

@HuStmpHrrr
Jason Hu HuStmpHrrr
Applied scientist at AWS; PhD from McGill University; MMath from University of Waterloo; https://gitlab.com/JasonHuZS

AWS Seattle, WA

@AndrewSlattery
Andrew Slattery AndrewSlattery
@aarneranta
Aarne Ranta aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.

University of Gothenburg Gothenburg, Sweden

@phijor
Philipp Joram phijor
@martintrucchi
Martin T martintrucchi
@keltono
Kelton OBrien keltono
Dork | PhD Student at IU

Minneapolis, Minnesota

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@frankpfenning
Frank Pfenning frankpfenning

Carnegie Mellon University Pittsburgh

@neel-krishnaswami
Neel Krishnaswami neel-krishnaswami

University of Cambridge

@ElifUskuplu
ElifUskuplu
@PietroSabelli
PietroSabelli
@mattearnshaw
Matt Earnshaw mattearnshaw

Tallinn University of Technology Tallinn, Estonia

@RedPRL
RedPRL RedPRL
Uphold Cubical Thought!
@stefan-aws
Stefan Zetzsche stefan-aws

@dafny-lang London, United Kingdom