Skip to content
View ayberkt's full-sized avatar
153 followers · 313 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.

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
@park-sewon
Sewon Park park-sewon

IMFM Ljubljana, Slovenia

@michalkonecny
Michal Konecny michalkonecny

Birmingham, UK

@houfaru
Fajar Haifani houfaru
@mzweav
Matthew Weaver mzweav

@Bloomberg Philadelphia, USA

@keremaliboyla
Kerem Ali Boyla keremaliboyla
I am an ecologist and amateur scientist. My aim is create useful publications with bird observation data from Turkey and abroad.

KAB Ecology Istanbul

@pauloboliva
Paulo Oliva pauloboliva

Queen Mary University of London London

@samtoth
Sam Toth samtoth
Undergraduate at University of Nottingham
@statusfailed
Paul Wilson statusfailed
@mchalupa
Marek Chalupa mchalupa

Zeroth Research Brimingham

@pdmosses
Peter Mosses pdmosses
I'm currently looking at Agda support for denotational semantics. My development of tool support for CBS in the @plancomps project should resume later in 2025.

@tudelft-pl Delft, The Netherlands

@ssomayyajula
Siva Somayyajula ssomayyajula

AWS

@SeanKMoss
Sean Moss SeanKMoss
@theorem-labs
Theorem theorem-labs

United States of America

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@AtticusKuhn
Atticus Kuhn AtticusKuhn
Computer Science Student at Trinity College, Cambridge

Cambridge, United Kingdom

@PratherConid
Yicheng Qian PratherConid
@zeroth-research
Zeroth Research zeroth-research

United Kingdom

@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
Cody Roux 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 fifth 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
Postdoc at Reykjavik University, studying category theory and semantics of type theory Formerly at University of Nottingham, Carnegie Mellon University

Reykjavik, Iceland

@mircogiacobbe
mircogiacobbe
@mvr
Mitchell Riley mvr
@teorth
teorth
@Abhiroop
Abhiroop Sarkar Abhiroop
Crafting compilers and interpreters.

ETH Zurich Zurich

@dwrensha
David Renshaw dwrensha

@icarm Pittsburgh, PA

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

Sarvam AI Bengaluru, India