Version 1.7 a new dawn

Speaker: Andres Erbsen

Person_large

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: