Skip to content
View amintimany's full-sized avatar
50 followers · 6 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report amintimany

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
@aslanix
Aslan Askarov aslanix

Aarhus University Aarhus, DK

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@btj
Bart Jacobs btj
Associate professor of computer science, focusing on formal program verification.

imec-DistriNet, KU Leuven Leuven, Belgium

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

University of Cambridge Cambridge, Cambridgeshire, UK

@mattam82
Matthieu Sozeau mattam82

Inria Nantes

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany