DFKI - Serge Autexier

Having a background in Computer Science (Diploma (MSc) in 1996 and doctoral degree (Dr.-Ing.) in 2003 both from Saarland University), I was a member of the AG Siekmann from 1996 to 2008, first at Saarland University and from January 2002 as a member of the Deduction and Multiagentsystems Lab at DFKI. From April 2004 Christoph Benzmüller and I were leading the OMEGA group at Saarland University. In July 2008 I moved to the Cyber-Physical Systems (formerly Safe and Secure Cognitive Systems) group at the DFKI Site in Bremen. Since February 2014 im the Head of the 'Bremen Ambient Assisted Living Lab (BAALL).'

Interests

Ambient Assisted Living, Intelligent/Smart Environments (see BAALL)
Automated reasoning, especially inductive theorem proving, difference reduction techniques, proof-planning, abstractions, Logical Frameworks
Software engineering, especially formal methods, tools supporting the formal software development process
Change Management and Change Impact Analysis (Semantic, domain specific difference analysis and change impact analysis)

Current Projects

SMILE: Smart Environments als Kontext motivierender Lernangebote für Mädchen für einen wachsenden Anteil von Informatikerinnen durch Einbezug von Lehrkräften und Eltern (2017-2020, BMBF, "Erfolg mit MINT - Neue Chancen für Frauen")
CrowdHEALTH: Collective wisdom driving public health policies (2017-2020, EU, Horizon 2020, Call H2020-SC1-PM-18-2016, more information is coming soon)
ModESt: Walker-module for posture-recognition and fall-prevention (2017-2019, BMBF, KMU-Innovativ)
Selfie: Self-Verification of Electronic Systems (2016-2019, BMBF)

Systems and Tools

The SHIPTool: Implementation, Execution and Simulation Platform for Interactive Workflow Assistance and Monitoring Processes, developed in the SHIP project (also presented at Cebit 2013)
The Generic Change Management Framework GMoc for automatic semantic annotation, semantic difference analysis and semantic change impact analysis)
The Document and Tool Integration Platform DocTIP
The mathematical assistance system OMEGA
The development graph manager MAYA
The inductive theorem prover INKA 5.0

Services to the Scientific Community

PC member of the 3rd Global Conference on Artificial Intelligence (GCAI 2016), Miami, USA, 18-22 October 2017
Member of the organising committee of the Deduktionstreffen 2017 in connection with KI 2017, Dortmund, Germany, 25-26 September 2017
PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Vienna, Austria, 30 August-01 September 2017
PC member of the 6th Workshop on the Reliability of Intelligent Environments (WoRIE’17) in connection with 13th Conference on Intelligent Environments (IE'17) , Seoul, South-Korea, 21-25 August 2017
PC member of the Workshop on AI for Internet of Things in connection with IJCAI 2017, Melbourne, Australia, 19th August 2017
PC member of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017), Melbourne, Australia, 19-20 August 2017
PC member of the 9th International Conference on Knowledge Science, Engineering and Management (KSEM 2016), Passau, Germany, 05-07 October 2016
PC member of the 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany, 29 September-01 October 2016
Member of the organising committee of the Deduktionstreffen 2016 in connection with KI 2016, Klagenfurt, Austria, 26th September 2016
PC member of the 5th Workshop on the Reliability of Intelligent Environments (WoRIE’16) in connection with 12th Conference on Intelligent Environments (IE'16) , London, UK, 12-13 September 2016
PC member of the DChanges 2016 in connection with DocEng 2016, Vienna, Austria, 12th September 2016
PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Limassol, Cyprus, 31 August-02 September 2016
PC member of the International Conference on Intelligent Computer Mathematics (CICM'16), Bialystok, Poland, 25-29 July 2016
Co-chair & Co-organizer of the 12th Workshop on User Interfaces for Theorem Provers (UITP 2016) in connection with IJCAR 2016, Coimbra, Portugal, 02nd July 2016
PC member of the Zukunft Lebensräume Kongress, Frankfurt am Main, Germany, 20-21 April 2016
PC member of the 8th International Conference on Knowledge Science, Engineering and Management (KSEM 2015), Chongqing, China, 28-30 October 2015
PC member of the 3rd International Workshop Bringing Together Indoor and Outdoor Mobility Solutions in connection with AAL Forum 2015, Ghent, Belgium, 24th September 2015
PC member of the DChanges 2015 in connection with DocEng 2015, Lausanne, Switzerland, 08th September 2015
PC member of the Euromicro Conference on Digital System Design (DSD), ASHWPA Special Session Advanced Systems in Healthcare, Wellness and Personal Assistance, Funchal, Madeira, Portugal, 26-28 August 2015
Member of the organising committee of the Deduktionstreffen 2015 in connection with CADE 2015, Berlin, Germany, 02-03 August 2015
PC member of the International Conferences on Intelligent Computer Mathematics (CICM'15), Washington DC, USA, 13-17 July 2015
PC member of the IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo, Canada, 18-20 May 2015

Complete list

Publications, Talks, CV, & others

Publications (or else at DBLP, Google Scholar, CiteSeer)
Talks (incomplete)
Curiculum vitae
My PGP Public Key is available on request

Thesis Topics

Teaching

Course (2+2): Korrekte Software: Grundlagen und Methoden, Bremen University, Di 12-14 & Do 14-16 (SoSe 2017)
Student project: Student Bachelor Project "Dialog@Home", Raum 1.05, Cartesium, (WiSe 2016/2017 until SoSe 2017)
Course (2+2): Korrekte Software: Grundlagen und Methoden, Bremen University, Mo 16-18 & Do 14-16 in MZH 1460 (SoSe 2016)
Seminar: Interaktion in Intelligenten Umgebungen, Bremen University, (SoSe 2016)

Complete list