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

Students of Imperial College London contributing to make a difference.

Ali Ghoroghi

Andrew V. Jones

Casper da Costa-Luis

Călin-Rareș Turliuc

Daniel Liew

Doniyor Ulmasov

Eric Seckler

Ethel Bardsley

Eva Graversen

Evangelos Motesnitsalis

Fahdi Kanavati

Fergus Leahy

Florian Rathgeber

George Barnett

Hugh Salimbeni

Jacek Zienkiewicz

Juliana Franco

Kristijonas Cyras

Kyriacos Nikiforou

Luo Mai

Marcel Christoph Guenther

Marily Nika

Marta Garnelo

Martin Ingram

Mengjiao Wang

Nicholas Ng

Oana Cocarascu

Pamela Bezerra

Pedro Martinez Mediano

Petr Hosek

Roman Kolcun

Rumyana Neykova

Shale Xiong

Simon Olofsson

Tiberiu Chis

Zafeirios Fountas

Zhongliu Xie