leanprover-community
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@aruba The edge of knowing
Dhyey Mavani
DhyeyMavani2003
CS, Math & Stats @AmherstCollege | Ex AI/ML SWE intern @linkedin, @aws | President @ACquantclub | Founding Head of Engineering @ac-i2i-engineering
@AmherstCollege @acdmammoths @aws @linkedin @minerva-ed Amherst, MA, USA
Ítalo Oliveira
italojsoliveira
A former lawyer who has turned into a computer scientist | Conceptual Modeling, Ontology Engineering, Enterprise Modeling, Risk Management & Cybersecurity
University of Twente Enschede, Netherlands
Jelly Terra
jellyterra
HACKING FOR FUN! 18yr old.
Passionate about CS, EE, CSE and automation!
Learning to build a compiler.
Also design circuits in SpinalHDL.
Rizhao Experimental Senior High School Shandong, China
Nuno Edgar Nunes Fernandes
NunoEdgarSciEngFirst
Science & Technology. Sustainability and responsible action. Development of technological activities.
Portugal
PreviousNext