Research areas: Quantitative analysis and synthesis of computer program and systems, logic in computer science, machine learning and data science, software engineering, algorithms and computational complexity
Research areas: Automated program analysis and verification (termination, time complexity bounds, safety, equivalence), term rewriting, SAT and SMT solving (more generally, constraint solving), separation logic
Professor of Computer Science, Director of Birkbeck Knowledge Lab
Telephone: 020 3926 1250
Research areas: Computational models of learning and cognition, artificial neural networks and deep learning, evolutionary computing, learning technologies, bio-inspired machine learning, software engineering for AI and machine learning systems.
Research areas: Natural language processing, distributional semantics, digital humanities, computational social science, visualisation of linguistic data
Senior Lecturer, Deputy Director of Birkbeck Institute for Data Analytics
Telephone: 020 3926 1270
Research areas: The application of machine learning and big data technologies in security and defence, finance and the engineering industry (e.g., autonomous vehicle) as well as a range of theoretical and methodological problems.
Cookies are used to make this website work and to enhance your experience. To learn more about the types of cookies this website uses, see our Cookie Policy.
You can provide consent by clicking the "I Consent" button or by canceling this cookie notice.
Close
Cookies are small text files that are placed on your computer by websites that you visit.
The types of cookies we use are:
site cookie - this is set when you visit the site and deleted when you end your browsing session. It is used during your session to help the server work efficiently.
analytics cookies - these gather information concerning the way in which you use our web site.