Computer Science

ABOUT ME

I was born in ’t Harde, 1989. In 2013 I obtained my Master’s degree in Computer Science for the track Methods and Tools for Verification with the final topic Fluid Survival Tool: A model checker for hybrid Petri nets at the University of Twente in Enschede with the committee of Anne Remke (1st supervisor), Rom Langerak (2nd supervisor), Boudewijn Haverkort and Hamed Ghasemieh. In November 2013, I began my Ph.D. research on the topic of data centre energy-efficiency under the supervision of Boudewijn Haverkort. I obtained my Ph.D. in the end of 2018 at the faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente affiliated with the research group Design and Analysis of Communication Systems group.

PUBLICATIONS

Promotion-related publications:

  • B.F. Postema. Energy-Efficient Data Centres: Model-Based Analysis of Power-Performance Trade-Offs. Ph.D. Thesis, University of Twente, Enschede, the Netherlands, pp. 1-228. View abstract. View PDF.
  • B.F. Postema, N.J. Geuze and B.R. Haverkort (2018). Fitting Realistic Data Centre Workloads: A Data Science Approach. In: Proc. of 7th Int. Work. On E2DC 2018, Karlsruhe, Germany, pp. 486-491. View abstract. View PDF.
  • B.F. Postema, T. Van Damme, C. De Persis, P. Tesi and B.R. Haverkort (2018). Combining Energy Saving Techniques in Data Centres using Model-Based Analysis. In: Proc. of 4th Int. Work. On ENERGY-SIM 2018, Berlin, Germany, pp. 67-72. View abstract.
  • B.F. Postema and B.R. Haverkort (2018). Evaluation of Advanced Data Centre Power Management Strategies. In: Proc. of 9th Int. Work. On PASM 2017, ENTCS 337, Berlin, Germany, pp. 173-191. View abstract.
  • B.F. Postema and B.R. Haverkort (2017). Specification of Data Centre Power Management Strategies. In: Proc. of the 8th Int. Conf. of E2DC 2017, Sha Tin, Hong Kong, pp. 284-289. View abstract. View PDF.
  • F. van den Berg, B.F. Postema and B.R. Haverkort (2016). Evaluating Load Balancing Policies for Performance and Energy-Efficiency. In: Proc. of the 14th Int. Work. QAPL 2016, EPTCS 227, Eindhoven, the Netherlands, pp. 98-117. View PDF.
  • N.J. Schot, P.J.E. Velthuis and B.F. Postema (2016). Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres. In: Proc. of 18th Int. GI/ITG Conf. on MMB & DFT 2016, Münster, Germany, pp. 183-198. View abstract. View PDF.
  • B.F. Postema and B.R. Haverkort (2015). Energie besparen in datacentra. Bits en chips, Greentech, pp. 44-45. ISSN 1879-6443. View abstract.
  • B.F. Postema and B.R. Haverkort (2015). An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres. In M. Beltrán, W. Knottenbelt, J. Bradley (Eds.): Proc. of the Eur. Workshop EPEW 2015, LNCS 9272, Madrid, Spain, pp. 258-272. View abstract. View PDF.
  • B.F. Postema and B.R. Haverkort (2014). Stochastic Petri Net Models for the Analysis of Trade-offs in Data Centres with Power Management. In S. Klingert, M. Chinnici, M. Rey Porto (Eds.): Proc. of the Int. Workshop E2DC 2014, LNCS 8945, Cambridge, United Kingdom, pp. 52-67. View abstract. View PDF.
  • B.R. Haverkort and B.F. Postema (2014). Towards Simple Models for Energy-Performance Trade-Offs in Data Centers. In: MMB & DFT 2014 : Proc. of the Int. Workshops SOCNET 2014 and FGENET 2014, Bamberg, Germany, pp. 113-122. View abstract. View PDF.
  •  

