Micah
micahscopes
curious creative;
working on tools for learning, creative expression and play
Minneapolis
Mate Soos
msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security
Berlin, Germany
Mate Soos @ Argot
msooseth
Formal Verification Engineer at the Argot Collective (formerly employed by the Ethereum Foundation).
Personal account: @msoos
Argot Collective @argotorg Berlin, Germany
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
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Joel Yliluoma
bisqwit
The Bisqwit. Free software author. YouTuber. Founder of #TASVideos. ROM hacker. Coach drⅳer. Teacher of #IsraeliFolkDance. Speaker of Hebraic Roots apologetics.
Finland
Michele Invernizzi
invemichele
Computational Scientist - Intrinsically Disordered Proteins, AI for Science
@PeptoneLtd Switzerland
José Jiménez-Luna
josejimenezluna
Driving drug discovery one gradient update at a time.
@MicrosoftResearch Cambridge, UK
Ruunyox
Ruunyox
I investigate applications of machine learning to problems in computational biophysics.
Rice University Houston, TX
Eyal Rozenberg
eyalroz
Researcher-Developer, interested in GPU computing, and analytic DBMS architectures for deepy-integrated heterogeneous computing systems
GE Healthcare & Independent Haifa, Israel/Palestine
PreviousNext