Registered user since Wed 4 Aug 2021
Graduate of BSc Computer Science at the University of Southampton, interested in Programming Language Theory and Verification. From September, I will be a PhD student at UCL supervised by Prof. Alexandra Silva. Currently interning at Goldman Sachs in London and previously worked at Software and Large Scale Systems Research Group at ARM in Cambridge.
|ICFP 2021||Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus|
|Show activities from other conferences|
View general profile