Subject-oriented Resumé of David N. Jansen
|To provide services in an international, multilingual environment by seeking and assessing solutions for technical problems on a high academic level.|
Possible work areas:
scientific education and research;
consultant for design and architecture of ICT systems;
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.
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.
- 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.
C, C++, Pascal, Assembler, HTML, PHP, Perl, XML, basic knowledge Visual Basic
Microsoft Office, MS Access, MySQL
Windows, Unix / Linux, MS-DOS
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.
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.
- catalogue systeem (1999–2003)
Goal: online public-access catalogue, support inventarisations
- lending system (2001–2008)
Goal: client and lending administration incl. reservations and recalls
Databases: (MUMPS,) MS-Access, MySQL.
- Toolkit for Conceptual Modelling (TCM)
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.
- 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