Subject-oriented Resumé of David N. Jansen

Professional Goal

Possible work areas: scientific education and research; consultant for design and architecture of ICT systems; technical translator

This kind of work looks interesting to me and is closely related to my personal strengths:

• I am service-oriented and prefer working for an (internal or external) client. For example, I can regard students as clients in my current job.
• I have an international orientation: I have lived in several European countries and am ready to move abroad. Currently, I am speaking and writing Dutch and English daily; I am speaking German, French and Swiss German almost daily. I know Italian and some Latin, Classical Greek and Hebrew and once learnt eight more languages.
• I am strong in analyzing and capturing in rules of a complex situation. This served me well during my work on ICT systems and academic case studies, where I described the exact requirements to the system.
• I like to present and discuss a topic, e. g. in a presentation at a scientific conference or by reviewing scientific articles.
• Further, I have a broad interest, am curious and have broad general knowledge (useful in design of ICT systems and case studies from different domains). I have a high sense of duty and like to work accurately.

Work experience

You may also read a chronological curriculum vitae.

• I have over 20 years experience in research from my jobs at universities. I often present parts of my current research at international conferences. Publications
• I worked in teaching: 3½ years as a student-assistant in the Mathematical Institute of the University of Bern (0,25 fte); as part of my Ph.D. research at the University of Twente e.g. the course Information System Modelling and later System Validation; at Saarland University a.o. courses on Data Networks and Verification; in Nijmegen, I taught e.g. ICT Infrastructures; in Beijing discrete mathematics.
• I designed ICT systems and programmed them: three years as analyst/programmer at Lynx Software Research, Langenthal, Switzerland (0,25 fte), where I developed several parts of the administrative software MIRACLE; as a Ph. D. researcher at the University of Twente, I worked for about one year and a half on the extension of the tool TCM (Toolkit for Conceptual Modelling); in the last years I contributed to MRMC (Markov Reward Model Checker). I connect my research to reality by many (academic) case studies. Further, I automated the catalogue and lending system of the Bellettrie Library.
• I was a member of several boards: the Student Union Mathematics, Statistics, Computer Science and the students' parliament (representative bodies of students) at the University of Bern; the Ph. D. students' advisory committee of the research school SIKS; the Bellettrie Library (a students' association at University of Twente).
• I worked as a volunteer in the Christian centre for studies and holidays Campo Rasa. Later, I engaged in the churches where I was a member, e. g. editing the church magazine and the project Sonrise Twente.

ICT Knowledge

C, C++, Pascal, Assembler, HTML, PHP, Perl, XML, basic knowledge Visual Basic
Microsoft Office, MS Access, MySQL
Windows, Unix / Linux, MS-DOS
UML

Project Experience (mainly software)

• MRMC (2005–2011)
  Goal: Model-checking of Markov chains (solve linear equation systems).
  My contribution: Lumping (find smaller, equivalent Markov chains), more efficient data structures, performance measurements.
  Programming language: C.
• Bellettrie
  1. catalogue systeem (1999–2003)
     Goal: online public-access catalogue, support inventarisations
  2. lending system (2001–2008)
     Goal: client and lending administration incl. reservations and recalls
  My contribution: design and implement multiple versions of the complete systems; give a university course where 40 students redeveloped parts of a web application. The system is still fully in service.
  Programming languages: (MUMPS,) Visual Basic, (Perl,) PHP, HTML, JavaScript.
  Databases: (MUMPS,) MS-Access, MySQL.
• Toolkit for Conceptual Modelling (TCM) (1998–2000)
  Goal: draw diagrams in UML and other languages.
  My contribution: statecharts, general support for hierarchic diagrams, interface with the model checker Kronos, supervise a student who implemented an interface to XML/XMI.
  Programming languages: C++, XML
• Genealogy System (ca. 1990–2000)
  Goal: save genealogical data and present them in ancestry trees, pedigrees etc.
  My contribution: design and implement multiple versions of the complete system. The MUMPS version is able to handle at least 300.000 persons. (Currently, the data is available here.)
  Programming languages: Basic, (C,) MUMPS.
  Database: MUMPS
• MIRACLE (1990–1993)
  Goal: business administration (creditors, debitors, stock, bookkeeping...)
  My contribution: access rights, GUI, interface of Clipper with other parts.
  Programming languages: Assembler, Clipper, Pascal.
  Database: Clipper / dBASE.
• Logistic project: move of the Bellettrie Library (1999–2003)
  We moved 13.000 volumes three times, because the rooms of the library were being renovated. The move itself was about 12 person-days work for a professional mover.
  Problems solved: collect requirements on the new rooms and present them to external parties; negotiate agreement on arrangements of the new rooms; fit all volumes into them; make each volume go into its appropriate place. We had several incompatible bookshelf systems.

Investigated Embedded Systems

• European Train Control System (ETCS) (2004, 2007)
  As a part of the research into the stochastic extension of statecharts (StoCharts), I modelled a part of ETCS and analysed it using discrete event simulation.
  See also: Jansen, David N.; Hermanns, Holger: Dependability checking with StoCharts: Is train radio reliable enough for trains? In: QEST 2004: first international conference on the quantitative evaluation of systems. Los Alamos, CA: IEEE Computer Society, 2004. pp. 250–259. Online version
• RTnet Protocol (2003–2004)
  This protocol for a token network, developed by the research group Distributed and Embedded Systems of the University of Twente. I unified the several documents to a single model and described it as a StoChart. I analysed part of it using discrete event simulation.
  See also: Chapter 6 of my dissertation
• Automatic Teller Machine (2003)
  In the same research project, I created a model for the efficiency of an ATM and analysed it.
  See also: Jansen, David N.; Hermanns, Holger; Katoen, Joost-Pieter: A QoS-oriented extension of UML statecharts. In: Stevens, Perdita; Whittle, Jon; Booch, Grady (eds.): «UML» 2003, the unified modeling language. Berlin: Springer, 2003. (Lecture notes in computer science, 2863) pp. 76–91. Online version
• Gambling Machine (2003)
  As part of my research into the probabilistic extension of statecharts (P-Statecharts) I modelled a one-armed bandit and analysed it using model checking.
  See also: Jansen, David N.: Probabilistic UML statecharts for specification and verification: a case study. In: Critical systems development with UML: proceedings of the UML'02 workshop. München: Technische Universität, 2002. (Technical report, TUM-I0208) pp. 121–131. Online version
• Car Management System (1999)
  While teaching a course on advanced information systeem modelling, I designed a car management system (measure speed, cruise control) and modelled it in Statemate and Rhapsody (two case tools).
• Time Triggered Architecture (2004)
  In the seminar Distributed Architectures for Automotive Systems that I taught, I got to know the Time Triggered Architecture and learnt how to analyse its parts.

September 2019, David N. Jansen