Dominik Wagner

Dominik Wagner

Doctoral Student

Student, Magdalen College

Leaving date: 20th February 2024

Themes:

• Programming Languages
• Automated Verification
• Quantum

See Also:

• Personal home page

Interests

I am broadly interested in the semantics of programming languages and logic.

More information about me can be found here.

Activities

• Differentiable and Probabilistic Programming

Supervisors