Skip to content
View jubnzv's full-sized avatar
87 followers · 7 following

Organizations

@llvm @remacs @DSFfinance @use-ink @nowarp

Block or report jubnzv

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

Formal Land Paris

@nowarp
nowarp nowarp
TON Security
@ilyasergey
Ilya Sergey ilyasergey
CS Prof

National University of Singapore Singapore

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@evdenis
Denis Efremov evdenis
@danmar
Daniel Marjamäki danmar
Lives in Sweden with wife and son. Works full time as Cppcheck developer.

Cppcheck Solutions AB Sweden, Eskilstuna