Thematisch curriculum vitae van David N. Jansen
Professioneel doel
| Ik werk als dienstverlener in een internationale, meertalige omgeving.
Ik zoek en beoordeel oplossingen voor technische problemen op hoog universitair niveau. |
Mogelijke werkvelden:
wetenschappelijk onderwijs en onderzoek;
consultant voor ontwerp en architectuur van ICT-systemen;
technisch vertaler
Dit soort werk lijkt mij interessant en sluit nauw aan bij mijn persoonlijke sterke punten:
- Ik ben dienstverlenend ingesteld en werk het liefst voor een (interne of externe) klant.
Op mijn huidige werk kan ik b.v. studenten als (onderwijs-)klanten beschouwen.
- Ik ben internationaal georiënteerd:
ik heb 25 jaar buiten Nederland gewoond en ben bereid naar een ander land te verhuizen.
Tegenwoordig spreek en schrijf ik in mijn werk dagelijks nederlands en engels;
ik sprek bijna dagelijks duits, frans en zwitsers duits.
Ik ken italiaans, latijn, klassiek grieks en hebreeuws redelijk
en heb ooit acht verdere talen geleerd.
- Ik ben sterk in het analyseren en in regels vangen van een complexe situatie.
Dit kam b.v. te pas in mijn werk aan ICT-systemen en aan academische casusstudies,
waar ik de eisen aan een systeem exact beschreven heb.
- Ik presenteer en discuteer graag een zakelijk onderwerp,
b.v. door op wetenschappelijke conferenties te spreken
of wetenschappelijke artikelen te reviewen.
- Daarnaast heb ik brede interesse, ben heel nieuwsgierig en heb brede algemene kennis
(goed te gebruiken bij het ontwerpen van ICT-systemen en casusstudies uit verschillende domeinen).
Ik heb een groot plichtsbesef en werk precies.
Werkervaring
U kunt ook een chronologisch curriculum vitae bekijken.
- Ik heb onderzoek gedaan in al mijn aanstellingen aan de universiteit
en daarmee rond vijftien jaar ervaring.
Ik presenteer regelmatig onderdelen van mijn recente onderzoek op internationale conferenties.
Publicaties
- Ik heb onderwijs gegeven: 3½ jaar als Hilfsassistent aan het Mathematisch Instituut
van de Universiteit Bern (0,25 fte);
als onderdeel van mijn promotietraject aan de Universiteit Twente
b.v. het vak Informatiesysteemmodellering en later Systeemvalidatie;
aan de Universiteit van het Saarland o.a. vakken over datanetwerken en verificatie;
in Nijmegen bv. ICT-infrastructuren;
in Peking discrete wiskunde.
- Ik heb ICT-systemen ontworpen en geprogrameerd:
drie jaar als analyst/programmeur bij Lynx Software Research, Langenthal, Zwitserland (0,25 fte),
waar ik diverse onderdelen van het administratiepakket MIRACLE heb bewerkt;
als assistent in opleiding aan de Universiteit Twente heb ik ca. anderhalf jaar gewerkt aan de uitbreiding van de tool TCM (Toolkit for Conceptual Modelling);
in de laatste jaren werkte ik aan MRMC (Markov Reward Model Checker).
ik maak mijn onderzoek realistischer door regelmatig casusstudies uit te voeren.
Daarnaast heb ik het catalogus- en uitleensysteem van de Bellettrie-Bibliotheek geautomatiseerd.
- Ik was bij diverse besturen betrokken:
de studievereniging wiskunde, statistiek, informatica
en de studentenraad (behartigen de belangen van de studenten) aan de Universiteit Bern;
de promovendiraad van onderzoeksschool SIKS
(behartigt de belangen van de promovendi tegenover SIKS);
de Bellettrie-Bibliotheek (een studentenvereniging van de Universiteit Twente).
- Ik heb als vrijwilliger in het christelijke cursus- en vakantiecentrum Campo Rasa, Intragna, Zwitserland gewerkt.
Later heb ik actief meegeholpen in de kerken waar ik lid van was,
b.v. bij het uitgeven van het kerkblad
en het project Sonrise Twente.
ICT-kennis
C, C++, Pascal, Assembler, HTML, PHP, Perl, XML; basiskennis Visual Basic
Microsoft Office, MS Access, MySQL, MUMPS
Windows, Unix / Linux, MS-DOS, Mac OS X
UML
Projectervaring (vooral software)
- MRMC (2005–2011)
Doel: Model-checking van Markovketens
(lineaire vergelijkingssystemen oplossen).
Mijn bijdrage: Lumping (kleinere, equivalente Markovketens zoeken), efficiëntere datastructuren, performance-metingen.
Programmeertaal: C.
- Bellettrie
- catalogussysteem (1999–2003)
Doel: online public-access catalogus, ondersteuning van de inventarisatie
- uitleensysteem (2001–2008)
Doel: klant- en uitleenadministratie incl. reserveringen en rappels
Mijn bijdrage: meerdere versies van de complete systemen ontwerpen en implementeren;
een college begeleiden waarin 40 studenten onderdelen van een webapplicatie hebben gemaakt.
Het systeem is nog volledig in gebruik.
Programmeertalen: (MUMPS,) Visual Basic, (Perl,) PHP, HTML, JavaScript.
Databases: (MUMPS,) MS-Access, MySQL.
- Toolkit for Conceptual Modelling (TCM)
(1998–2000)
Doel: diagrammen in UML en andere talen tekenen.
Mijn bijdrage: statecharts,
algemenere onderdelen voor hiërarchische diagrammen,
interface met de model checker Kronos,
een student begeleiden die een interface naar XML/XMI heeft gemaakt.
Programmeertalen: C++, XML
- Genealogiesysteem (ca. 1990–2000)
Doel: genealogische gegevens opslaan en presenteren in stambomen, kwartierstaten e.d.
Mijn bijdrage: meerdere versies van het complete systeem ontwerpen en implementeren.
De MUMPS-versie kan minimaal 300.000 personen verwerken.
(De gegevens staan tegenwoordig hier.)
Programmeertalen: Basic, (C,) MUMPS.
Database: MUMPS
- MIRACLE (1990–1993)
Doel: bedrijfsadministratie (crediteuren, debiteuren, voorraad, boekhouden...)
Mijn bijdrage: toegangsrechten, GUI, interface van Clipper met andere onderdelen.
Programmeertalen: Assembler, Clipper, Pascal.
Database: Clipper / dBASE.
- Logistiek project: verhuizing van de Bellettrie-bibliotheek (1999–2003)
Wij hebben 13.000 banden 3 × verhuisd,
omdat het gebouw waarin onze ruimte lag werd gerenoveerd.
De verhuizing zelf kostte ca. 12 mandagen van een professioneel verhuisbedrijf.
Opgeloste problemen: wensen voor de nieuwe ruimte verzamelen en naar buiten vertegenwoordigen;
overeenstemming over de inrichting van de nieuwe ruimte erhandelen;
alle banden daar inpassen; ervoor zorgen dat elke band op de juiste plek terecht komt.
We hadden verschillende kastsystemen, die deels incompatibel waren.
Onderzochte ingebedde systemen
- European Train Control System (ETCS) (2004, 2007)
In het onderzoek naar de stochastische uitbreiding van statecharts (StoCharts)
heb ik een onderdeel van ETCS gemodelleerd en geanalyseerd
(m.b.v. discrete event simulatie).
Zie ook: 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. Onlineversie
- RTnet-protocol (2003–2004)
Dit protocol voor een token-netwerk is ontworpen door de
vakgroep Distributed and Embedded Systems van de Universiteit Twente.
Ik heb uit de verschillende documenten één model geextraheerd en als StoChart beschreven.
Een deel ervan heb ik m.b.v. discrete event simulatie geanalyseerd.
Zie ook: hoofdstuk 6 van mijn proefschrift
- Automatic teller machine (2003)
In hetzelfde onderzoek heb ik de efficiëntie van een pinautomaat gemodelleerd en geanalyseerd.
Zie ook: 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. Onlineversie
- Gambling machine (2003)
In het onderzoek naar de probabilistische uitbreiding van statecharts
heb ik een eenarmige bandiet gemodelleerd (als P-statechart)
en geanalyseerd (m.b.v. model checking).
Zie ook: 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. Onlineversie
- Automanagementsysteem (1999)
In het onderwijs van het vak „Voortgezette Informatiesysteemmodellering”
heb ik een automanagementsysteem (snelheid meten, cruise control) ontworpen
en in Statemate en Rhapsody (twee case tools) gemodelleerd.
- Time Triggered Architecture (2004)
In het onderwijs van het seminarium Distributed Architectures for Automotive Systems
heb ik de Time Triggered Architecture leren kennen
en gezien hoe delen ervan door anderen geanalyseerd zijn.
September 2019, David N. Jansen