Skip to content
View Ptival's full-sized avatar
🐵
Monkey see, monkey do.
🐵
Monkey see, monkey do.
116 followers · 29 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report Ptival

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
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@formal-land
Formal Land formal-land
Formal Verification for Web3
@hlissner
Henrik Lissner hlissner
I've doomed us all.
@Yemachu
Yemachu
@darzu
Daryl Zuniga darzu
Currently: Sprig, a block-based coding environment for 3D games. Formerly: MakeCode, Azure Sphere, UW PLSE, Kodu, Code Contracts for .NET.
@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris

@DamienCassou
Damien Cassou DamienCassou
Previously associate professor, I'm now software developer

finsit @ Wolters Kluwer Brest, France

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

Formal Land Paris

@trefis
Thomas Refis trefis

Taridès Paris

@protz
Jonathan Protzenko protz
This is my personal account for personal projects. See @msprotz for my Microsoft (MS) contributions.

Seattle

@bobatkey
Bob Atkey bobatkey

Edinburgh, UK

@edwinb
Edwin Brady edwinb
@slindley
Sam Lindley slindley
@pigworker
Conor McBride pigworker

Glasgow

@maximegmd
Maxime maximegmd
@13Kill
Hédi S. 13Kill

Paris

@abakst
Alexander Bakst abakst
Formal Methodist

San Diego, CA

@gallais
G. Allais gallais

Glasgow, Scotland

@braibant
Thomas Braibant braibant

London

@copumpkin
Daniel Peebles copumpkin

Washington

@raphael-proust
Raphaël Proust raphael-proust
@gridaphobe
Eric Seidel gridaphobe

New York

@dinosaure
Calascibetta Romain dinosaure

Around the world ...

@gasche
Gabriel Scherer gasche
@Steap
Cyril Roelandt Steap
@ztatlock
Zachary Tatlock ztatlock
Associate Professor, UW Allen School (CSE)

University of Washington Seattle, WA

@polux
Paul Brauner polux

Zürich, Switzerland

@liamoc
Liam O'Connor liamoc
Senior Lecturer

Australian National University Canberra

@np
Nicolas Pouillard np
«Type Theory Hacker»

Angers, France