Dominik Wagner

Dominik Wagner

Doctoral Student

Student, Magdalen College

Wolfson Building, Parks Road, Oxford OX1 3QD

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