Pascal Kesseli
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
-
Automated formal synthesis of provably safe digital controllers for continuous plants
Alessandro Abate‚ Iury Bessa‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In Acta Informatica. December, 2019.
Details about Automated formal synthesis of provably safe digital controllers for continuous plants | BibTeX data for Automated formal synthesis of provably safe digital controllers for continuous plants | DOI (10.1007/s00236-019-00359-1)
-
Program Synthesis for Program Analysis
Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Matt Lewis
In ACM Transactions on Programming Languages and Systems. Vol. 40. Pages 1−45. 2018.
Details about Program Synthesis for Program Analysis | BibTeX data for Program Synthesis for Program Analysis
-
Counterexample Guided Inductive Synthesis Modulo Theories
Alessandro Abate‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In Hana Chockler and Georg Weissenbacher, editors, Computer Aided Verification. Pages 270–288. Cham. 2018. Springer International Publishing.
Details about Counterexample Guided Inductive Synthesis Modulo Theories | BibTeX data for Counterexample Guided Inductive Synthesis Modulo Theories