Skip to content
View fpoli's full-sized avatar
79 followers · 78 following

Achievements

Achievement: Galaxy BrainAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Starstruckx3Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Galaxy BrainAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Starstruckx3Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@viperproject

Block or report fpoli

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
@denisglotov
Denis Glotov denisglotov
System programming, Robots, distributed systems, Bitcoin, Blockchain enthusiast

@Repyh-Labs Riga, Latvia

@leviathanbeak
Elvis leviathanbeak
blockchain core
@rbonichon
Richard Bonichon rbonichon
@kazilotus
M. Hasan kazilotus
Senior DevOps / Full Stack Engineer

Kuwait / Bangladesh

@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@Manishearth
Manish Goregaokar Manishearth
@rust-lang devtools, ex-core, internationalization @google

@google Berkeley, CA

@SonicFrog
Ogier Bouvier SonicFrog
Drinker of Mate

Repyh labs Switzerland

@arthurBricq
Arthur Bricq arthurBricq
Rust Software Engine. I like chess engine and building things from scratch in Rust. Also a little experienced with robots.

Lausanne, Switzerland

@yannbolliger
Yann yannbolliger
Rust | TS | Scala ⛓️🔬🚀
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@formal-land
Formal Land formal-land
Formal Verification for Web3
@wojciechozga
Wojciech Ozga wojciechozga
Security systems architect (Dr.-Ing.) with systems engineering skills.

@IBM Research - Zurich Zürich, Switzerland

@informalsystems
Informal Systems informalsystems
Premier Partner in Protocol Design & Cross-Chain Infrastructure
@GaloisInc
Galois, Inc. GaloisInc

Portland, OR

@mschwerhoff
Malte Schwerhoff mschwerhoff
@mgeisler
Martin Geisler mgeisler

@ProtonMail Switzerland

@gauravpartha
gauravpartha
@Dspil
Dionysios Spiliopoulos Dspil

ETH Zurich

@wil93
William Di Luigi wil93

@Google Zürich

@sarsko
Sarek Høverstad Skotåm sarsko
Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.

Amazon Web Services Seattle

@pnkfelix
Felix S Klock II pnkfelix

Massachusetts, USA

@gavinleroy
Gavin Gray gavinleroy

Brown University

@willcrichton
Will Crichton willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.

Brown University Providence, RI

@dewert99
David Ewert dewert99
I recently completed my MSc in Computer Science at UBC

Vancouver, Canada

@wintered
Dominik Winterer wintered
Assistant Professor at University of Manchester.

University of Manchester Manchester

@danakj
Dana Jansens danakj
Languages, compilers, games, browsers

Google Canada

@RustanLeino
Rustan Leino RustanLeino
Lover by day, hacker by night

Amazon Web Services Seattle, WA, USA

@utaal
Andrea Lattuada utaal

@turbopuffer Zürich, Switzerland

@viperproject
Viper Project viperproject
Verification Infrastructure for Permission-​based Reasoning

ETH Zurich

@JonasAlaif
Jonáš Fiala JonasAlaif
@kaplun
Samuele Kaplun kaplun
ProtonVPN CTO

@ProtonMail

@jalavik
Jan Åge Lavik jalavik
Developer

BankID BankAxept AS Bergen, Norway

@stefano-maggiolo
Stefano Maggiolo stefano-maggiolo

Google London, United Kingdom

@lw
Luca Wehrstedt lw
Research engineer in AI at Facebook

@facebook Paris

@veluca93
Luca Versari veluca93
@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@oli-obk
Oli Scherer oli-obk

Phobos

@alebugariu
Alexandra-Olimpia BUGARIU alebugariu
Postdoctoral Researcher

MPI-SWS Kaiserslautern, Germany

@NikolajBjorner
Nikolaj Bjorner NikolajBjorner

Microsoft Research Redmond, USA

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@alastairreid
Alastair Reid alastairreid
Researcher working on formal specification and verification. (This is my personal account)

Intel Cambridge, United Kingdom

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@Felalolf
Felix Wolf Felalolf
@tdardinier
Thibault Dardinier tdardinier
@ArquintL
Linard Arquint ArquintL

NUS Singapore

@cmatheja
Christoph Matheja cmatheja

Oldenburg University Oldenburg, Germany

@aatxe
ariel aatxe
programming language designer. @nuprl and @plasma-umass alum.

@Roblox Redwood City, California

@Aurel300
Aurea Aurel300
PhD student in Rust verification. Rust enthusiast, game developer, CTF player and author.

ETH Zurich

@yutakang
Yutaka Ng yutakang
Ready Prover One.

Czech Academy of Sciences Prague

@jonhoo
Jon Gjengset jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway