Swen Jacobs

Ecole Polytechnique Fédérale de Lausanne Building BC, Room 358 Station 14 CH-1015 Lausanne Switzerland

Email: swen.jacobs@epfl.ch Phone: +41 21 69 31224 Fax: +41 21 69 36660

About me:

Since February 2010, I am a postdoctoral researcher in the LARA group at EPFL Lausanne.

Curriculum Vitae

Research Interests:

• Decision Procedures: Development, Combination, Application
• Verification and Synthesis of Distributed/Parameterized Systems
• Hierarchical Reasoning: Local Extensions of (decidable) Theories
• Instantiation-based Theorem Proving

Research Statement (2010) as a Wordle Cloud:

Teaching:

• Seminar on Automated Reasoning, Fall 2010

Software:

• iLoRe (implementation of local reasoning with Z3 as SMT backend)

Selected Publications:

• Swen Jacobs and Roderick Bloem,
  Parameterized Synthesis,
  in TACAS 2012, to appear.


• Bernd Finkbeiner and Swen Jacobs,
  Lazy Synthesis,
  in VMCAI 2012, LNCS 7148, pages 219-234, 2012.


• Swen Jacobs and Viktor Kuncak,
  Towards Complete Reasoning about Axiomatic Specifications,
  in VMCAI 2011, LNCS 6538, pages 278-293, 2011.
  Extended Version as EPFL Technical Report, 2010.


• Johannes Faber, Carsten Ihlemann, Swen Jacobs and Viorica Sofronie-Stokkermans,
  Automatic Verification of Parametric Specifications with Complex Topologies,
  in IFM 2010, LNCS 6396, pages 152-167, 2010.
  Extended Version as AVACS Technical Report, 2010.


• Swen Jacobs,
  Hierarchic Decision Procedures for Verification,
  PhD Thesis, Saarland University, 2010.
  Thesis advisor: Viorica Sofronie-Stokkermans


• Swen Jacobs,
  Incremental Instance Generation in Local Reasoning,
  in CAV 2009, LNCS 5643, pages 368-382, 2009.


• Carsten Ihlemann, Swen Jacobs and Viorica Sofronie-Stokkermans,
  On Local Reasoning in Verification
  in TACAS 2008, LNCS 4963, pages 265-281, 2008.


• Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz,
  Exact State Set Representation in the Verification of Linear Hybrid Systems with Large Discrete State Space
  in ATVA 2007, LNCS 4762, pages 425-440, 2007.


• Johannes Faber, Swen Jacobs and Viorica Sofronie-Stokkermans,
  Verifying CSP-OZ-DC specifications with complex data types and timing parameters
  in IFM 2007, LNCS 4591, pages 233-252, 2007.


• Swen Jacobs and Viorica Sofronie-Stokkermans,
  Applications of Hierarchical Reasoning in the Verification of Complex Systems
  in ENTCS 174/8 (Special issue dedicated to PDPAR'06), pages 39-54, 2007.


• Swen Jacobs and Uwe Waldmann,
  Comparing Instance Generation Methods for Automated Reasoning
  in JAR 38, pages 57-78, 2007.

Employment:

Since Feb 2010:	Postdoctoral researcher in the LARA group at EPFL
Nov 2004-Jan 2010:	Researcher in the Programming Logics and Automation of Logic groups at the Max-Planck-Institute for Informatics

Education:

Nov 2004 - Jan 2010:	Saarland University, Germany Dr.-Ing. (Ph.D.) in Computer Science Thesis: Hierarchic Decision Procedures for Verification Thesis advisor: Viorica Sofronie-Stokkermans
Oct 1999 - Oct 2004:	Saarland University, Germany Diplom (M.Sc.) in Computer Science Thesis: Instance Generation Methods for Automated Reasoning Thesis advisors: Harald Ganzinger and Uwe Waldmann