Curriculum Vitae Pieter Hartel

(last updated Oct. 2011)

Publications

H-index 23 according to Publish or Perish
Three most highly cited papers:
  1. YW Law, JM Doumen, and PH Hartel, Survey and Benchmark of Block Ciphers for Wireless Sensor Networks (2006) ACM Transactions on Sensor Networks, 2 (1). pp. 65-93. ISI Impact 1.938
  2. PH Hartel and LAV Moreau, Formalizing the Safety of Java, the Java Virtual Machine and Java Card (2001) ACM Computing Surveys, 33 (4). pp. 517-558. ISI Impact 7.667
  3. PH Hartel et al, Benchmarking Implementations of Functional Languages with "Pseudoknot", a Float-Intensive Benchmark (1996) Journal of Functional Programming, 6 (4). pp. 621-655. ISI Impact 1.474
Publications listed by ACM , DBLP , Scopus , EPrints , Google Scholar (beware of publications by others)

Research Interests

Information Security, Crime Science.

Editor special issues of journals

  1. J Domingo-Ferrer and PH Hartel Special issue on smart cards Computer Networks Magazine, 36(4), Jul. 2001.
  2. S Diehl, PH Hartel, and P Sestoft Special issue on Principles of abstract machines Future Generation Computer Systems, 16(7), May 2000.
  3. PH Hartel Special issue on Smart cards Future Generation Computer Systems, 13(1), Jul. 1997.
  4. PH hartel and MJ Plasmeijer Special issue on State-of-the-art applications of pure functional programming languages. J. Functional Programming, 5(3), Jul. 1995.

International roles

  1. Founding member of IFIP working group 8.8 on smart cards . (Secretary Sep. 1998 - Jan. 2000 and Chair Jan. 2000 - Dec. 2004).
  2. Member of the board of CaberNet, a Network of Excellence in Distributed and Dependable Computing Systems, Jan. 2001 - Mar. 2004.
  3. Member of the steering committee of RESET, a Road map for smart cards, Sep. 2002 - May 2003.
  4. Consultant to the European Commission in Jun. 2001 on the Smartcard of 2010 .
  5. General Secretary of the European Association for Programming Languages and Systems EAPLS Apr. 1996 - Dec. 2001.
  6. Coordinator Erasmus/Socrates program Declarative Systems Sep. 1994 - Sep. 1999.
  7. Grant application reviewer for IST FP 5&6 of the European Commission, the Engineering and Physical Sciences Research Council of the UK, the Innovation and Technology Commission of Hong Kong, the Science and Engineering Research Council A-Star of Singapore

National roles

  1. member of the NWO Evaluation Committee for the Free Competition Computer Science NWO Jul. 2009 - Jul. 2010
  2. Secretary of the ICT Innovation Platform Security and Privacy Veilig Verbonden from Nov. 2006
  3. Member of the Board of the Netherlands Institute for Research on ICT NIRICT, Jun. 2005 - Aug. 2008.
  4. Coordinator of the theme "Digital security" for the Dutch National Research Agenda ICT (Informatica Platform ) Feb. 2005 - Mar. 2005.
  5. Member of the NWO/EW Innovation Research Incentives Scheme committee VENI (Vernieuwingsimpuls ) Sep. 2003 - Dec. 2004.
  6. Member of the program committee of SENTINELS, a funding program for security research in the Netherlands under auspices of STW, NWO and EZ, since Jan. 2004.
  7. Co-chair (with Bart Jacobs of KUN) of the preparation committee of SENTINELS, a funding program for security research in the Netherlands under auspices of STW, NWO and EZ, May 2001 - Dec. 2003.
  8. Member of the program committee of IOP GenCom, a funding program for generic communication in the private environment Jan. 2003 - Feb. 2004.
  9. Member of the board of the graduate school IPA Apr. 2003 - Jun. 2005.
  10. Member of the computer science board of the organisation Post Academic Technical Training PATO May 2002 - May 2005.
  11. Grant application reviewer for NWO and STW.
  12. Member of several professorial appointment committees in Amsterdam, Delft, Eindhoven, and Nijmegen.

