Dr. Pascal Kesseli

Leitung des Software Synthesis Teams, Forschung und Entwicklung im Bereich SAT/SMT-Solver, Heuristiken, formale Verifikation und Programmsynthese.

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

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

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

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.

Erweiterung des Netzwerksimulators ns-3 um VoIP-Protokolle für aufkommende 3GPP-Simulationen. Implementierung VoIP-Protokolle (vorw. RTP) in C++

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

Entwicklung eines Erfassungs und Analyse-System für automatisiert Lager. Einsatz einer JEE Hibernate-basierten Datenbank zur Evaluierung und Darstellung von Grosslagern.

Software Verification

Softwareentwicklung Mobilkommunikation

Softwareentwicklung Mobilkommunikation