Lecturer in Computer Science
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 [@/#]
Quantitative Analysis and Synthesis of Computer Program and Systems
Machine Learning and Data Science in general
Algorithms and Computational Complexity, or mathematics broadly related to Computer Science
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.
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.
BBK ITS, My Birkbeck, BSIS, Webmail, BBK Intranet, BBK Library(Elib, eResources, browzine, Math, CS, Springer, LNCS, ACM, IEEE, ScienceDirect), Summon(MDX)