Poster presentations:

  • B.R. Haverkort, B.F. Postema, C. De Persis, T. Van Damme and P. Tesi (2018). Combining Energy Saving Techniques in Data Centres using Model-Based Analysis. iSEnEC 2018, Nürnberg, Germany. View abstract.
  • B.F. Postema and B.R. Haverkort (2016). Power and Performance Analysis in Data Centres. STW CPS General User Group Meeting, Amersfoort, the Netherlands. View PDF.
  • B.F. Postema and B.R. Haverkort (2015). Models for Power and Performance Analysis in Data Centres. An Innovative Truth, Eindhoven, the Netherlands. View PDF.
  • B.F. Postema and A. Remke (2013). Fluid Survival Tool: A model checker for Hybrid Petri nets. 3TU Innovation and Technology Conference, Eindhoven, the Netherlands. View PDF.
  •  

Master-related publications:

  • B.F. Postema (2013). Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. MSc thesis, Department of Computer Science, University of Twente, the Netherlands. View abstract. View PDF.
  • B.F. Postema, A. Remke, B.R. Haverkort and H. Ghasemieh (2014). Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. In K. Fischbach and U.R. Krieger (Eds.): MMB & DFT 2014, LNCS 8376, Bamberg, Germany, pp. 255-259.View abstract. View PDF.

Bachelor-related publications:

  • B.F. Postema (2011). The Influence of Viewpoint Correction to Virtual Human Agents Interacting with Humans through Pointing Tasks. In: Proceedings of the 14th Twente Student Conference on IT, University of Twente, Enschede, the Netherlands.
EDUCATION

I have been involved as a teaching assistent in the following courses:

  • Quantitative Evaluation of Embedded Systems (192130500), 2013-2014.
  • Performance Evaluation (192620300), 2014-2015.
  • Performance Evaluation (192620300), 2015-2016.
  • Performance Evaluation (192620300), 2016-2017.
  • Internet Technology – Data: From the Source to the Senses (201600234), 2016-2017
  •  

I supervised/assisted the following bachelor students with their final projects:

  • Daniël van de Giessen (2014). Discrete-Event Simulation of Hybrid Petri Nets with General One-Shot Transitions. In: Proc. of 21st Twente Student Conf. On IT, University of Twente, Enschede, the Netherlands.
  • Nick Schot (2015). Feasibility of Raspberry Pi 2 based Micro Data Centers in Big Data Applications. In: Proc. of 23rd Twente Student Conf. On IT, University of Twente, Enschede, the Netherlands.
  • Paul Velthuis (2015). Small Data Center using Raspberry Pi 2 for Video Streaming. In: Proc. of 23rd Twente Student Conf. On IT, University of Twente, Enschede, the Netherlands.
  • Mick van der Vegt (2016). Raspberry Pi 2 as a Feasible Alternative for Cloud Based Parallel Computing Solutions. In: Proc. of 24th Twente Student Conf. On IT, University of Twente, Enschede, the Netherlands.
  • Rob van Emous (2016). Towards a Virtualization Testbed for Energy Usage Reduction on a Raspberry Pi 2 Cluster. In: Proc. of 25th Twente Student Conf. On IT, University of Twente, Enschede, the Netherlands.
  • Bas Jansen (2017). Studying the Effects of Performance Degradation and Migration of a Scalable Number of Containers in a Raspberry Pi and Data Center Server Models. In: Proc. of 26th Twente Student Conf. On IT, University of Twente, Enschede, the Netherlands.
  •  
OTHER ACADEMIC-RELATED ACTIVITIES

I have also been involved in the following:

  • Workshop chair, E2DC 2018. The International Workshop on Energy-Efficient Data Centres. View webpage.
  • Completed the ASCI Autumn School on Embedded Systems 2014 with the central theme “Cyber Physical Systems”. View webpage.
  • Completed the Teaching and Supervising Skills course. View webpage.
  • Web chair, MMB & DFT 2016. The International Conference Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance. View webpage.
  • Web chair, research group DACS. View webpage.
  •