Version 1.7 a new dawn
Speaker: Andres Erbsen
Programmer, free software and open source enthusiast, Computer Science and Electrical Engineering student at MIT. Interested in formal verification and usable high-assurance systems. "If it has not been called impossible, it is not worth doing".
Contact
E-Mail:
Events in this conference
 |
Now I sprinkle thee with crypto dust |