Principal investigator of an external grant application

  1. VISPER: The VIrtual Security PERimeter for digital, physical, and organisational security (2007 - 2011)
    Sponsor STW (TIT.7628) principal investigator PH Hartel
  2. A4: Adaptive non-volatile storAge systems for Adaptive Applications (2004 - 2008)
    Sponsor STW (TES.6369), principal investigator PH Hartel
  3. Applet mis-use in client-server applications (1997)
    Sponsor British Telecom (STRF97/33) principal investigator PH Hartel
  4. Smart card software generators (1996 - 1997)
    Sponsor QC Technology, The Netherlands, principal investigator PH Hartel
  5. Resource Constrained Shortest Path (1995)
    Sponsors NWO and the British Council (BR 62-416), principal investigator PH Hartel
  6. Erasmus, (1994 - 1997)
    Sponsor EC (ICP-94-NL-4040), program coordinator PH Hartel

Co-investigator or local contact person of an external grant applications

  1. Natural Teggs: Egg classification (2009 - 2011)
    Sponsor Ministry of Economic Affairs / Pieken in de Delta (PID091043) contact person for Twente PH Hartel
  2. Kindred Spirits: Privacy Enhanced Social Networking (2009 - 2013)
    Sponsor STW (10527) principal investigator RL Lagendijk co-investigator PH Hartel
  3. ALwEN: Ambient Living with Embedded Networks (2008 - 2010)
    Sponsor SenterNovem (PNE07007) contact person for Twente PH Hartel
  4. SPCMHD: Secure Patient-Centric Management of Health Data (2007 - 2011)
    Sponsor Philips Research (RWC-EP-061-07156-gvg) principal investigator W Jonker co-investigator PH Hartel
  5. ProTeM: Pobe-based Terabit Memory (2007 - 2011)
    Sponsor EC (IST-2005-2.5.2) contact person for Twente L Abelmann
  6. SEDAN: Searchable Data Encryption (2007 - 2011)
    Sponsor STW (EIT.7630) principal investigator H van Tilborg co-investigator PH Hartel
  7. VRIEND: Value-Based Security Risk Mitigation in Enterprise Networks that are Decentralized (2007 - 2011)
    Sponsor STW (TIT.7635) principal investigator RJ Wieringa co-investigator PH Hartel
  8. MOCA: Modeling Control Aspects of Embedded Systems (2005 - 2009)
    Sponsor NWO (600.065.120.24N20), principal investigator A Mader
  9. IPID: Integrated Policy-based Intrusion Detection (2005 - 2008)
    Sponsor STW (TIT.6679), principal investigator RJ Wieringa co-investigator PH Hartel
  10. Secure Grip (2004 - 2008)
    Sponsor STW (TIT.6323), principal investigator RNJ Veldhuis co-investigator PH Hartel
  11. TEAHA: TEAHA: The European Application Home Alliance (2004 - 2007)
    Sponsor EC (IST-1-507029-STP), contact person for Twente J Scholten
  12. Inspired: Integrated Secure Platform for Interactive Personal Devices (2004 - 2007)
    Sponsor EC (IST-1-507894-IP), contact person for Twente PH Hartel
  13. Freeband/I-Share: Sharing resources in virtual communities for storage, communications, and processing of multimedia data (2004 - 2008)
    Sponsor Ministry of Economic Affairs / BSIK, contact person for Twente PH Hartel
  14. BRICKS: Basic Research in Informatics for Creating the Knowledge Society (2004 - 2008)
    Sponsor Ministry of Economic Affairs / BSIK, contact person for Twente S Etalle
  15. Smart Surroundings (2004 - 2008)
    Sponsor Ministry of Economic Affairs / BSIK, principal investigator PJM Havinga
  16. Secure Meta Data: Secure Content Management in Ambient Environments - how about security and meta data? (2003 - 2007)
    Sponsor Philips Research (RWC-061-JH-03007-JH), principal investigator W Jonker co-investigator PH Hartel
  17. MoMS: Methods of Modelling Embedded Systems (2003 - 2007)
    Sponsor NWO (632.001.202), principal investigator A Mader
  18. LicenseScript: A language and framework for calculating licenses on information over constrained domains (2002 - 2004)
    Sponsor Telematica Institute, principal investigator S Etalle co-investigator PH Hartel
  19. RESET: Roadmaps for European research on Smartcard related Technologies (2002 - 2003)
    Sponsor EC (IST-2001-39046), member of the steering committee PH Hartel
  20. EYES: Energy Efficient Sensor Networks (2001 - 2003)
    Sponsor EC (IST-2001-34734), principal investigator PJM Havinga
  21. CaberNet: Network of Excellence in Distributed and Dependable Computing Systems (2000 - 2003)
    Sponsor EC (IST-2000-25088), member of the executive board PH Hartel
  22. Gecko: Communication and Scheduling in Reconfigurable Multimedia Terminals (2001 - 2005)
    Sponsor NWO (612.064.103), principal investigator GJM Smit
  23. @home: At Home Anywhere (2001 - 2005)
    Sponsor NWO (600.065.120), principal investigator J Scholten co-investigator PH Hartel
  24. Security in Multi Agent architectures (2000)
    Sponsor DERA, Malvern, principal investigator D DeRoure
  25. ABCD: Validation of Business Critical Systems (2000 - 2003)
    Sponsor EPSRC (GR/M91013), principal investigator P Henderson
  26. Matisse: Methods for Industrial Strength Systems Engineering (2000 - 2002)
    Sponsor EC (IST-1999-11435), contact person for Southampton MJ Butler
  27. Parallel declarative programming (1996 - 1998)
    Sponsor NWO/SION (612-33-003), principal investigator KR Apt co-investigator PH Hartel
  28. AUTOMAP: language and compiler support for coarse-grain parallelism (1996 - 2000)
    Sponsor NWO/SION, principal investigator HJ Sips co-investigator PH Hartel
  29. Intelligent Code Scheduling (1994 - 1998)
    Sponsor NWO/SION (612-317-123), contact person for Amsterdam PH Hartel
  30. Erasmus, (1994 - 1997)
    Sponsor EC (ICP-94-NL-4040), program coordinator PH Hartel

Industrial consultant

  1. LME Design Automation, Southampton, UK, 1999 - 2001
  2. Mindport BV, Hoofddorp, The Netherlands, 1999 - 2001
  3. Integrity Arts (now Sun MicroSystems) Cupertino, California, 1996 - 2006
  4. QC Technology, Zaandam, 1994 - 1996
  5. Touch Technology, Phoenix, Arizona, 1996

Reviewer

Reviewer for over 60 International Journals, Conferences, Workshops and Book publishers

PhD Supervisor

14 completions in 7 years. For details see See supervised PhD students

Member of Habilitation committees

  1. Saarbruecken, May 2003

External Examiner of PhDs

  1. B Gedrojc, Delft, Oct 2011 Private Computing with Untrustworthy Proxies
  2. F D Garcia, Nijmegen, May 2008 Formal and Computational Cryptography: Protocols, Hashes, and Commitments
  3. W H M Hafkamp, Amsterdam (UvA), Mar. 2008 Als alle informatie telt : een onderzoek naar kwetsbaarheden- en incidentenresponse bij ICT-organisaties
  4. I D Shterev, Delft, Mar. 2007 Quantization-Based Watermarkiung: Methods for Amplitude Scale Estimation, Security and Linear Filter Invariance
  5. M Warnier, Nijmegen, Nov. 2006 Language Based Security for Java and JML
  6. K Cartrysse, Delft, Nov. 2005, Private computing and Mobile code systems
  7. S Daskapan, Delft, Apr. 2005, MEDUSA: survivable information security
  8. H van Dijk, Delft, Nov. 2005, Democratic processing: Mastering the complexity of communicating systems
  9. G Muller, Delft, Jun. 2004, CAFCR: A Multi-view Method for Embedded Systems Architecting; Balancing Genericity and Specificity
  10. P Serrarens, Nijmegen, Jan. 2001, Communication Issues in Distributed Functional Computing
  11. M Kesseler, Nijmegen, Apr. 1996, The implementation of Functional Languages on Parallel Machines with Distributed Memory
  12. J Kamperman, Amsterdam (UvA), Feb. 1996, Compilation of term rewriting systems
  13. P Achten, Nijmegen, Feb. 1996, Interactive functional programs: models, methods and implementation

