Current Position

• 2011 - present: Senior University Lecturer
  University of Cambridge Computer Laboratory (UK)

Previous Positions and Employment

• 2002 - 2012: EPSRC Advanced Research Fellow
  University of Cambridge Computer Laboratory (UK)
  Project: Automating Informal Human Mathematical Reasoning
• 2003 - 2011: University Lecturer
  University of Cambridge Computer Laboratory (UK)
• Apr. 2010 - Apr. 2011, Mar. 2006 - Mar. 2007, Jul. 2002 - May 2003: On maternity leaves
• Mar. 2002: Guest Researcher
  University of Saarland, Saarbruecken (Germany). Collaborative Research Center "Resource-adaptive Cognitive Processes" (SFB 378), Prof. Joerg Siekmann's OMEGA group
• 1998 - 2002: Research Fellow
  University of Birmingham School of Computer Science (UK)
  EPSRC Grant GR/M22031: Formation of Methods for Proof Planning in Mathematics
  Principal grant holder: Dr. Manfred Kerber

Education

• 1995 - 1998: PhD in Artificial Intelligence
  University of Edinburgh (UK), Mathematical Reasoning Group
  Project: Automating Diagrammatic Proofs of Arithmetic Arguments
  Supervisors: Prof. Alan Bundy, Dr. Ian Green
• 1994 - 1995: Postgraduate Diploma in Computer Science
  University of Cambridge (UK), Computer Laboratory, Wolfson College
  Thesis: Hypertext Browsing of Mathematical Theories
  Supervisor: Prof. Larry Paulson
• 1991 - 1994: Joint Honours Bachelor of Science in Mathematics and Computer Studies
  Trent University (Canada)
• 1989 - 1991: I.B. - International Baccalaureate
  United World College of the Adriatic (Italy)

Languages

Slovenian, Croatian, English, Italian, German