skip to content

Department of Computer Science and Technology


women@CL Committee

Mateja Jamnik - Founder of women@CL

Mateja Jamnik has been a University Senior Lecturer at the Computer Laboratory since 2002. From 2002 till 2012 she also held the EPSRC Advanced Research Fellowship "Automating Informal Human Mathematical Reasoning". She is interested in exploring how people solve mathematical problems. Mateja computationally models this type of reasoning on computers to enable machines to reason in a similar way to humans. In particular, her research aims to investigate and mechanise some of "informal" human mathematical reasoning, such as the use of diagrams in proofs of mathematical theorems, and integrate it with classical formal techniques, like logics. Broadly, Mateja's research is in, or is related to, the areas of artificial intelligence, automated reasoning, diagrammatic reasoning, theorem proving, cognitive science, machine learning, human-computer interaction, knowledge representation. She is married and has three children.

Contact: mj201 at
Mateja's profile

Simone Teufel - Academic Advisor of  women@CL

Simone is a Reader in the Natural Language and Information Processing (NLIP) Group at the Computer Lab. Her research interests lie in summarisation, discourse processing, corpus linguistics and computational linguistics. She is the academic director of women@CL. Simone received her first degree in Computer Science (Diplom-Informatik), from Stuttgart University in 1996, where she co-designed the STTS tagset, and a PhD in Cognitive Science from the University of Edinburgh in 2000. In the PhD, she started working on discourse structure and summarization. She held research jobs at IMS Stuttgart (EAGLES project), Xerox Europe in Grenoble (nominalisation acquisition), and a postdoc at Columbia University (medical information retrieval). In 2001, she joined the Computer Laboratory as a lecturer, and has been a reader since 2010. She has taught courses in information retrieval, introduction to computational linguistics, XML technology, lexical semantics and discourse. Most of her funded research involves text understanding or text mining and search from scientific articles, etc.

Contact: sht25 at
Simone's profile

Noa Zilberman, Academic Advisor of women@CL

Noa Zilberman is a Leverhulme Early Career Fellow in the Systems Research Group, University of Cambridge' Computer Laboratory. In her last roles before joining the Systems Research Group, she was a senior principal chip architect in Broadcom's Network Switching group and a researcher in the DIMES project (Tel-Aviv University). Zilberman is leading the project "Systems for Big Data Applications: Revolutionising Personal Computing".
Contact: nz247 at
Noa's profile



Current Academic Members


Ann Copestake - Professor

I'm a Professor of Computational Linguistics Head of Department Department of Computer Science and Technology. My research is in computational linguistics: I work on formalising and implementing various aspects of human languages. People often think of computational linguistics as a `soft' subject, but this is far from true - developing systems that can process real language at reasonable speed means thinking hard aboutalgorithm design and coding. Programming is a means to an end, but it's also something I enjoy. At its best, it's a form of puzzle-solving which leads to practically useful results. What really attracts me to computational linguistics is its breadth. I've collaborated with people with backgrounds in several different disciplines including linguistics, mathematics, philosophy and psychology.
Ann's profile