Dr. Pascal Kesseli
Employee, Team Lead, Senior Researcher, Diffblue
Degree: DPhil, University of Oxford
Zug, Switzerland
Timeline
Professional experience for Pascal Kesseli
Current , since Jul 2016
Team Lead, Senior Researcher
Diffblue
Leitung des Software Synthesis Teams, Forschung und Entwicklung im Bereich SAT/SMT-Solver, Heuristiken, formale Verifikation und Programmsynthese.
1 year and 3 months, Jun 2012 - Aug 2013
Leiter Informatik und Entwicklung
Diction AG
Entwicklung von Customized Software und Plug-Ins zur Prozessoptimierung, Erstellen von JSF/PrimeFaces-basierten Webapplikationen für externe Kunden, Domänen-Administration in interner W2k8r2-Umgebung
1 year and 4 months, Mar 2011 - Jun 2012
Leiter Software-Entwicklung
BEO IT AG
Vorgesetzter von 2 Software-Entwicklern, Verantwortlich für Wartbarkeit und Schnittstellen-Umfang gegenüber Partner-Firmen, Zusammenführung unterschiedlicher Technologien zu einer Hybrid-Applikation (Java Enterprise Edition über gSOAP zu Embedded C++), Entwicklung von Smart Metering Optimierungs-Algorithmen für Energiespar-Schaltungen
1 year and 6 months, Oct 2009 - Mar 2011
Softwareingenieur
BEO IT AG
Entwicklung vollständiger Smart Metering Umgebung mithilfe von Embedded-Komponenten. Finale Version bestehend aus C++ Auslese- und Speichersystem, Java-Visualisierung und SOAP-Schnittstelle zur Kommunikation zwischen den Komponenten. Eingesetzte Technologien: C++ mit Boost und gSOAP, JEE mit Spring IOC und AOP
6 months, Sep 2010 - Feb 2011
Student/Praktikant
Hochschule für Technik Rapperswil
Entwicklung von Tree-Pattern Matching Algorithmen zur Analyse von C++ Schleifen und deren Äquivalenz zu STL Algorithmen. Transformation von äquivalenten Loops zu STL Funktionsaufrufen. Automatische Transformation von Loop-Bodies zu Lambda-Funktoren sowie STL- und TR1-Funktoren unter Verwendung von Argument Binding. Implementierung als Eclipse CDT Plug-In.
8 months, Mar 2009 - Oct 2009
Student/Praktikant
Hochschule für Technik Rapperswil
Erweiterung des Netzwerksimulators ns-3 um VoIP-Protokolle für aufkommende 3GPP-Simulationen. Implementierung VoIP-Protokolle (vorw. RTP) in C++
3 years and 1 month, Oct 2006 - Oct 2009
Softwareentwickler
Elektrizitätswerk Buchs
Ausarbeitung einer umfassenden Zähler-Fernauslesung für das Elektrizitätswerk unter Einsatz von Embedded Computing-Komponenten. Entwicklung in C++, Visualisierung über PHP Behandlete ZFA-Protokolle: IEC-62056-21, M-Bus
6 months, Oct 2008 - Mar 2009
Praktikant mit Projektverantwortung
Stöcklin
Entwicklung eines Erfassungs und Analyse-System für automatisiert Lager. Einsatz einer JEE Hibernate-basierten Datenbank zur Evaluierung und Darstellung von Grosslagern.
Educational background for Pascal Kesseli
3 years and 9 months, Oct 2013 - Jun 2017
Computer Science
University of Oxford
Software Verification
1 year and 6 months, Oct 2009 - Mar 2011
Informations- und Kommunikationstechnologien
Hochschule für Technik Rapperswil
Softwareentwicklung Mobilkommunikation
3 years and 1 month, Oct 2006 - Oct 2009
Informatik
Hochschule für Technik Rapperswil
Softwareentwicklung Mobilkommunikation
Languages
German
First language
French
Intermediate
English
Fluent