-
09:23
(UTC +02:00) - https://rcoeurjoly.github.io
- https://www.admonymous.co/rcl
Robert Parker Ellwanger
RParkerE
“Study hard what interests you the most in the most undisciplined, irreverent, and original manner possible.”—Richard Feynman
Austin, TX
Antmicro
antmicro
Antmicro is a software-driven tech company developing open and modern industrial edge and cloud AI systems.
Neel Somani
neelsomani
Formal methods & ML. Previously: Eclipse, Citadel, UC Berkeley
San Francisco, CA
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