Speaker Profile
Der Hub wird spätestens Ende Januar archiviert, alle nutzerbezogenen Inhalte, Boards und auch einige Wiki-Seiten werden dabei entfernt. Alle öffentlichen Assemblies, Projekte und Veranstaltungen bleiben. // The hub will be archived by end of January. All user-provided content, boards and several wiki pages will be deleted. All public assemblies, projects and events will remain.
Jade
I live in Berlin and write cryptography and proofs (sometimes at the same time). I'm interested in most things to do with formal methods, applied cryptography, and the hardware/software interface. I also have a website with more details.
Events
-
22:05Day 2