Oana Cocarascu Chair

3rd year PhD student working at the intersection of Natural Language Processing & Machine Learning on Argument Mining and symbolic, argumentative reasoning.

Pamela Bezerra Vice Chair

Hi, my name is Pamela and I'm a PhD student at Imperial. My background is in computer engineering and I'm currently working with IoT and wireless sensor networks. My research interests are sensors, communication protocol, energy optimization, SmartCities and IoT.

Mengjiao Wang Treasurer

I am a second year PhD student at Imperial College London. My research is in Computer Vision and Machine Learning. My particular research focus is 3D reconstruction of human faces from images/videos.

Simon Olofsson Secretary

Simon received an M.Sc.Eng. degree from Uppsala University, Sweden, before starting his PhD at Imperial College London in 2016, under the supervision of Dr Ruth Misener and Dr Marc Deisenroth. His research interest lies at the interface between optimisation and statistical machine learning.

Eva Graversen Membership Chair

I am a PhD student working on reversible event structures under the supervision of Dr. Iain Phillips and Prof. Nobuko Yoshida. I received my bachelor and masters degree in computing from Aalborg University and joined Imperial in 2016. My main interests include semantics, logics, reversibility, and types.

Shale Xiong Webmaster

He is a PhD student since Oct. 2015, in the Program Specification and Verification Group supervised by Prof. Philippa GARDNER. He is interested in verification of concurrent programs and distributed system. He received MSc. in Advanced Computing from Imperial College London in 2015, and BEng. in Software Engineering from Southwest Jiaotong University, China in 2014.

Alastair F. Donaldson Faculty Sponsor

Ally has worked at Imperial College London since 2011 and is now a Senior Lecturer and EPSRC Early Career Fellow. His research interests are in Programming Languages, with a special interest in software correctness and optimization, and he leads the Multicore Programming Group. He has published more than 70 peer-reviewed papers in formal verification, multicore programming and software testing, and his group have developed tools such as GPUVerify, for automated verification of GPU kernels, and CLsmith, for random testing of many-core compilers. He coordinated the FP7 project CARP: Correct and Efficient Accelerator Programming, which completed successfully in 2015. Before joining Imperial, Ally was a Visiting Researcher at Microsoft Research Redmond, an EPSRC Postdoctoral Research Fellow at the University of Oxford and a Research Engineer at Codeplay Software Ltd. He holds a BSc and PhD from the University of Glasgow.

Members of the chapter

Those who contribute to the chapter to make a difference.