Sofia Bobadilla
sofiabobadilla
PhD student at The Royal Institute of Technology (KTH), Stockholm, Sweden
KTH Kungliga Tekniska hรถgskolan, Sweden Stockholm, Sweden
Ibrahim Ghonem
Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog
Sky limit Egypt
Ilya Baryshnikov
zlonast
Lover of formal specifications โข Compiler developer โข Linker enjoyer
Alejandro Hernรกndez Cerezo
alexcere
Assistant Professor in CS at Complutense University of Madrid.
Working with @costa-group on tools for analysis and optimization of Ethereum smart contracts
Complutense University of Madrid Madrid, Spain
Zhiyang Chen
jeffchen006
CS PhD Student at University of Toronto;
Research Engineer at Zircuit
Michael Sproul
michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.
@sigp Sydney, Australia
Hexzilla
Hexzilla
Typescript, React, NextJS, Angular, NodeJS, Express, Python, Java, Spring Boot, ASP.NET, AWS SAM, Lambda, RDS, DynamoDB, Smart Contract, Solidity, Rust
Guillaume Claret
clarus
Security researcher at @formal-land ๐ฒ for Web3 applications
Applying the ๐ proof system to find all the vulnerabilities.
๐ปโโ๏ธ
Formal Land Paris
Justice Orogun
Justice-Orogun
Software and Blockchain Engineer || Tech Advocate || Tech Content Creator
||
NOTE:
Most projects are either private or on Non-Disclosure Agreement.
Thanks
TYG Energy Systems Online
sudo rm -rf --no-preserve-root /
pcaversaccio
๐๐จ๐ซ๐ค๐ข๐ง๐ ๐จ๐ง ๐ฐ๐ก๐๐ญ'๐ฌ ๐ง๐๐ฑ๐ญ.
w021d
PreviousNext