About Dennis
Postdoc in Verified Systems at TUM 🇩🇪. Previously PhD on Binary Translation (PL/FM) at TU Delft 🇳🇱. Machine code (super)optimization & synthesis, dependent types. Also voxels.
Lists
dennis has no public lists
Timeline
dennis has no activity yet