International Recognition for Southampton Electronics and Computer Graduate | Electronics and IT
Posted: January 5, 2022
International recognition for the Southampton Electronics and Computer Graduate
An electronics and computer science graduate from Southampton received international recognition for the quality of his computer science bachelor’s project by winning first prize at a global conference.
Wojciech Rozowski, who graduated this summer, received the award for best undergraduate project in the ACM Student Research Competition to International Conference on Functional Programming.
His third year project Formally verified derivation of an executable CEK machine ending from the λp̂-call calculation by value focused on building an executable interpreter for a programming language, which turned out to be formally correct. He presented a summary of the conclusions of his project to a panel of judges and conference participants.
Wojciech says: “I was really happy to learn that I had managed to make my university debut very good. It was a great honor for me to see my work recognized at such a well-known conference in the programming language theory community and I was impressed with the quality and depth of the other student projects. The awards ceremony was certainly a highlight for me, as I had the chance to meet Professor Jeremy Gibbons from the University of Oxford – one of the best researchers and contributors in my field.
“” I decided to enter the competition to gain some practical experience in presenting my research and managing peer review. Winning was an amazing opportunity to get started in the programming language theory research community and network with top academics in my field before starting my PhD. “”
The ACM Student Research Competition (SRC) provides a unique forum for undergraduate and graduate students to present their original research in front of a panel of judges and attendees at well-known conferences sponsored and co-sponsored by the ACM.
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 on the properties of created code.
Since graduating from Southampton, he has completed a PhD at University College London in the Principles of Programming, Logic and Verification research group. He says his professors at Southampton made him fall in love with theoretical computer science and the theory of programming languages and led him to pursue a thesis in this area.