Wojciech Różowski

Registered user since Wed 4 Aug 2021

Name:Wojciech Różowski
Bio:

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.

Country:United Kingdom
Affiliation:University of Southampton
Research interests:Programming Languages, Verification

Contributions

ICFP 2021 Author of Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus within the Student Research Competition-track