|
Institute - Research Fellows
Research Fellows
The following people are working as research fellow at the institute. Click
on their names for their personal homepage.
|
|
Gerrit Muller
|
Gerrit Muller received his Master’s
degree in Physics from the University of Amsterdam in 1979. He
worked from 1980 until 1997 at Philips Medical Systems as system
architect. From 1997 to 1999 he was manager System Engineering at
ASML. From 1999 - 2002 he worked at Philips Research. Since 2003 he
is working as senior research fellow at ESI (Embedded Systems
Institute). In June 2004 he received his doctorate. The main focus
of his work at ESI is to work on System Architecture methods and to
enable education of new System Architects.
Special areas of interest are:
- Ways to cope with the exponential growth of size and
complexity of systems. Examples of methods to address the
growing complexity are product lines and composable
architectures.
- The human aspects of systems architecting (which in itself
is a crucial factor in coping with the above mentioned growth)
|
|
|
|
Jozef Hooman
|
Jozef Hooman studied mathematics and computer science at the
Radboud University Nijmegen. Next he became an assistant
professor at the Eindhoven University of Technology. There he
received in 1991 a PhD degree in computer science on a thesis
entitled "Specification and Compositional Verification of
Real-Time Systems".
In 1999 Jozef was appointed as associate professor at the
Radboud University Nijmegen, with a research focus on the formal
verification of distributed real-time and fault-tolerant systems,
supported by theorem proving. This work also addressed the
combination of formal methods and UML. In 2009 Jozef became a
full professor at the Radboud University Nijmegen on model-based
development of embedded software.
Since 2003 Jozef is also employed as a research fellow at the
Embedded Systems Institute, where he participated in projects on
performance, evolvability, and reliability with industrial
partners Océ, ASML, and NXP respectively. Currently he is
involved in a project with Philips Healthcare on increasing the
speed of innovation by removing faults early in the development
process.
|
|
|
|
Jeroen
Voeten
|
Jeroen Voeten received his
master's degree in Mathematics and Computing Science in 1991 and his
Ph.D. in Electrical Engineering in 1997 from the Eindhoven
University of Technology, the Netherlands.
Since 1997 he is working as an assistant professor in the
Electronic Systems group at the faculty of Electrical Engineering.
His research interests include formal techniques for the
specification, design and implementation of hardware/software
systems. As from January 2005 he is working for 4 days a week as a
ESI research fellow.
His research focuses on system-level design methodology and
performance modelling.
|
|
|
|
|
Teun Hendriks
|
Teun Hendriks was employed
at Siemens VDO Trading BV since 1996 where he was responsible for
Advanced Development Navigation. These navigation projects include
map-based advanced driver assistance systems, incremental map
updates, compact on-the-fly location referencing, urban dynamic
route planning etc.
He started his professional career in 1986 at Philips Research in
Eindhoven and worked for Philips Research in Briarcliff Manor, NY,
USA on a.o. adaptive event driven control software systems from 1988
until 1996.
|
|
|
|
Pierre van de Laar
|
Pierre van de Laar was Born in Bavel,
the Netherlands. He received his master degree (cum laude) in both
theoretical and computational physics in 1994 and his PhD on
'Selection in Neural Information Processing' in 1999 from the
Catholic University of Nijmgen. From 1998 till 2006 he was
employed by Philips Research. From 1998 till 2000, he followed the
course 'from doctor in science to computational scientist'. From
2000 onwards, he investigated the exploitation of architecture
description languages for visualization, verification, composition,
code generation, aspect-orientation, and dependability.
Since 2006, he is employed by the Embedded Systems Institute. |
|
|
|
Sjir van Loo
|
Sjir van Loo (1949) graduated in physics at Eindhoven University of Technology in 1974. He joined Philips in 1985, and Philips Research Laboratories in 1992. He has been working as a software and systems architect for over 25 years, and was involved in the design and realization of many industrial and research systems, in the professional as well as in the consumer domain. These systems include Remote Surveillance systems, Distributed Real-time Operating systems, MRI scanners, Video-on-Demand servers, mobile phones, digital set-top boxes and TV-sets.
His current research interests are systems architectures for Ambient
Intelligence, resource management for low-cost high-volume
electronics and programming paradigms for newly emerging
programmable silicon architectures. In his current position in
Philips Research, he is responsible for coordination and consultancy
on embedded systems architectures. Furthermore, he is the manager
and a co-founder of the Philips Research Systems Architecting
training programme, established in 1997. He gives regular lectures
on systems architecting and design, among others in post-masters
courses, both inside and outside of Philips.
|
|
|
|
Jan Tretmans
|
Jan Tretmans is researcher at the
Embedded Systems Institute, and part-time associate professor at the
Radboud University Nijmegen. He is working in the areas of
embedded software testing, and the use of formal methods in software
engineering; in particular, he likes to combine these two topics:
testing based on formal specifications, also referred to as
model-based testing. In this field he has several publications, and
he has given numerous presentations at scientific conferences as
well as for industrial audiences.
Jan Tretmans holds a degree in Electrotechnical Engineering and a
PhD in Computer Science, both from the University of Twente in The
Netherlands. He spent some time as a post-doctoral researcher in
Norway, Greece and Germany, and for a couple of years he was in
involved in the academic-industrial transfer of formal methods
technology. Before joining ESI he was at the University of Twente,
and full-time at the Radboud University Nijmegen. |
|
|
|
Jacques Verriet
|
Jacques Verriet studied computer
science and mathematics at the Radboud University in Nijmegen from
1989 to 1993. After his graduation, he worked as a research
assistant (PhD-student) at the Department of Information and
Computing Sciences of Utrecht University. His research on
multi-processor scheduling was concluded with the defense of his
PhD-thesis titled Scheduling with Communication for Multiprocessor
Computation in June 1998.
In 1998 and 1999, Jacques worked as a consultant of the Optimization
group of the Centre of Quantitative Methods in Eindhoven. His work
focused on vehicle routing and shortest path problems. In 2000,
Jacques moved to Siemens VDO Automotive, where he started to work as
a researcher/software engineer on route planning for car navigation
systems. He also supervised a PhD research project on this topic.
Within Siemens VDO, he moved to the positioning component, mainly
doing research on dead reckoning and related subjects.
In September 2006, Jacques started to work as a Research Fellow at
the Embedded Systems Institute.
|
|
|
|
Roelof Hamberg
|
Roelof Hamberg received his master’s
degree in Physics from the University of Utrecht in 1987, and his
PhD degree from the University of Leiden in 1991.
He worked from 1992 until 1998 at Philips Research in the field
of perceptual image quality modeling and evaluation methods. From
1998 to 2001 he was developer of in-product control software at Océ.
From 2001 to 2006 he was departmental manager at Océ, the first
years in research, the last year in product development. As of
October 2006 he is working as research fellow at ESI. Special area
of interest is easy specification, exploration, simulation, and yet
formal reasoning about system behaviour, the dynamic part of systems
architecting.
|
|
|
|
Michael Borth
|
Michael Borth graduated in Informatics at the University of Ulm (F.R.Germany) in 1999 with his thesis on ‘The Generation of Bayesian Networks for the Diagnosis of Technical Systems’ and joined DaimlerChrysler Research and Technology afterwards. Here, he worked on information mining for the analysis of complex systems, receiving his Ph.D. (Dr. rer. nat.) from the University of Ulm in 2004 for his work on ‘Knowledge Discovery on Multitudes of Bayesian Networks’. Later on, as Senior Researcher, he focused on advanced concepts for E/E – architectures and architecture development, working in close cooperation with DaimlerChrysler Advanced Engineering and Mercedes-Benz Development, but also within international consortiums.
Michael Borth joined the Embedded Systems Institute in 2007. His work and research interests focus on information-centric architectures, systems of systems, embedded intelligence, and the role of uncertainty - both for the design of complex systems and the advanced information processing within such systems. |
|
|
|
Pierre America
|
Pierre America received a Master's
degree from the University of Utrecht in 1982 and a Ph.D. from the
Free University of Amsterdam in 1989. He joined Philips Research in
1982 where he has been working in different areas of computer
science, ranging from formal aspects of parallel object-oriented
programming to music processing. During the last years he has been
working on software and system architecting approaches for product
families. He has been applying and validating these approaches in
close cooperation with Philips Medical Systems. Starting in 2008
he is working part of his time as a Research Fellow at the Embedded
Systems Institute, where his main focus is on evolvability. |
|
|
|
Twan Basten
|
Twan Basten received Master’s (with honors) and PhD degrees in computing science from the Eindhoven University of Technology, where he is currently professor of computational models in the Department of Electrical Engineering. He was a visiting researcher at the University of Waterloo, Canada, Philips Research Laboratories, Eindhoven, and Carnegie Mellon University, Pittsburgh. Since September 2008, he is also a research fellow of the Embedded Systems Institute.
His research interests include the design of resource-constrained embedded systems, based on a solid mathematical foundation, with a focus on networked and multiprocessor systems, trade-off analysis, and computational models. Twan Basten is and has been involved in several international research projects (FP5, FP6, and FP7), and several Dutch projects (NWO, STW, SenterNovem), also as a project leader. He has served (or is serving) in over 40 technical program committees. He was the Ambient Intelligence co-chair in the DATE 2003 TPC, topic chair in the DATE 2004 and 2005 TPCs, the TPC co-chair for ACSD 2007, and TPC chair of MoCC 2008. He (co)authored more than 100 scientific publications, of which three received a best paper award, and (co)supervised 7 PhD degrees. He is a senior member of the IEEE and a life member of the ACM.
|
|
|
|
Richard Doornbos
|
Richard Doornbos studied Technical
Physics at the University of Twente, the Netherlands. He received
his PhD degree in 1995 on the thesis "Optical Characterization in
Flow Cytometry: Optimization and Miniaturization".
In 1996 he accepted a post-doc position at the Lasercenter of the
Academic Medical Center in Amsterdam, to work on optical
spectroscopic techniques for characterizing cardiovascular tissues
for diagnostic purposes.
He joined Philips Research in 1998 to follow a 2-year ‘master class’
called 'From Doctor in Science to Computational Scientist'. From
2000 onwards, he investigated various complex systems in the
entertainment, ambient intelligence, and medical domains, as a
research scientist and system architect. These systems include
intelligent user interfaces, distribution of multimedia
presentations, in-home resource management, broadband services,
intelligent homes for elderly care, automatic recognition of
context, and personal emergency response services, in particular
fall detection.
Since September 2008, he is employed by the Embedded Systems
Institute, and participates in the Condor project. |
|
|
|
Bart Theelen
|
Bart Theelen received his Master's
degree in Information Technology Sciences in 1999 and his PhD degree
in Electrical Engineering in 2004 from the Eindhoven University of
Technology. Until 2008, he was a postdoctoral researcher with the
Electronic Systems group at the Department of Electrical Engineering
of the same university. During his studies, he conducted modeling
projects with various industrial partners, including Alcatel Bell
Antwerp, IBM Research Laboratory Zürich and NXP Semiconductors
Eindhoven.
Since 2009 Bart Theelen is research fellow at the Embedded
Systems Institute. His interests include methods, formalisms and (formal)
techniques for the design, specification, analysis and synthesis of
hardware/software systems (including telecommunication systems,
multi-processor systems and high-tech control systems). His main
focus is on performance modeling for system-level design of embedded
systems. He currently contributes to the Wings project on improving
the performance of ASML's wafer scanner systems.
|
|
|
|
Hester van Ouwerkerk
|
Hester van Ouwerkerk studied Electrical Engineering at the University of Twente. Next she joined the Mechatronic Designer school of the Universities of Twente and Eindhoven. After graduation in 1994 she started her professional career at Philips in the areas of motion control and equipment control.
In 2001 she joined Assembléon where she performed the roles of software architect, system architect, and project manager in several multi-disciplinary projects. In 2007 she became as principle system architect responsible for the system architecting competence within Assembléon.
Since 2009 Hester van Ouwerkerk works as a research fellow at the Embedded Systems Institute. Her main focus is on multi-disciplinary system design, and on the development of reliable systems.
|
|
|
|
 |
