Skip to main content

Pascal Kesseli

Personal photo - Pascal Kesseli

Pascal Kesseli

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

  • Software Synthesis
  • Automated Software Refactoring
  • Automated Verification

Departmental Teaching

  • Centre for Doctoral Training: Embedded Systems Programming, Michaelmas 2014-2016

Biography

Awards

  • SWEN Master Award for exceptional theses in Software Engineering 2011

Education

  • DPhil in Computer Science, Oct 2013 - today, University of Oxford
  • MSc in Information and Communication Technologies, Oct 2009 - Mar 2011, Hochschule für Technik Rapperswil
  • BSc in Computer Science, Oct 2006 - Oct 2009, Hochschule für Technik Rapperswil

Military Service

  • Transmission engineer, Aug 2006 - Oct 2006, Recruitment camp

Work experience

  • Head IT & Development, Jun 2012 - Aug 2013, Diction AG
  • Head Software Development, Mar 2011 - May 2012, BEO IT AG

Voluntary service

  • LEO service & charity club

Selected Publications

View AllManage publications

Activities

Supervisors