Internal Examiner of PhDs

  1. E Zambon, Twente, Jan. 2011 Towards Optimal IT Availability Planning: Methods and Tools
  2. JBC Engelen, Twente, Jan. 2011 Optimization of Comb-Drive Actuators: Nanopositioners for Probe-Based Data Storage and Musical MEMS
  3. A Sperotto, Twente, Oct. 2010 Flow-based Intrusion Detection
  4. EJC Kelkboom, Twente, Oct. 2010 On the Performance of Helper Data Template Protection Schemes
  5. HJW van Heerde, Twente, Jun. 2010 Privacy-aware data management by means of data degradation: making private date less sentive over time
  6. T Staijen, Twente, Jun. 2010 Graph-based Specification and Verification for Aspect-Oriented languages
  7. V Nunes Leal Franquera, Twente, Nov. 2009 Finding multi-step attacks in computer betworks using heuristic search and mobile ambients
  8. GM Beumer, Twente, Oct. 2009 Face Recognition, a Landmarks Tale
  9. X Shang, Twente, Dec. 2008 Grip-pattern recognition: Applied to a Smart Gun
  10. I Nagy, Twente, Jun. 2006 On the Design of Aspect-Oriented Composition Models for Software Evolution
  11. J van Ruth, Twente, Jun. 2006, Flattening Queries over Nested Data Types
  12. L Cloth, Twente, Jan. 2006, Model Checking Algorithms for Markov Reward Models
  13. A Bazen, Twente, Sep. 2002, Fingerprint Identification - Feature Extraction, Matching and Database Search
  14. T Stabell-Kulo, Twente, Jul. 2002, Private Computing: The Trusted Digital Assistant
  15. F Sluiman, Twente, Mar. 2002, Linear Data Structures for Storage Allocation in Attribute Evaluation
  16. W van Oortmerssen, Southampton, Jul. 2000, Concurrent tree space transformation in the Aardappel programming language
  17. H McEvoy, Amsterdam (UvA), Oct. 1997, Coordinating multiset transformers
  18. R Hofman, Amsterdam (UvA), May. 1994, Scheduling and grain size control
  19. K Langendoen, Amsterdam (UvA), Apr. 1993, Graph reduction on shared-memory multiprocessors

Invited talks

  1. Int. Seminar on Cybercrime and ICT Security for a Good Governance link
    Batam, Indonesia, 17 Dec. 2011, Keynote
  2. Int. Conf. on Soft Computing and Pattern recognition HIS
    Malacca, Malaysia, 5 Dec. 2011, Invited tutorial
  3. Int. Seminar on Cyber Crime link
    Malacca, Malaysia, 30 Dec. 2010, Keynote
  4. EU/NSF/DHS seminar on Cyber security and Trust
    Champaign, Illinois, 26-27 Apr. 2007, Invited talk
  5. 6th Int. Workshop on Issues in the Theory of Security WITS
    Vienna, Austria, Mar. 25-26, 2006, Keynote
  6. Int. Workshop Construction and Analysis of Safe, Secure and Interoperable Smart cards CASSIS
    Marseille, France, March 10-14, 2004, Invited talk

