Skip to content
View abizjak's full-sized avatar
54 followers · 19 following

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report abizjak

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
@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@microsoft
Microsoft microsoft
Open source projects and samples from Microsoft

Redmond, WA

@logsem
Logic and Semantics @ Aarhus University logsem

Aarhus, Denmark

@chrmatt
Christian Matt chrmatt

Primev Switzerland

@DOBEN
Doris Benda DOBEN
Senior Software Engineer: I like SmartContracts/Solidity/Ethereum/dApps/Blockchain/Rust/TypeScript. www.web3achiever.com doris_benda@web3achiever.com

Singapore

@limemloh
Emil Holm Gjørup limemloh

Thisted, Denmark

@simonkamp
Simon Kamp simonkamp
@sethomsen
Søren Eller Thomsen sethomsen
Cryptographic Engineer at Partisia.

Aarhus University Aarhus

@ljedrz
ljedrz
@co-dan
Daniel Frumin co-dan

Groningen

@magnus-madsen
Magnus Madsen magnus-madsen
@simongregersen
Simon Gregersen simongregersen
Postdoctoral fellow @ Courant, NYU.

New York University New York, NY, USA

@lars-birkedal
lars-birkedal
@amaurremi
Marianna Rapoport amaurremi

Aarhus, Denmark

@jasagredo
Javier Sagredo jasagredo

@input-output-hk Madrid, Spain

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@anjapetkovic
Anja Petković Komel anjapetkovic
@tschudid
Daniel Tschudi tschudid