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
@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ

Aarhus Univeristy Aarhus, Denmark

@damhiya
Soonwon Moon damhiya

Seoul, Republic of Korea

@YuyanBao
Yuyan Bao YuyanBao

Augusta University United States

@CxBug
Muhammed CxBug

berlin

@RustyCobalt36
Rusty RustyCobalt36
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@ltzone
Litao Zhou ltzone
Ph.D. student @hkuplg, Programming Languages

The University of Hong Kong Hong Kong

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@ahuoguo
Alex Bai ahuoguo

New York University

@Y-jiji
Tianji Yang Y-jiji
积水成渊，蛟龙生焉

MSCS @ Georgia Tech Atlanta

@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.
@decrn
Denis Carnier decrn

KU Leuven Leuven, Belgium

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@ndcroos
ndcroos
@ashasoroushpoor
ashasoroushpoor

Iran, Tehran

@beike-zh
beike-zh
@aslanix
Aslan Askarov aslanix

Aarhus University Aarhus, DK

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.
@SeshatCZ
SeshatCZ

Czech republic

@Kaptch
Sergei Stepanenko Kaptch
Postdoc in the PLS group, ITU.

København

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@DKXXXL
EDJ DKXXXL
grad PLT enthusiast
@d3v3l0
d3v3l0

Munich

@sharontlin
sharontlin

Cambridge, MA

@simongregersen
Simon Gregersen simongregersen
Postdoctoral fellow @ Courant, NYU.

New York University New York, NY, USA

@road21
Aleksey Troitskiy road21
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@Blaisorblade
Paolo G. Giarrusso Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda

Bedrock Systems Inc. Berlin, Germany

@smsufyian
Sufyian smsufyian
Software Engineer | Student | Teacher | Open source contributor

Berlin , Germany

@amir
Amir M. Saeid amir

Dublin, Ireland

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@master-q
Kiwamu Okabe master-q
A noisy bot

METASEPI DESIGN Japan

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@germanD
Germán Delbianco germanD
VIP baker concierge and clandestine ops // TechRel team @trilitech

Trilitech London

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

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

@co-dan
Daniel Frumin co-dan

Groningen

@banthing
banthing
@sleexyz
Sean Lee sleexyz
infinite fun

websim New York

@catch22
Michael Walter catch22
Professor of Computer Science, working in Quantum Information

Ruhr-University Bochum Bochum, Germany

@NightRa
Ilan Godik NightRa

Israel

@overminder
Overmind Jiang overminder
r^2 <3 PLT

@LinkedIn Bellevue, WA

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@ayberkt
Ayberk Tosun ayberkt
Researcher in formal verification @zeroth-research

Zeroth Research Birmingham, UK

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

University of Cambridge Cambridge, Cambridgeshire, UK

@silky
Noon van der Silk silky
ن

Edinburgh, UK

@dmrd
David Dohan dmrd
Research @ OpenAI Human & machine learning.
@bcherny
Boris Cherny bcherny
👨‍💻 Claude Code @ Anthropic

@Anthropic San Francisco