Conferences and Workshops TPC member

  1. Workshop on Security and Privacy in Cloud Computing SPCC
    Brussels, Belgium, 17 May, 2010, Program committee member
  2. 2nd Int. Workshop on Security and Privacy in Spontaneous Interaction and Mobile Phone Use IWSSI/SPMU
    Helsinki, Finland, 17 May, 2010, Program committee member
  3. 26th IEEE Symp. on Massive Storage Systems and Technologies (MSST): Research Track MSST
    Lake Tahoe, Nevada, 6-7 May 2010, Program committee member
  4. Symposium on Sensor Network Security SNSec
    Melbourne, Australia, 7-10 Dec. 2009, Program committee member
  5. 8th IFIP Smart card research and advanced application conference CARDIS
    Royal Holloway, University of London, UK, 8-11 Sep, 2008, Program committee member
  6. Workshop on Security and Privacy Issues in Mobile Phone Use SPMU
    Sydney, Australia, May 19, 2008 Program committee member
  7. 2nd Benelux Workshop on Information and System Security WISSEC
    Luxembourg, September 20-21, 2007, Program committee member
  8. 12th European Symposium On Research In Computer Security ESORICS
    Dresden, Germany, 24-26 Sep, 2007, Program committee member
  9. 1st Benelux Workshop on Information and System Security WISSEC
    Antwerp, Belgium, Nov. 8-9, 2006, Program committee member
  10. 3rd Workshop on Secure Data Management SDM
    Seoul, Korea, Sep. 10-11, 2006, Program committee member
  11. 11th European Symposium On Research In Computer Security ESORICS
    Hamburg, Germany, 18-19 Sep, 2006, Program committee member
  12. 7th IFIP Smart card research and advanced application conference CARDIS
    Tarragona, Spain, 19-21 Apr, 2006, Program committee member
  13. 14th European Symposium on Programming ESOP
    Vienna, Austria, 25 Mar.-2 Apr. 2006, Program committee member
  14. 2nd Workshop on Secure Data Management SDM
    Trondheim, Norway, Aug. 30-Sep. 2, 2005, Program committee member
  15. IFIP Working Group 11.2 - Small Systems Security Workshop
    Chiba City, Japan, 31 May 2005, Program committee member
  16. 1st Workshop on Secure Data Management in a Connected World SDM
    Toronto, Canada, Aug. 30-Sep. 3, 2004, Program committee member
  17. 6th IFIP Smart card research and advanced application conference CARDIS
    Toulouse, France, Aug. 22-27, 2004, Program committee member
  18. IFIP Working Group 11.2 - Small Systems Security Workshop
    Athens, Greece, 27 May 2003, Program committee member
  19. 5th IFIP Smart card research and advanced application conference CARDIS
    San Jose, California, 20-22 Nov. 2002, Program committee member
  20. 10th European Symposium on Programming ESOP
    Grenoble, France, 6-14 Apr. 2002, Program committee member
  21. 2nd JavaCard Workshop - eSmart
    Cannes, France, 19 Sep. 2001, Program committee member
  22. IFIP TC11 16th Int. Conf. on Information Security - IFIPSEC
    Paris, France, 11-13 Jun. 2001, Program committee member
  23. 1st JavaCard Workshop - eSmart
    Cannes, France, 14 Sep. 2000, Program committee member
  24. 4th IFIP Smart card research and advanced application conference - CARDIS
    Bristol, UK, 20-22 Sep. 1999, Program committee member
  25. 1st Workshop on Abstract Machines - WPAM
    Pisa, Italy, Sep. 1998, Program committee member
  26. 3rd IFIP Smart card research and advanced application conference - CARDIS
    Louvain La Neuve, France, Sep. 1998, Program committee member
  27. 9th Programming languages: Implementations, Logics, and Programs - PLILP
    Southampton, UK, Sep. 1998, Local organiser, co-chair
  28. European Symposium on Programming - ESOP
    Lisbon, Portugal, Apr. 1998, Program committee member
  29. Implementation of Functional Languages - IFL
    St.Andrews, Scotland, Sep. 1997, Program committee member
  30. 2nd ACM Int. Conference on functional programming - ICFP
    Amsterdam, The Netherlands, Jun. 1997, Local organiser
  31. 2nd IFIP Smart card research and advanced application conference - CARDIS
    Amsterdam, The Netherlands, Sep. 1996, General chair
  32. 1st Symposium on functional programming languages in Education - FPLE
    Nijmegen, The Netherlands, Dec. 1995, Program committee co-chair
  33. 7th ACM Conference on functional programming languages and architecture - FPCA
    La Jolla, California, Jun. 1995, Program committee member
  34. 3rd Workshop on implementation of functional languages - IFL
    Southampton, UK, Jun. 1991, Local organiser

