Skip to content
View WilfredTA's full-sized avatar
191 followers · 177 following

Achievements

Achievement: YOLOAchievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Organizations

@layr-team @TokenEngineeringCommunity @EVM-SMT @AthenaFoundation

Block or report WilfredTA

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
@johnsonstephan
Stephan Johnson johnsonstephan

Dartmouth College New York City

@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

brooklyn

@LinJianan
JiananLin LinJianan
CS Master (PhD quit) in RPI, past undergraduate in Fudan University. WeChat: linjianan081

RPI Troy, NY, US

@WizardOfMenlo
Giacomo Fenzi WizardOfMenlo
PhD student in Cryptography at EPFL. Interested in proofs systems, zkSNARKs, and more!

EPFL Italy

@distributedstatemachine
distributedstatemachine
@nathanwhit
Nathan Whitaker nathanwhit
@MichaelBurge
Michael MichaelBurge

Portland, Oregon

@jjyr
jjy jjyr
stay hungry, stay tired

Internet

@blckngm
Yin Guanhao blckngm
@KaoImin
Eason Gao KaoImin
Contraria sunt complementa

@cryptape

@Flouse
Flouse Flouse
@chaoticlonghair
Chaotic Longhair chaoticlonghair
@base-org
Base base-org
Base is bringing the world onchain to create a global economy that increases innovation, creativity, and freedom. Built on the Superchain.
@alloy-rs
Alloy alloy-rs
Alloy implements high-performance, well-tested & documented libraries for interacting with Ethereum and other EVM-based chains.
@aori-io
Aori aori-io
Aori is a high-frequency intent based execution layer that settles natively to any chain.
@dcbuild3r
dcbuilder.eth dcbuild3r
Interested in ZK, AI/ML, Ethereum, L2 scaling, infrastructure, mathematics, and cool research papers.

Vitalik's masternode Ethereum

@axonweb3
AxonWeb3 axonweb3
@SwellNetwork
Swell SwellNetwork
A decentralised, non-custodial, liquid staking protocol
@bancorprotocol
Bancor bancorprotocol
Bancor is a decentralized liquidity protocol supporting automated token trading

Switzerland

@FrankieIsLost
frankie FrankieIsLost
Research @ Paradigm
@JoshLind
Josh Lind JoshLind
Founding Engineer at Aptos Labs.

Aptos Labs: @aptos-labs USA

@bmwill
Brandon Williams bmwill

@MystenLabs Irvine, CA

@msooseth
Mate Soos @ Ethereum Foundation msooseth
Formal Verification Engineer at Ethereum Foundation. Personal account: @msoos

Ethereum Foundation Berlin, Germany

@axic
Alex Beregszaszi axic
Works on decentralised stuff. eipnft:axic.eth

@ethereum @ipsilon @spearbit @ethereumjs Dublin, Ireland

@wkolowski
Wojciech Kołowski wkolowski
@AlexandreBelling
AlexandreBelling
@ZeframLou
boredGenius ZeframLou
@EspressoSystems
Espresso EspressoSystems
@TheAlphamerc
Sonu Sharma TheAlphamerc
Tech enthusiast | Building solutions | Team player | Looking for new opportunities

@orgnise New Delhi, India

@0xKitsune
0xKitsune
@plotchy
plotchy plotchy
@vlidholt
Viktor Lidholt vlidholt
I’m Viktor, an entrepreneur, software engineer, team leader, designer, and lecturer with Silicon Valley experience from Google and Zynga.

Serverpod Stockholm

@mwhicks1
Michael Hicks mwhicks1
Michael Hicks is a Senior Principal Applied Scientist at Amazon Web Services and an Emeritus Professor at the University of Maryland

Arlington, VA, USA

@vitorenesduarte
Vitor Enes vitorenesduarte
Software Engineer @getditto. CRDTs. Consensus. Formal Methods. Rust. Music.
@leonardoalt
Leo leonardoalt

@powdr-labs

@zhenfeizhang
zhenfei zhenfeizhang
cryptographer, blockchain engineer, rustacean.
@smlnj
Standard ML of New Jersey smlnj
@anishnaik
anishnaik anishnaik
security engineer @trailofbits

Trail of Bits New York City

@iamalwaysuncomfortable
Mike Turner iamalwaysuncomfortable
AB(u)C: Always be uncomfortable
@lazear
Michael Lazear lazear
I like big data and I cannot lie

Belharra Therapeutics

@brentshierk
brentshierk
@andy8052
andy8052 andy8052
Solidity Dev
@w1nt3r-eth
w1nt3r-eth
@vbuterin
vbuterin
@yatima-inc
Yatima Inc. yatima-inc
Lambda For All
@spacejam
Tyler Neely spacejam
reliable stateful systems at scale

Pinecone Berlin

@komora-io
Komora komora-io
@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

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.

Portland State University Portland, OR

@Veridise
Veridise Veridise
Hardening Blockchain Security with Formal Methods