Research Interests

Kurt is working on verification of sDDF components under weak memory models. He is interested in formal verification and parallel computing.

More contact information is available at the Contact page.