Edinburgh Research Explorer
Profile photo

Research Interests

Probabilistic Programming Languages. Machine Learning for Source Code. Software Verification and Synthesis.

ID: 59641674