Skip to content
View ayberkt's full-sized avatar

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

@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
@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

@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

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

University of Cambridge, Computer Laboratory Cambrige, UK

@vehicle-lang
vehicle-lang

United Kingdom

@fdilke
Felix Dilke fdilke

@mention springernature London, UK

@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

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

Functional Programming Lab University of Nottingham

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

kolkata

@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@jakub-oprsal
Jakub Opršal jakub-oprsal

University of Birmingham

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

Hashberg, NeverLocal London, United Kingdom

@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

@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

@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