Teaching

  1. Course Introduction Computer Security for Master students
    (2008: 42 students, 2009: 36 students, 2010: 37 students)
  2. Course Concurrent and Distributed Programming for 3rd year students
    (2003: 101 students, 2004: 101 students, 2005: 91 students)
  3. Post Academic Training (PATO) Course Internet Security
    (2002: 12 students)
  4. Course Distributed E-Business Techniques for 3rd/4th year students
    (2001: 28 students, 2002: 30 students, 2003: 38 students, 2004: 37 students)
  5. Part III individual project coordinator
    (1996: 171 students; 1997: 185 students; 1998: 200 students; 1999: 182 students)
  6. Course Programming Principles for first year student
    (1995: 30 lectures; 1996,1997,1998: 60 lectures)
  7. Workshop Semantics of programming languages for post graduate students
    (1994: 40 lectures)
  8. Course Implementation of functional programming languages for 3rd/4th year students
    (1989 - 1995: 6 x 20 lectures)
  9. Course Functional programming for 3rd/4th year students
    (1992 - 1995: 3 x 20 lectures, 3 x 30 hours laboratories)
  10. Supervision of final year undergraduate student projects
    (1982 - 2009: total 40 students)
  11. Course Operating systems for 2nd/3rd year students
    (1985 - 1986: 2 x 26 lectures, 2 x 100 hours laboratories)
  12. Course Unix (Shell Research Amsterdam)
    (1985: 4 lectures)
  13. Course Introductory programming for first year students
    (1983 - 1984, 2 x 13 lectures, 2 x 50 hours laboratories)
  14. Laboratories Computer organisation
    (1982 - 1984, 3 x 100 hours laboratories, 1993 course supervision)
  15. Presentations to various audiences designed to attract more students

Administration

  1. Study Advisor for Twente of the Kerckhoffs security master (since Apr. 2008)
  2. Chair of the Scientific Information Committee (since Aug. 2008)
  3. Vice Dean of the faculty of Electrical Engineering, Mathematics and Computer science (Jun. 2006 - Aug. 2008)
  4. Head of the Computer Science Department (Jun. 2005 - Aug. 2008)
  5. Head of the Distributed and Embedded Security group since Sep. 2000
  6. Organiser of the weekly ES cluster seminars since (Sep. 2003 - Jun. 2008)
  7. Chair of Staff Student Liaison Committee Computer Science (2002 - 2004)
  8. Member of Academic committee (1996 - 2000)
  9. Organiser of the weekly DSSE group seminars (1995 - 1998)
  10. Member of Research committee (1996 - 2000)
  11. Member of Staff Student Liaison Committee Computer Science (1994 - 1995)
  12. Secretary to the Computer Science Examination Committee (1994 - 1995)
  13. Chair of the working group Modernisation of the Computer Science Curriculum (1993 - 1995)
  14. Editor of the Annual Report of the Department (1992 - 1995)
  15. Co-editor of the Annual Report of the Faculty (1992 - 1995)
  16. Member management team Computer Architecture and Declarative Systems group, including the organisation of the weekly architecture seminars (1991 - 1995)
  17. Co-ordinator of the Dutch PhD student research network Computer Systems, organisation of the semi-annual workshops (1991 - 1995)
  18. Member of Academic Committee (1982 - 1989,1993 - 1995)
  19. Chair of the Departmental Computer and infrastructure Committee (1983 - 1986)
  20. Systems and Networks manager (1982 - 1985)

Education

  1. PhD degree Mathematics and Computer Science, Univ. of Amsterdam (Feb. 1989)
  2. Masters degree Mathematics, Free Univ. Amsterdam (Apr. 1978)
  3. HBS-B (secondary school) (May 1970)

Full time positions held

  1. Visiting professor Faculty of Information and Communication Technology, Universiti Teknikal Malaysia Melaka since Jan. 2009
  2. Full professor Distributed Systems, Dept. of Computer Science, Univ. of Twente since Sep. 2000
  3. Reader, Dept. of Electronics and Computer Science, Univ. of Southampton (Oct. 1995 - Sep. 2000)
  4. Senior Lecturer, Computer Systems Dept, Univ. of Amsterdam (Aug. 1991 - Sep. 1995)
  5. Research Assistant (sabbatical) Dept. of Electronics and Computer Science, Univ. of Southampton (Aug. 1989 - Aug. 1991)
  6. Lecturer, Computer Systems Dept, Univ. of Amsterdam (Sep. 1982 - Aug. 1989)
  7. Research Assistant, Computer graphics Dept, Univ. of Nijmegen (Jul. 1981 - Aug. 1982)
  8. Systems programmer, CERN DD division, Geneva, Switzerland. (Jun. 1978 - Jun. 1981)