Version 1.7 a new dawn
Speaker: Andres Erbsen
![Person_large](/congress/2014/Fahrplan/assets/person_large-a1dc981da5d1712bc762f3078f201174.png)
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 |