International recognition for Southampton Electronics and Computer Science graduate
International recognition for Southampton Electronics and Computer Science graduate
A Southampton Electronics and Computer Science graduate has received international recognition for the quality of his BSc Computer Science project by being awarded first prize at a global conference.
Wojciech Rozowski, who graduated from his degree this summer, was awarded best undergraduate project in the ACM Student Research Competition at the International Conference on Functional Programming.
His third-year project Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus focused on building an executable interpreter for a programming language, which is formally proved to be correct. He presented a summary of his project findings to a panel of judges and attendees at the conference.
Wojciech says: ?I was truly happy to find out that I managed to make my academic debut a really good one. It was a great honour for me to have my work recognised at such a well-known conference in the programming languages theory community and I was impressed by the quality and depth of other student projects. The awards ceremony was definitely a highlight for me, as I got the chance to meet with Professor Jeremy Gibbons from Oxford University - one of the top researchers and contributors in my field.
""I decided to enter the competition to gain some practical experience in presenting my research and dealing with peer review. Winning was an amazing opportunity to have a debut in the research community of Programming Language Theory and network with top academics in my field before starting my PhD.""
The ACM Student Research Competition (SRC) offers a unique forum for undergraduate and graduate students to present their original research before a panel of judges and attendees at well-known ACM-sponsored and co-sponsored conferences.
Wojciech used a language called Agda for his project, which is both a programming language and a proof assistant that allowed him to prove mathematical theorems about the properties of the created code.
Since graduating from Southampton, he has taken up a PhD at University College London in the Programming Principles, Logic and Verification Research Group. He says his lecturers at Southampton made him fall in love with Theoretical Computer Science and Programming Language Theory and resulted in him pursuing a dissertation in this area.