Dependable Systems Group

PostDoc / PhD student vacancies

Feb 03, 2016

We offer positions for PostDocs and/or PhD students in the area of software verification. We are looking for candidates with (at least) a Master degree in computer science, that are committed to projects of putting foundational concepts of computer science and logics into practical use for analyzing software. You find the job posting here.

Florin Manea Chairs SC of CiE

Sep 26, 2016

Florin Manea has been appointed as the chair of the steering committee of the Computability in Europe (CiE) conference series. By that, he also became a member of the board of the European Association for Computer Science Logic (EACSL).

New Team Members

Sep 13, 2016

We welcome Dr. Danny Poulsen, Joel Day (both since August 2016), and Kamellia Reshadi (since June 2016) as new members in our group. Danny works in the area of formal verification of hybrid systems. Joel and Kamellia work in the area of word combinatorics.

Dirk Nowotka Editor IJFCS

Sep 12, 2016

Dirk Nowotka has become a member of the editorial board of the journal International Journal of Foundations of Computer Science (IJFCS).

HPSV project kicked off

Feb 04, 2016

The BMBF project HPSV (Highly Parallel Software Verification of Concurrent Applications in the Automotive Industry) started today. Together with the Zuse Institute Berlin (A. Reinefeld), the group Programming Languages and Compiler Construction of the Kiel University, and the industrial partners Model Engineering Solutions and Symtavision, we work on the solution of demanding verification tasks with techniques from the high performance computing domain. Our group Dependable Systems serves as the project leader.

PhD Johannes Traub

Dec 21, 2015

Today, Johannes Traub has successfully defended his PhD thesis "Formal Verification of Concurrent Embedded Software". The external opponent has been Martin Leucker, University of Lübeck. Congratulations!

Dr. Markus Schmid Visiting

Oct 15, 2015

Markus Schmid, University of Trier, Germany, will be our guest throughout October 2015. He will work with us on questions of combinatorics on words, in particular word equations.

WORDS 2015 Closes Doors

Oct 15, 2015

The WORDS 2015 conference ended today. 46 scientists from 11 countries came to Kiel to discuss algorithmic and combinatorial questions about sequences and present their latest findings. We would like to thank all people involved for this very interesting and productive meeting!

Moreover, Dirk Nowotka has been elected as a member of the steering committee of WORDS. The next WORDS conference will take place in Montreal, Canada, in 2017.

WORDS 2015 @ CAU

WORDS 2015

The WORDS 2015 conference is organized by our group September 14 - 17, 2015.

Further information is available here, and you can register here.

ITEA ASSUME Project Kicked off

Oct 15, 2015

The ITEA project "Affordable Safe & Secure Mobility Evolution" (ASSUME) started today. We will work on the static code analysis of embedded multi core systems together with academic and industrial partners from Germany, France, the Netherlands, Sweden, and Turkey within the next three years. With that we aim at making transportation systems more reliable and safe.

Guest Dr. Aleksi Saarela

Mar 22, 2015

Aleksi Saarela, University of Turku, Finland, is a guest at our group from February to April 2015. During this period he will work together with us on questions of combinatorics on words, in particular word equations.

Guest Marius Dumitran

Mar 22, 2015

Marius Dumitran, PhD student from the University of Bucharest, Romania, is a guest at our group from February to April 2015. During this period he will work together with us on algorithmic and combinatorics on words.

Mercator Fellow James Currie @ ZS

Jan 12, 2015

James Currie, Winnipeg, Kanada, is a guest at the Dependable Systems group from January until June 2015. His stay is funded by the DFG within the Mercator program. He investigates phenomena of (un-) avoidable patterns in sequences and will contribute to our research in the area of combinatorics on words.

Mike Müller defended his PhD thesis

Nov 28, 2014

Today Mike Müller has successfully defended his PhD thesis "Avoiding and Enforcing Repetitive Structures in Words". The external opponent has been Narad Rampersad, University of Winnipeg, Canada. Mike is the first person receiving a doctorate degree in our group. Congratulations! 

Guest Stepan Holub

Nov 17, 2014

Stepan Holub, Charles University Prague, Czech Republik, has been a guest at out group from November 17 until 21. He investigates problems from the area of combinatorics on words with us.

IT-Award @ Ideenwettbewerb

Nov 12, 2014

The IT-Award  at the Ideenwettbewerb Schleswig-Holstein (Ideas Contest) was given to our group this year. Thorsten Ehlers and Philipp Sieweck have developed a tool to automatically detect race conditions in concurrent embedded code. Race conditions belong to a class of software errors that are particularly hard to detect by traditional methods of software quality assurance. Together with Julian Göller, a student of business administration, and the academic mentoring of Dirk Nowotka, they aim to spin-off the idea.

 Photograph: Claudia Becker, WTSH GmbH

WORDS 2015 online

Aug 11, 2014

The WORDS 2015 conference webpage is online from now on!

DAAD P.R.I.M.E. Grant

Aug 11, 2014

Dr. Robert Mercas has received a DAAD P.R.I.M.E. grant for 18 months, where he will spend 12 months of which at the King's College London, UK, and 6 months at the CAU in Kiel. The acceptance rate for this grant is 10%.

Vice Dean Election

Aug 11, 2014

Dirk Nowotka has been elected as Vice Dean (Prodekan) of the Faculty of Engineering for two years.

"Combinatorics and Algorithmics of Strings" @ Dagstuhl

Mar 17, 2014

The latest in a series of dedicated workshops on combinatorics on words took place at the Leibniz Institute for Computer Science, Schloss Dagstuhl, Germany, from March 9 until 14, 2014. About 45 scientists from Europe, America, Asia, and Australia met for one week to discuss and solve challenges in the areas of pattern avoidance, stringology, and symbolic dynamics. See the talks and participants here.

