Basic

Dr. Pascal Kesseli

Employee, Team Lead, Senior Researcher, Diffblue

Degree: DPhil, University of Oxford

Zug, Switzerland

Skills

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

Wants

Interests

Browse over 18 million XING members