Taolue Chen


Lecturer in Computer Science

Department of Computer Science and Information Systems,

Birkbeck, University of London

Visitor's address: Room 268 at Main Building of Birkbeck, Malet Street, London WC1E 7HX, UK

Tel:  +44 (0)20 7631 6622

Email: taolue#dcs.bbk.ac.uk; taolue.chen#gmail.com [@/#] 


Research Interests:

Publication, DBLP entryFunding, Professional Activities 

PhD Projects

I'm interested in supervising PhD projects broadly related to my research interests. For candidates from China, please also refer to China Scholarship Council for funding opportunities.


Current modules (2017-2018): Practical Software Engineering  

Office hours: By appointment.

Links: Moodle, Slides

About me

I am currently a Lecturer at Department of Computer Science and Information Systems, Birkbeck, University of London. I am a member of the Algorithms, Verification and Software Research Group. From 2013-2017, I was a (Senior) Lecturer at Middlesex University London, Department of Computer Science. I remain to be an external member of the Foundations of Computing research group and the Middlesex Applied Software Engineering research group. From 2011 to 2013, I was a research assistant (postdoctoral researcher) at University of Oxford, Department of Computer Science (previously known as the Computing Laboratory), Quantitative Analysis and Verification Group (QAV), which is a part of the Automated Verification research theme. From 2009 to 2010, I was a postdoctoral researcher at the Faculty of Electrical Engineering, Mathematics, and Computer Science, Chair Formal Methods and Tools and Chair Design and Analysis of Communication Systems of the University of Twente in Enschede, The Netherlands. From 2005 to 2009, I did the Phd study at Centrum voor Wiskunde en Informatica (CWI) in Amsterdam, The Netherlands. I acquired the doctorate from Vrije Universiteit Amsterdam (see here for my thesis and defence). I also hold bachelor and master degrees, both in Computer Science, from Nanjing University, China.

Useful links

BBK ITSMy Birkbeck BSISWebmail, BBK Intranet, BBK Library(Elib, eResources, browzine, Math, CS, Springer, LNCS, ACM, IEEE, ScienceDirect), Summon(MDX)