New Parallel Computer Operational

Feb 04, 2014

The Dependable Systems group has commissioned a new parallel computer at the CAU together with the Scientific Computing and Algorithmic Optimal Control groups and the Prof. Dr. Werner Petersen foundation. The machine costs about 300,000 Euros, and has been financed by the state of Schleswig-Holstein, the Petersen foundation and funds of the three groups.

The new computer is an SGI UV2000 with 2.25 Terabytes of main memory, 36 CPUs (288 processing cores in total) and 8 modules with specialized co-processors (4 each equipped with Nvidia K20c and Intel Xeon Phi, respectively). It has a shared-memory architecture. We will use it to find new ways to check safety properties of concurrent systems.

WORDS 2015 - Save the Date

Aug 11, 2014

The date for the event of the WORDS conference has been fixed. It will take place in Kiel from September 14 to 18, 2015.

Software Engineering 2014 - Students Track

Sep 27, 2013

The Conference Software Engineering (SE) 2014 will take place at the CAU in Kiel. Our group organises the students track of the SE. We call for contributions on interesting student projects that will be presented to a larger academic and industrial audience. You find the call here.

The SE conference series is the meeting of the special interest group software engineering of the German Informatics Society (Gesellschaft für Informatik e.V. - GI). 

WORDS 2015 in Kiel

Sep 27, 2013

The 10th International Conference on WORDS will take place in Kiel at the CAU in September 2015. The WORDS is the main conference about combinatorial, algebraic, and algorithmic aspects on words (in a mathematical sense, that is, sequences, strings, etc). We are excited to host the WORDS 2015.

WORDS is a biannual event. The last conference took place in Turku, Finland, in 2013.

Dr. Manea in Steering Committee of the CiE

Aug 30, 2013

Dr. Florin Manea became a member of the steering committee of the Computability in Europe (CiE) conference series.

Maritime IT 2013 - Big Data

Aug 27, 2013

The Maritime IT 2013 meeting of the DiWiSH (Clustermanagement Digitale Wirtschaft Schleswig-Holstein) and the MCN (Maritimes Cluster Norddeutschland) took place at Schloss Tremsbüttel near Hamburg on August 27, 2013. The event brought together local academia and businesses working on IT and maritime topics. The topic of the meeting was Big Data. Dirk Nowotka gave an invited talk ("Von Big Data zu Deep Insights") introducing the topic to the audience. A handout of the slides can be found here.

New team member

Jun 26, 2013

We welcome Dr. Robert Mercas as a new member in our Dependable System group. Mr. Mercas will investigate algorithmic and combinatorial questions of partial words, in particular. He contributes to the DFG project "Combinatorial Aspects of Words and their Applications".

DFG grant for Dr. Florin Manea

Jun 26, 2013

Starting from May 1, 2013, Dr. Florin Manea is funded by his approved three year grant from the Deutsche Forschungsgemeienschaft (DFG) for his project on algorithmic combinatorics on words. He will work on problems regarding algorithms and combinatorial properties of partial words and pseudo-repetitions.

 

"Challenges in Combinatorics on Words" met @ Fields

Jun 26, 2013

The latest in a series of dedicated workshops on combinatorics on words took place at the Fields institute in Toronto, Canda, from April 22 until 26, 2013. About 45 scientists from America, Australia and Europe met for one week to discuss and solve challenges in the areas of pattern avoidance, automatic sequences, stringology, and symbolic dynamics. See the talks and participants here.

New team member

Jun 26, 2013

We welcome Thorsten Ehlers as a new member in our Dependable System group. Mr. Ehlers will investigate verification methods for embedded multicore systems in the BMBF ARAMiS project.

Seminar @ Dagstuhl

Nov 18, 2012

Approval from the Leibniz-Zentrum für Informatik Schloss Dagstuhl: Together with  Maxime CrochemoreJames Currie and Gregory Kucherov we are honored to organize a seminar at Dagstuhl in Spring 2014. Title and topic: Combinatorics and Algorithms of Strings.

Guest Dr. Robert Mercas

Oct 26, 2012

Dr. Robert Mercas, Humboldt fellow at the University of Magdeburg, is our guest from October 31 until November 2. He gives a talk at the department colloquium with the title Lexicographical Cross-Sections of the Plactic Monoid.

Guest Dr. Steffen Kopecki

Aug 03, 2012

Dr. Steffen Kopecki from the University of Western Ontario, Canada, is our guest from August 6 until 10. He gives a talk at the department colloquium with the title Finite Splicing Languages: a Proper Subclass of Regular Languages.

Inaugural Lecture

Jun 05, 2012

On Monday, June 11, at 5:15pm Prof. Dr. Dirk Nowotka will give his inaugural lecture at the Computer Science Department. The event will take place at the lecture hall of the Faculty of Engineering in Building D, Kaiserstraße 2, Kiel. Everybody, who is interested, is welcome to attend.

Workshop @ Fields

May 04, 2012

Aproval from Fields: Together with James Currie and Jeffrey Shallit we are honored to organize a workshop at the Fields Institute, University of Toronto, Canada in Spring 2013. Title: Challenges in Combinatorics on Words.

Guest Dr. Pawel Gawrychowski

May 05, 2012

Dr. Pawel Gawrychowski from the MPI in Saarbrücken is our guest from May 3 until 4. He gives a talk at the department colloquium with the title Pattern matching in compressed data.

New team member

May 16, 2012

We welcome Philipp Sieweck as a new member in our Dependable System group. Mr. Sieweck will investigate verification methods for embedded multicore systems in the BMBF ARAMiS project.