EAPLS PhD Award: Expert Committee
Roland Backhouse is professor of computing science at the University of
Nottingham. Together with Jan van de Snepscheut he founded the biennial
conferences on Mathematics of Program Construction. He is the author of
several books. His most recent was published in 2011 and is entitled
Algorithmic Problem Solving.
Eerke Boiten, University of Kent, U.K.
Eerke Boiten received his PhD in specification and transformation of programs, Nijmegen (NL) 1992.
He is now working as a Senior Lecturer at Kent (UK) in formal methods
(Z, process algebra, relations),
particularly refinement, viewpoint specification, and more recently
working towards cryptography. He supervised 3 PhDs, and examined
several more. He is organiser of the Refinement workshop series, and a
long-standing member of Mathematics of Program Construction and
Integrated Formal Methods communities.
Mark van den Brand, Universiteit Eindhoven, The Netherlands
Mark van den Brand is a full professor of Software Engineering and
Technology at TU/e in the Department of Mathematics and Computer Science.
He is scientific director of the research laboratory LaQuSo.
His current research activities are on generic language technology,
model driven engineering and reverse engineering. He was keynote speaker at
the Software Language Engineering (SLE2008) conference
which combines the research fields of model driven engineering and language technology.
He was and is member of PCs on workshops and conferences related to software
engineering, language engineering, rewriting, reverse engineering and maintenance.
He initiated the special issues of Science of Computer Programming devoted to academic
software development (Experimental Software and Toolkits (EST)), and was four times
guest editor (2007, 2008, 2009, 2011) of these EST special issues. Since
May 2009 he is visiting professor at Royal Holloway, University of London.
He is member of the editorial board of the journal of Science of Computer Programming,
Central European Journal for Computer Science, and Journal of Software Engineering and
Applications. He is invited as lecturer at SFM-12:MDE 12th International School on Formal
Methods for the Design of Computer, Communication and Software Systems: Model-Driven
Engineering in Bertinoro. He is president of European Association of Programming Languages
and Systems.
Prof. Bruynooghe
obtained a Ph.D at the Department of Computer Science of the K.U.Leuven
in 1979; the subject of the thesis was logic programming. His research
lead to the creation of the Declarative Languages and Artificial
Intelligence research group. The group currently has three subgroups:
Machine Learning, Knowledge Representation and Reasoning, and Design,
Analysis and Implementation of Declarative Programming Languages. He is
actively involved in their research. He was advisor of more than 20 PhD
students.
Paolo Ciancarini is
Professor of Computer Science at the University of Bologna, where he
lectures on Software Architecture and Engineering in the Faculty of
Sciences. He is member of the Faculty of the PhD School in Computer
Science and since 2008 chair of the Joint Schools in Computer Science
and Technologies at the University of Bologna Alma Mater. He is also
member-at-large of the Faculty of Computer Sciences and Technologies at
the IMT Institute of Advanced Studies in Lucca. He is since Dec 2006
the Director of the Consorzio Interuniversitario per l'Informatica
(CINI), a national consortium of 34 Italian universities, whose mission
is basic or industry-oriented research projects on Information and
Communication Technologies.
Byron Cook, Microsoft Research Cambridge, U.K.
Byron Cook is a principle researcher at Microsoft Research in Cambridge and
professor of computer science at Queen Mary, University of London. His research
interests include topics in automatic verification and analysis of systems
(e.g. software, hardware, biological models), programming languages, and
theorem proving. Much of Byron's focus in the past 5 years has been on
developing automatic tools for proving termination (and other "liveness
properties") of software and biological models as well as tools that can
reason about mutable data-structures used in programs. Before joining
MSR-Cambridge, Byron was a developer in the Windows Base OS group.
An Electronic's graduate of Politecnico di Milano and Ph.D. Computer Sc.
graduate of University of California, Los Angeles, Stefano Crespi is a full
professor of computer science at Politecnico di Milano, where he teaches
formal languages and compiler technology and leads the homonimous research
group. His research addressed languages, compilation, software technology
and related theories. Recent R&D achievements address dynamic compilation
for VLIW processors, a Java Virtual Machine for Micro-Edition CLDC, and a
JIT compiler for the DotNet framework. Late theoretical contributions concern
picture grammars and pattern recognition, and loop parallelization models
based on partial commutation.
Stefano Crespi is in the board of the Eur. Science Foundation programme on automata
theory from mathematics to application (AutoMathA, www.esf.org). He has
served in the board of administration of Politecnico di Milano and supervised
for many years the Ph.D. program in Information Technology. He has collaborated
and visited with leading universities and industrial companies in Europe and the U.S.
Olivier Danvy, Aarhus University, Denmark
Olivier Danvy is interested in all aspects of programming languages,
including programming. He has supervised over 20 PhD students spanning
over 11 nationalities and who are spread today in academia, research
centers, and industry.
Kei Davis, Los Alamos National Laboratory, U.S.A.
Kei received his M.Sc. in
Computation in 1988 from Oxford University and Ph.D. from Glasgow
University in 1994, both in topical areas of functional programming,
specifically formally-based program analysis and transformation.
For the last 15 years he has worked as a computer scientist at Los
Alamos National Laboratory in a variety of areas including functional
language implementation, object-oriented design and implementation,
system/application performance analysis and modeling, systems, and
exploitation of accelerated architectures, all in the context of
large-scale parallel computing.
BSc Physics,
University of Basque Country (Bilbao, Spain), 1985. PhD
Informatics/Computer Science, University of Deusto (Bilbao, Spain),
1996. Assistant professor 1987, associate professor 2000, University of
Deusto. Currently Head of the Department of Computing, Engineering
Faculty, University of Deusto (from 2005). Supervised 3 PhD theses,
presented 1999, 2004 and 2004 (last two in collaboration with other
colleagues).
Marko van Eekelen, Radboud University Nijmegen and Open Universiteit, The Netherlands
Marko van Eekelen did
his Ph.D. in Computer Science in 1988 in Nijmegen under supervision of
Professor Barendregt. His research area is in the application of formal
methods for Software Analysis, varying from correctness of functional
properties to verification of non-functional properties such as
liveness and resource consumption. He is scientific director of the
Nijmegen Laboratory for Quality Software (LaQuSo) and he is chairing
the Steering Committee of the Trends in Functional Programming
Symposium series which particularly encourages young researchers to
present their work. Furthermore, he has been lecturing at several Ph.D.
schools. For more info on his scientific publications and Ph.D.
supervision experience see http://www.cs.ru.nl/M.vanEekelen.
Maribel Fernandez is Professor of Computer Science at King's College
London. She obtained her PhD in 1993 from the University of Paris-Sud,
and her Habilitation in 2000 while she was a Maitre de conference
at the Ecole Normale Superieure in Paris. Her research interests
include computation models, specification and programming languages,
and the development of tools for the analysis and verification of
complex systems. Her expertise is in type systems, semantics and
foundations of security, using rewrite-based techniques (term and
graph rewriting, and lambda-calculus).
Maurizio Gabbrielli
is professor of computer science at the Department of Computer Science
of the University of Bologna. He received his Phd. in Computer Science
in 1992 from the University of Pisa. In 1993-95 he was employed at CWI
(Amsterdam), from 1995 to 1998 he was assistant professor at the
University of Pisa and from 1998 to 2001 he was associate professor at
the University of Udine. His research interests include formal
methods for program verification and analysis, constraint programming
and concurrency theory. He is author of 80 publications on
international journals, conference proceedings and books, served as a
conference and program chair of several international workshops and
conferences and he is currently member of the advisory board of the
journal Theory and Practice of Logic Programming. He has been member of
the ALP executive committee, chair of the Steering Committee of PPDP
and member of the EAPLS board. He has been advisor of four Ph.d
students.
Giorgio Ghelli is Full
Professor in Computer Science, at Pisa University, since September
2002. He was Visiting Professor at Ecole Normal Supérieure Paris
(1993), at Microsoft Research Center, Cambridge (UK) (1998), and at
Microsoft Co. (Redmond, USA, 2005). His research interests are: design
and implementation of database languages; type theory, and its
application to the previous theme; foundations of object-oriented
languages; languages and peer-to-peer systems to query semi-structured
and XML data. He has been advisor for five PhD students and part of the
evaluation committee of more than ten PhD thesis, in different European
countries.
Stefan Gruner, University of Pretoria, South Africa
Stefan Gruner received
his MSc (Dipl.-Inf.) in the year 1996 and his PhD (Dr.rer.nat.) in the
year 1999, both from the RWTH Aachen, Germany. As far as progamming
languages -the theme of EAPLS- are concerned, Stefan Gruner's work so
far has always been more on the software engineering side and less on
the side of theoretical informatics. For his MSc, Stefan Gruner did an
empirical study on the benefits of deforestation in the context of
functional languages; (supervisors: Peter Hartel and Herbert Kuchen).
For his PhD, Stefan Gruner dealt with graphical languages for software
system specifications; (supervisor: Manfred Nagl). During his Post-Doc
time at the university of Southampton, Stefan Gruner made contributions
to the implementation of a partial evaluation system in PROLOG;
(project leader: Michael Leuschel). More recently at the University of
Pretoria, Stefan Gruner has contributed to the development of a new
operator for optional parallelism in the process specification language
CSP; (project leader: Derrick Kourie). In his role as Senior Lecturer
and manager of the SSFM research group at the University of Pretoria,
Stefan Gruner is currently supervising 4 PhD-students (May Chan, Johan
van Zyl, Mushtaq Ahmad and Fritz Solms) in the area of Software
Engineering and Formal
Methods. Stefan Gruner also acted as External Examiner to several other
PhD-candidates, most notably for the University of Bordeaux (France) in
the area of distributed systems specifications. Stefan Gruner is not
only a member of EAPLS, but also of EASST and FME since many years.
Kevin Hammond, University of St Andrews, U.K.
Kevin Hammond is a Professor in Computer Science, in the School of
Computer Science, at the University of St. Andrews, St. Andrews,
Scotland, where he leads the Functional Programming research group.
He is also an Honorary Professor at Heriot-Watt University, Edinburgh,
Scotland. His main interests are in cost modelling, parallelism and real-time
and embedded systems.
Paul Klint, CWI and University of Amsterdam, The Netherlands
Paul Klint is
head of the software engineering department at Centrum
Wiskunde & Informatica (CWI, the Dutch national research center for
computer science and mathematics) and professor in computer science
at the University of Amsterdam. He is also founding-president and now
treasurer of the European
Association for Programming Languages and Systems (EAPLS), former chair
of
the national advisory boards on Computer Science and co-founder of
the Software Improvement Group (SIG), a CWI spinoff company. He holds a
MSc in Mathematics from the
University of Amsterdam (1973) and a PhD in Computer Science from the
Technical
University Eindhoven (1982). He (co)authored three books and has
published over hundred scientific articles. He was advisor of over 30
dissertations and over 100 master's theses. He has consulted for
companies and governments worldwide. His research interests include
generic language technology, domain-specific languages,
software renovation, and technology transfer. Download his favourite
software from
http://www.rascal-mpl.org
and
http://www.meta-environment.org.
Tiziana Margaria has broad experience in the application of formal methods
for high assurance systems with an emphasis on functional verification,
reliability, and compliance of complex heterogeneous systems. Her
experience was obtained through major industrial projects where she won
the European IT Award in 1996, and a start-up competition in 2001, through
many consulting engagements, and as founder and CEO of startup companies
including METAFrame Technologies GmbH and miAamics GmbH.
Her current research focuses on advanced service engineering techniques
supporting reliability and compliance through a model-driven version of
service-oriented development called xMDD (eXtreme Model Driven Design)
and the embedding of selected formal methods in the development platform.
Greg Michaelson, Heriot-Watt University, Edinburgh, U.K.
Alan Mycroft, Cambridge University, U.K.
Alan Mycroft is Professor of Computing in the
Computer
Laboratory of
Cambridge University;
he is also a fellow at
Robinson
College. At
the Computer Laboratory he is part of the
Cambridge
Programming Research Group.
His research interests span an arc from semantic
models of programming languages to actually building optimising
compilers.
A core interest is that of static analysis of programs to
extract properties of their run-time behaviour. Such properties can be
used to enable optimisations or to facilitate ``compile-time
debugging''. His PhD created the subject of ``strictness analysis''
when he argued that apparent run-time inefficiencies in modern
high-level languages can often be removed by program analysis and
optimisation phases. Other work has encompassed type-based
decompilation and also language and compilation issues for ``Silicon
Compilers'', i.e.\ compiling specifications directly to hardware.
In 2005/06 he held a ``Visiting Faculty'' position with
Intel
Research Cambridge
involving developing languages
and techniques for compiling to `multi-core' processors; this
research illuminates the benefits of type-like systems of program
analysis at enabling programmers to express and manage their implicit
treaty with a compiler
(``optimise as much as you can, but don't step over the line'').
Arnd Poetzsch-Heffter is heading the Software Technology Group at the
University of Kaiserslautern. His main research interest is in
object-oriented programming, language-based software tools, component
technology, and automated composition, as well as in specification and
verification techniques for programs and components. He is the author
of a textbook on object-oriented programming, has published about 50
articles in journals and conference proceedings. He serves as an expert
for the German National Science Foundation and the Dutch National
Science Foundation. His professional services include several positions
in the German Informatics Association (GI) and participations in a
number of program committees as member and chair. He is a member of the
IFIP working group 2.4 “Software Implementation Technology”.
Poetzsch-Heffter supervised 4 PhD theses, is currently supervising 8
PhD students, and acted as a reviewer/opponent in 12 other cases.
Arend Rensink, Universiteit Twente, The Netherlands
Arend Rensink obtained
his PhD in 1993 at the University of Twente. Since then he has worked
as an Akademischer Rat at the University of Hildesheim and, since 1998,
as an Associate Professor at the University of Twente, where he was
appointed full professor in 2010. His expertise is in process algebra
and graph transformation. He has supervised 5 PhD students since 2000.
Bernhard Steffen, Technical University of Dortmund, Germany
Bernhard Steffen graduated in Mathematics (1983) and obtained a PhD in Computer Science (1987)
from the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the Laboratory for
Foundations of Computer Science (LFCS) in Edinburgh and Researcher at the University of Aarhus
(Denmark). 1990 he became Associate Professor for Distributed Systems at RWTH Aachen, and 1993
Full Professor for Programming Systems at the University of Passau. Since 1997 he holds the Chair of
Programming Systems and Compiler Construction at the University of Dortmund, where he was Dean
of Computer Science between 2002 and 2004 and member of the Senate since January 2006.
Peter Van Roy, Université Catholique de Louvain, Belgium
Peter Van Roy is full professor in the ICTEAM Institute (Information and
Communication Technologies, Electronics, and Applied Mathematics) at the
Université catholique de Louvain, where he heads the Programming Languages
and Distributed Computing Research Group. He has an Engineering degree from
the Vrije Universiteit Brussel (1983), M.S. and Ph.D. degrees from the
University of California, Berkeley (1984 and 1990) and a French Habilitation
à Diriger des Recherches from the Université Paris Diderot (1996). He
has participated in numerous European and national projects and has published
more than 60 scientific papers in logic programming, computer architecture,
distributed programming, human-computer interfaces, constraint programming,
peer-to-peer networks, programming languages, programming education, language
security, and self-managing systems. He was involved in two start-up companies,
Xenologic and Dynamic Software, and developed and patented FractaSketch, a
commercial Macintosh application for graphic design based on fractal geometry.
In his Ph.D., he was the first to build a compiler for the logic programming
language Prolog that generates code with the same run-time efficiency as
low-level languages such as C. He is one of the developers of the Mozart
Programming System, which implements the Oz multi-paradigm programming language,
and a designer of the network-transparent distribution model of Oz. He is
author of the textbook "Concepts, Techniques, and Models of Computer Programming",
published in 2004 by MIT Press. He is currently working on programming languages
and systems for large-scale distributed computing.
