Search for "MaTu"

Verified Firewall Ruleset Verification
32 min

Verified Firewall Ruleset Verification

Math, Functional Programming, Theorem Proving, and an…

Policing the Romantic Crowd
38 min

Policing the Romantic Crowd

Velocipedes and Face Recognition

Besser leben für Geeks
52 min

Besser leben für Geeks

Richtig essen, richtig schlafen, und: lasst die Mate weg.

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math