Skip to content
View germanD's full-sized avatar
🐓
🐓
22 followers · 53 following
  • Trilitech
  • London
  • 20:20 (UTC -12:00)

Organizations

@imdea-software

Block or report germanD

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
@etherlinkcom
Etherlink etherlinkcom
A decentralized & EVM compatible Layer-2 blockchain built on Tezos.

United Kingdom

@zamrokk
benjamin fuentes zamrokk

Marigold nice

@aswin-trilitech
aswin-trilitech
@trilitech
Trilitech trilitech

United Kingdom

@functori
Functori functori
Functori, Tailor-Made Solutions Built With Fun* | Software Development, Programming Languages, Blockchains & dApps, Formal Methods.

Paris

@Isaac-DeFrain
Quantifier Isaac-DeFrain
ZK, Rust, OCaml, Formal Verification, Blockchain, BFT, Consensus, Protocol Design, Mathematics

@Quantifier-Tech Vancouver, BC

@tinchoabbate
tincho tinchoabbate
ethereum security researcher

@theredguild

@yasunariw
Yasunari Watanabe yasunariw

@ahrefs Tokyo

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@picojulien
picojulien
@maht0rz
Matej Šima maht0rz
Building the next big zero-knowledge thing.

Stove Labs Off-chain

@raphael-proust
Raphaël Proust raphael-proust
@astefano
Lacramioara Astefanoaei astefano

grenoble, france

@francoisthire
FrançoisT francoisthire

Nomadic Labs Paris

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

Singapore

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

Formal Land Paris

@rafoo
Raphaël Cauderlier rafoo
@SkySkimmer
Gaëtan Gilbert SkySkimmer

Inria

@mrkkrp
Mark Karpov mrkkrp
Software engineer at @tweag

@tweag Château-Thierry, France

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@joseluisdiaz
Jose Luis Diaz joseluisdiaz

@auth0 Rosario, Argentina

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@jvillard
Jules Villard jvillard

London, UK

@nzyuzin
Nikita Zyuzin nzyuzin

Moscow, Russia

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

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

https://www.cerebras.ai Dubai

@kyoDralliam
Kenji Maillard kyoDralliam
@pedagand
Pierre-Évariste Dagand pedagand
@beillahi
Sidi Mohamed Beillahi beillahi

Mauritania

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@palmskog
Karl Palmskog palmskog

KTH Royal Institute of Technology Stockholm, Sweden

@gares
Enrico Tassi gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter

@coq @math-comp @LPCIC Inria Sophia-Antipolis

@ccshan
Chung-chieh Shan ccshan
@jeshecdom
Jesús Héctor Domínguez Sánchez jeshecdom
@mr-ohman
Joakim Öhman mr-ohman
@mtzguido
Guido Martínez mtzguido

Microsoft Research Seattle

@amintimany
Amin Timany amintimany
Associate professor of computer science in the Programming Languages, Logic, and Software Security (PLS) section of Aarhus University — @logsem

Aarhus University Aarhus, Denmark

@pigworker
Conor McBride pigworker

Glasgow

@ppedrot
Pierre-Marie Pédrot ppedrot
@alesanz
Alejandro Sanchez alesanz

IMDEA Software Institute Madrid, Spain

@pablobuiras
Pablo pablobuiras

KTH Royal Institute of Technology Stockholm, Sweden

@martinceresa
Martin Ceresa martinceresa

Madrid, Spain

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris

@pierreganty
Pierre Ganty pierreganty
Researcher at @imdea-software, designing algorithms to solve problems for systems with infinitely many states.

@imdea-software Spain

@beta-ziliani
Beta Ziliani beta-ziliani
Researcher, professor, developer. Human after all.

@crystal-lang Montevideo, Uruguay

@gdoychev
Goran Doychev gdoychev

IMDEA Software Institute Madrid, Spain

@anindya0
anindya0
@michael-emmi
Michael Emmi michael-emmi

Amazon Web Services New York

@jmcrespo
jmcrespo
@jmrojas
José Miguel Rojas jmrojas

University of Sheffield Sheffield, United Kingdom