VVSS 2009 Speakers
 |
is a full professor of Software Engineering and Technology at the
Eindhoven University of Technology (TU/e) in the Department of
Mathematics and Computer Science. Furthermore he is scientific director
of the research laboratory LaQuSo. His current research activities are
on generic language technology, model driven engineering and reverse
engineering. Mark van den Brand has outstanding publications in the
field generic language technology. He is member of the steering
committee of the workshop series ‘Language Descriptions Tools and
Applications (LDTA)’ and general secretary of ‘European Association of
Programming Languages and Systems (EAPLS)’. He is guest editor of a
special issue ‘Experimental Software and Toolkits (EST)’ of the journal Science of Computer Programming. He is PC member of various workshops, conferences and summer schools in the field of reverse engineering, language technology, and software engineering in general. He was keynote speaker at the Software Language Engineering (SLE2008) conference which combines the research fields of model driven engineering and language technology. |
 | is a professor of software engineering at the Simula Research laboratory and University of Oslo, leading the project on software verification and validation. He is involved in numerous industrial research projects with companies such as the Norwegian Veritas (DNV), Tandberg, ABB, and WesterGeco. Before that, he was on the faculty of the department of Systems and Computer Engineering, Carleton University, Ottawa, Canada, where he was full professor and held the Canada Research Chair in Software Quality Engineering. He has also been the software quality engineering department head at the Fraunhofer Institute for Experimental Software Engineering, Germany, and worked as a research scientist for the Software Engineering Laboratory, a consortium of the NASA Goddard Space Flight Center, CSC, and the University of Maryland, USA. His research has always involved close collaborations with industry as he believes that only synergy between industry and research institutions will yield truly novel, scalable solutions to the many long-standing problems faced by large scale software development. He has been on the program, steering, or organization committees of many international, IEEE and ACM conferences. He is the coeditor-in- chief of Empirical Software Engineering (Springer) and is a member of the editorial boards of Systems and Software Modeling (Springer) and Software Testing, Verification, and Reliability (Wiley). He was on the board of IEEE Transactions on Software Engineering from 2000 to 2004. His research interests include: model-driven development, testing and quality assurance, and empirical software engineering. |
 |
is lector on Software Quality at the Hogeschool van Amsterdam (Amsterdam University of Applied Sciences). He received a MsC degree in electronic engineering at the University of Twente (1975). After teaching physics and mathematics at secondary school level, in 1985 he switched to the university world of education and research. In 1995, he received a PhD degree in computer science at the University of Amsterdam. In 1999 he pursued his career as a technical consultant in industry, at Getronics PinkRoccade. At the beginning of this year he switched to DNV-CIBIT, an independent consultancy and training company. From mid 2006 he combines his work in industry with working as a lector at the Hogeschool van Amsterdam. At the Hogeschool his research is focused on the application of software metrics in relation to software quality. |
 | is both full professor, holding the Software Technology chair at the Open Universiteit Nederland (30%) and senior lecturer at the Institute for Computing and Information Sciences at the Radboud University Nijmegen, The Netherlands (70%). He is the scientific director of the Nijmegen part of the Laboratory for Quality Software (LaQuSo) which is a joint activity of Eindhoven University of Technology and Radboud University Nijmegen. His research interests include formal methods for software analysis, certification, validation and verification in general and their applications on software security in particular. He is coordinating the software engineering line of courses of the Nijmegen Computer Science and Information Science curricula. He has about 60 academic publications in the area of software technology. He is a PC member for various conferences. He chairs the Steering Committee of the Trends in Functional Programming Symposium Series. His research interests are on the areas of software analysis, verification and certification. In these areas he combines fundamental research with industrial case studies. For the publication about one of these case studies he received from the European Association of Software Science and Technology (EASST) the Best Software Science Paper Award of the Formal Methods in Industrial Critical Systems conference (FMICS2008). Together with Petra Heck and Martijn Klabbers he developed the LaQuSo Software Product Certification Model (LSPCM). An academic publication about LSPCM has been accepted for publication in Springer’s Software Quality Journal. |
 |
is associate professor at the Department of Software Engineering, University of Szeged. He graduated as M.Sc. in Mathematics and Computer Programming from the University of Szeged in 1997. He was awarded his summa cum laude PhD degree in 2005. He has participated and been the leader of several R&D academic and industrial projects. His areas of research interest include static source code analysis, modeling, measurement, quality assurance, change impact analysis, software reengineering, and design pattern recognition. HE is program committee member of the IEEE International Conference on Software Maintenance (ICSM 2005, ICSM 2006, ICSM 2007, ICSM 2009), IEEE European Conference on Software Maintenance and Reengineering (CSMR 2008) and International Conference on Software and Data Technologies (ICSOFT 2007, ICSOFT 2008 and ICSOFT 2009). He is Program Co-Chair of the IEEE European Conference on Software Maintenance and Reengineering (CSMR 2009 and CSMR 2010). He is also a senior research consultant at FrontEndART Software Ltd. |
 |
