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:

·         Formal Verification and Synthesis of Programs and Systems, or more broadly, Software Engineering and Logic in Computer Science

·         Machine Learning and Data Science in general

·         Algorithms and Computational Complexity, or Mathematics broadly related to Computer Science

Publication, DBLP entry

PhD Projects

I'm interested in supervising PhD projects broadly related to my research interests. Please contact me.

Teaching & Admin

Current modules (2018-2019):

·         Software Engineering I (SEI), Online material

·         Systems Analysis and Design I (SADI), Online material

Office hours: By appointment.

Links: Moodle

I am the programme director of BSc Data Science, please consider applying!

In previous academic years, I was an Admission Tutor for MSc Computer Science and MSc Data Science programmes. 

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 BirkbeckBSISWebmail, BBK Intranet, BBK Library(Elib, eResources, browzine, Math, CS, Springer, LNCS, ACM, IEEE, ScienceDirect)