is a consultant in Software Product Quality and Requirements Engineering. Her previous job was with the Laboratory for Quality Software (LaQuSo) where she has worked with many different organisations around the verification and validation of software and especially requirements. Her current job is with Software Quality Systems (SQS) in Geneva, Switzerland. She advises companies on quality-, test- and requirements management. She is the lead author of the LaQuSo Software Product Certification Model and co-author of a Dutch book on requirements engineering ("Succes met de requirements!"). She has written a number of articles and has presented at among others the Nederlandse Testdag, CONQUEST and SQC conferences. |
 |
is Co-Director of Lero, the Irish Software Engineering Research Centre, and Professor of Software Engineering at University of Limerick. Prior to joining Lero, Dr. Hinchey was Director of the NASA Software Engineering Laboratory and continues to serve as a NASA Expert. Hinchey holds a B.Sc. in Computer Systems from University of Limerick, an M.Sc. in Computation from University of Oxford and a PhD in Computer Science from University of Cambridge. The author/editor of several books on various aspects of Software Engineering, at various times Hinchey previously held positions as Professor in Australia, UK, Sweden and USA. He is currently Chair of the IFIP Technical Assembly and Chair of IFIP Technical Committee 1 (Foundations of Computer Science) as well as Editor-in-Chief of Innovations in Systems and Software Engineering: a NASA Journal (Springer). |
 |
is Full Professor of Computer Science at the University of Koblenz-Landau since July 2007. He received his PhD in Computer Science from the University of Rostock in 1999. In the years 1999-2007, he has served on positions at the Dutch Centre of Mathematics and Computer Science, VU University Amsterdam, and Microsoft in Redmond. His specialty is "software language engineering" and the combination of software engineering and programming languages. His research and teaching interests include program transformation, generative programming, programming languages, type systems, generic language technology, grammar-based methods, advanced separation of concerns, and automated software engineering. He is one of the founding fathers of the International Summer School Series Generative and Transformational Techniques on Software Engineering (GTTSE) and the International Conference on Software Language Engineering (SLE). |
 |
is full professor in Security and Trust of Software Systems at the University of Luxembourg. Until 2007 he was associate professor in computer science at the Eindhoven University of Technology, with a part time secondment as senior researcher at CWI (Center of Mathematics and Computer science) in Amsterdam. Sjouke Mauw has performed research in a range of areas, such as visual specification languages, concurrency theory, algebraic specification, term rewriting, domain specific languages, testing, and distributed algorithms. His current research focuses on the application of formal methods in the area of information security. Topics of interest are: security protocols, security assessment, privacy, trust, e-voting, attack trees, RFID security, DRM, network security. |
 |
is a senior quality consultant at Awareness Groep and board member of the Society for Quality Professionals in ICT (Q Society). After his studies in Mathematics and Computer Science at the Technical University in Eindhoven he has followed the path from systems developer, project manager, consultant to quality manager. As a consultant he often advised the management of various companies about their information strategy. Since 1993 he specialized in the field of quality management, namely quality assurance, risk management, reviewing, inspections, validation and verification, software process improvements, CMMi and QTM. In 2007 he joined the A-Groep to further improve as a changer, enhancer, consultant and innovator. |
 |
is assistant professor at the Department of Mathematics and Computer Science of Eindhoven University of Technology. He has obtained his Ph.D. in Computer Science from Katholieke Universiteit Leuven, Belgium (2003) and M.Sc. in Computer Science from the Hebrew University, Jerusalem, Israel. He has co-authored more than seventy scientific papers. His areas of expertise include software code quality assessment, program analysis and transformation, process modeling and verification. Furthermore, he has been involved in a series of industrial projects pertaining to software quality assessment. |
 |
is the Lead Technical Consultant at Mithun Training & Consulting where she meshes the traditional requirements engineering approach with soft-skills, creating a skills-based training offering for requirements engineers. In just the last year she improved requirements engineering practices at a medical device company, reviewed internal engineering process requirements for a governmental body, facilitated quality systems engineering improvement for a micro assembly manufacturer, and developed a requirements engineering training program for a major insurance company. Previously, Scheinholtz received her Masters at the University of Nebraska at Omaha, researching cutting edge requirements practices. At Pearson Government Solutions (now Vangent), she worked hands-on as a requirements engineer, delivering quality requirements to get projects in on time and under budget. In addition to project management with a background in requirements engineering, information systems development, process improvement, accounting, and auditing, Scheinholtz also brings strong communications and teaching skills, and is well-versed in customer and stakeholder management. |
 |
is working in the area of testing and software quality since 1998. As consultant he is working in the field of requirement engineering and management. As test analyst, coordinator and consultant he gained experience in projects in technical environments as well in administrative environments. Benjamin is certified for ‘ISEB Practitioner Certificate in Software Testing’, ‘TMap Professional Advanced’ and ‘IREB Certified Professional for Requirements Engineering Foundation Level’ (among others). Frequently he is a trainer in the area of Quality Management (IREB Certified Professional for Requirements Engineering, Requirements Engineering & Management). Besides being consultant and trainer Benjamin is member of the Management Team of Improve Quality Services in which he fulfils the position of account manager for trainings. |
 |
is Head of Research & Development at Software Improvement Group (SIG) in Amsterdam, The Netherlands. In that role, he is responsible for innovation of tools and services, academic relations, and software engineering research. |
