Academic members

Program committee academic chair

Marc Aiguier

Marc Aiguier is a full Professor of Computer Science at the MAS Laboratory in the engineering school Ecole Centrale Paris . He received his PhD in 1995 in Computer Science at the Laboratory of Informatics Research (L.R.I., University of Orsay), and his habilitation in Computer Science in 2003 at the Laboratory of Informatics Methods (La.M.I.., University of Evry). His research activity relates to formal methods and to their extension and application in order to make easier both system design and system validation. Some of his works, more theoretical, deal with the foundations of formal methods (automated reasoning, abstract model theory), while some others deal with the application of formal methods at all design and validation levels (defining new formalisms, making wider specification impact).

Marc Aiguier is active in many activities related to complex system design. Hence, he is a member of the program committee of the Digiteo Labs (a groupment of many research laboratories, all of them located in the vicinity of « Plateau de Saclay » and involved with the design and the development of complex system with strong software implication). He is also a member of the steering committee of an action conducted by the competitiveness clusters SYSTEM@TIC whose the objectives is to study the good skills that every academic curriculum dedicated to complex system design should give to students. He is author or co-author of more than forty scientific research papers. He visited and/or presented lectures in computer science and mathematical logic seminars in foreign universities. He participated in several European and national projects all of them devoted to formal methods in software engineering and bioinformatics.

Other academic members of the program committee

Manfred Broy

Manfred Hans Bertold Broy studied Mathematics and Computer Science at the Technical University of Munich. He graduated in 1976, 1980 he received his Ph. D. and 1982 he completed his Habilitation Thesis at the Faculty of Mathematics at the Technical University of Munich. 1983 till 1989 he worked as a full professor for computer science and founding dean at the Faculty of Mathematics and Computer Science at the University of Passau. In October he became a full professor for computer science at the Faculty of Computer Science the Technische Universität München (former chair of Professor F.L. Bauer).

His research interests are software and systems engineering comprising both theoretical and applied aspects including system models, specification and refinement of system components, specification techniques, development methods and verification. Professor Broy is a member of the European Academy of Sciences and a Member of the Deutsche Akademie der Naturforscher “Leopoldina”. In 1994 he received the Leibniz Award by the Deutsche Forschungsgemeinschaft and in 2007 the Konrad Zuse Medal by the Gesellschaft für Informatik.

David Chemouil

David Chemouil holds a PhD in Computer Science from Université Paul Sabatier, Toulouse-3 (2004). His research topic was in type theory and higher-order rewriting. From 2004 to 2008, he worked at CNES, the French Space Agency, as a flight-software architect on the Earth-observation project Pléiades. He was also in charge of R&D studies in software and system engineering, with a focus on formal verification of systems and architectural modelling of realtime embedded software. Finally, he was an active participant in projects Topcased and SPaCIFY as well as an initiator of the Opees initiative (Open Platform for the Engineering of Embedded Systems). Since 2008, David is a research scientist at Onera, the French Aerospace Lab. His work mainly concerns formal modelling and evaluation of complex systems, with a particular focus on categorical approaches. He also has an interest in goal-oriented requirements engineering applied to the same context.

Darren Dalcher

Darren Dalcher is a Professor of Software Project Management at Middlesex University and Visiting Professor in Computer Science in the University of Iceland. He is the founder and Director of the National Centre for Project Management, and was named by the Association for Project Management as one of the top 10 “movers and shapers” in project management. He has also been voted Project Magazine’s Academic of the Year for his contribution in “integrating and weaving academic work with practice”.

Following industrial and consultancy experience in managing IT projects, Professor Dalcher gained his PhD in Software Engineering from King’s College, University of London. In 1992, he founded the Forensics Working Group of the IEEE Technical Committee on the Engineering of Computer-Based Systems.

Professor Dalcher is active in numerous international committees, steering groups and editorial boards. He is heavily involved in organising international conferences, and has delivered many keynote addresses and tutorials. He has written over 150 papers and book chapters. He is Editor-in-Chief of Software Process Improvement and Practice, and of a major new book series, Advances in Project Management. He is a Chartered IT Practitioner and a Fellow of the British Computer Society and the Association for Project Management.

Olivier de Weck

Olivier de Weck is an Associate Professor of Aeronautics and Astronautics and Engineering Systems at MIT. He currently serves as the Associate Director of the Engineering Systems Division (ESD). He holds degrees in industrial engineering from ETH Zurich (1993) in Switzerland and aerospace systems engineering from MIT (1999,2001). Before joining MIT he was a liaison engineer and later engineering program manager on the F/A-18 aircraft program at McDonnell Douglas (1993-1997) were he was exposed to engineering change issues first hand.. He is an Associate Fellow of AIAA, winner of the 2007 Best Paper Award for the journal Systems Engineering, the 2006 Frank E. Perkins award for excellence in graduate advising and recipient of the 2007 AIAA MDO TC outstanding service award. He has published over 150 papers in the area of systems engineering for changeability and commonality and space systems design.

Dov Dori

Professor Dov Dori is tenured professor of Information and Systems Engineering at the Faculty of Industrial Engineering and Management, Technion, Israel Institute of Technology, and Visiting Professor at Massachusetts Institute of Technology, Engineering Systems Division. His research interests include Complex Systems Modeling, Systems Engineering and Architecture, Software Engineering, and Information Systems Engineering. Prof. Dori has developed Object-Process Methodology (OPM), a holistic systems paradigm for conceptual modeling, presented in his 2002 book (by Springer). Prof. Dori has won the Technion Klein Award and the Hershel Rich Technion Innovation Award for his contributions to model-based systems engineering. Prof. Dori authored/edited six books and over 120 journal publications and book chapters. He is Fellow of the International Association for Pattern Recognition and Senior Member of IEEE and ACM.

Wolter Fabrycky

Wolter J. Fabrycky - Ph.D. 1962. Lawrence Professor Emeritus of Industrial and Systems Engineering at Virginia Polytechnic Institute and State University, Registered Professional Engineer in both Arkansas and Virginia, and Chairman of Academic Applications International. Fabrycky taught at the University of Arkansas and then Oklahoma State University before becoming Founding Chairman of the Interdisciplinary Systems Engineering Graduate Program, Associate Dean of Engineering, and then Dean of Research, all at Virginia Tech. He is a Fellow in AAAS, ASEE, IIE, and INCOSE. An INCOSE Charter Member, Fabrycky was designated a SE Pioneer by INCOSE in 2000. Fabrycky is Founder and President of Omega Alpha, the International Honor Society for Systems Engineering and President Elect of Alpha Pi Mu, the Industrial Engineering Honor Society. He serves or served on the National Boards of APM, ASEE, IIE, INCOSE, and OAA. Received the Distinguished Educator Award from IIE, the Grant and Wellington Awards from ASEE and IIE, and the Lohmann Medal from Oklahoma State. Co-author of six Prentice Hall textbooks and co-editor (since 1972) of the Prentice Hall International Series in Industrial and Systems Engineering that includes more than 40 titles.


José Luiz Fiadeiro

José joined the University of Leicester in 2002 as Professor of Software Science and Engineering after having held previous academic positions in Lisbon, and visiting research positions at Imperial College, King’s College London, PUC–Rio de Janeiro, and the SRI International. He has been Head of the Department of Computer Science since August 2006. He is chairman of the IFIP WG 1.3 (Foundations of System Specification) and co-chairman of the Steering Committee of the Conference on Algebra and Co-algebra in Computer Science (CALCO). His most recent work has focused on design principles and theories that support the engineering of complex software-intensive systems, in particular the methodological and theoretical challenges raised by service-oriented computing.

Eric Goubault

Eric Goubault, 41 years old, graduated from Ecole Polytechnique and Corps des Mines. He holds a Ph. D. degree in Computer Science from Ecole Polytechnique (1995), and an Habilitation (2001) from Paris IX. He started his career as a CNRS researcher at Ecole Normale Supérieure, Paris, until 1998 when he joined the French Atomic Energy Commission (CEA). 

He is now research director at CEA since 2003, and professor at Ecole Polytechnique since 2005 and is in charge of the Laboratory for the Modelling and Analysis of Systems of Interation at CEA, as well as a joint research team (holding the same name) between CEA, CNRS and Ecole Polytechnique.  
 His research interests include fundamental computer science, semantics, abstract interpretation, static analysis and verification (both theory and practise), numerical domains, concurrency theory and directed algebraic topology. 

Ignacio Grossmann

Professor Ignacio E. Grossmann is the R. R. Dean University Professor of Chemical Engineering at Carnegie Mellon University. He obtained his B.S. degree at the Universidad Iberoamericana, Mexico City, in 1974, and his M.S. and Ph.D. at Imperial College in 1975 and 1977, respectively. He is currently director of the "Center for Advanced Process Decision-making," an industrial consortium that involves 20 petroleum, chemical, engineering and software companies. His major awards include the 1994 Computing in Chemical Engineering Award of AIChE, the 1997 William H. Walker Award of AIChE, Fellow of INFORMS and AIChE, Top 15 Most Cited Author in Computer Science by ISI, 2003 Computer Society Prize of INFORMS. He was also named “One of the Hundred Chemical Engineers of the Modern Era” by AIChE in 2008. His research interests are in the areas of process synthesis, energy integration, planning and scheduling of batch and continuous processes, supply chain optimization, stochastic programming, and mixed-integer and logic-based optimization. He has authored more than 300 papers, several monographs on design cases studies, and the textbook "Systematic Methods of Chemical Process Design."

Kim G. Larsen

Kim G. Larsen studied Mathematics and Computer Science at Aalborg University and Aarhus University graduating in 1982. He obtained his Ph.D in Computer Science from Edinburgh University, Scotland in 1986. He is Professor in Computer Science at Aalborg University (1993- ), and has been Industrial Professor at Twente University, The Netherlands (2000-2007). He is currently director of CISS, the Centre for Embedded Software Systems, a national centre of excellence within ICT bridging between industry and research (2002- ).



Kim G. Larsen is the leader of the Modeling and Validation Cluster within the Network of Excellence ARTIST Design, and is director of the DaNES project funded by the Danish Advanced Technology Foundation as well as co-director of the newly started VKR Center of Excellence MT-LAB. His research interests include modeling, verification, performance analysis of real-time and embedded systems with application and contributions to concurrency theory and model checking. In particular since 1995 he has been prime investigator of the tool UPPAAL and co-founder of the company UP4ALL International. 



He is life-long member of the Royal Danish Academy of Sciences and Letters, Copenhagen, and is member of the Danish Academy of Technical Sciences. For a period of seven years he served as member of the Danish Natural Science Research Council. In 2005 he received the Danish Citation Laureates Award (Thomson Scientific) as the most cited Danish Computer Scientist in the period 1990-2004. He became Honorary Doctor (Honoris causa) at Uppsala University, Sweden, in 1999 for his contributions to the popular verification tool UPPAAL. In 2007 he became Knight of the Order of the Dannebrog. In 2007 he became Honorary Doctor (Honoris causa) at ENS Cachan, France.

Jerry Luftman

Dr. Luftman is the Executive Director of Graduate Information Systems Programs, and Distinguished Professor at Stevens Institute of Technology, Hoboken New Jersey. His career includes strategic positions in management (Information Technology, including being a CIO, and consultant), management consulting, Information Systems, and executive education. After a notable twenty-two year career with IBM, and over fifteen years at Stevens, Dr. Luftman’s experience combines the strengths of practitioner, consultant, and academic. His framework for assessing IT-business alignment maturity is considered key in helping companies around the world understand, define, and scope an appropriate strategic planning direction that leverages Information Technology.

Dr. Luftman is the founder and leader of Stevens graduate IS Programs; one of the largest in the world. He created and teaches a popular end-of Masters course on managing the IT resource, which explores how to be a successful IT executive. Dr. Luftman’s newest book (one of thirteen) “Managing Information Technology Resources”, has surpassed his initial best seller “Competing in the Information Age” which is still selling strong around the globe. His active membership in SIM includes being the VP of Academic Affairs for the SIM Executive Board. His advice is frequently requested as an executive mentor.

Fei-Yue Wang

Fei-Yue Wang received his Ph.D. in Computer and Systems Engineering from Rensselaer Polytechnic Institute, Troy, New York in 1990.  He jointed the University of Arizona in 1990 and became a Professor and Director of Program in Advanced Research for Complex Systems. In 1999, he found the Intelligent Control and Systems Engineering Center at the Chinese Academy of Sciences, Beijing, China, under the support of the Outstanding Oversea Chinese Talents Program. Since 2002, he is the Director of the Key Laboratory of Complex Systems and Intelligence Science at the Chinese Academy of Sciences. From 2005 to 2009, he was the dean of School of Software Engineering, Xi’an Jiaotong University, China. Currently, he is vice president for research, education, and academic exchange at the Institute of Automation, Chinese Academy of Sciences.   His current research interests include social computing, complex systems, parallel management, web and services science; agent-based control systems (ABC); linguistic dynamic systems (LDS); intelligent control and intelligent spaces, real-time embedded systems, application specific operating systems (ASOS).   Dr. Wang was the Editor-in-Chief of the International Journal of Intelligent Control and Systems from 1995 to 2000, Series in Intelligent Control and Intelligent Automation from 1996 to 2004, IEEE Intelligent Systems from 2009-2010, and IEEE Trans on ITS from 2009-2011. Since 1997, he has served as General or Program Chair of more than 20 IEEE, INFORMS, ACM, ASME international conferences. He was the President of IEEE ITS Society from 2005 to 2007, the President of Chinese Association for Science and Technology (CAST, USA) in 2005, the President of the American Zhu Kezhen Education Foundation from 2007-2008, the Founding Presidents of ACM and INCOSE Beijing Chapters, from 2006-2009 and 2005-2008, respectively. Currently, he is a council member of ACM, and vice president and secretary-general of Chinese Association of Automation.   Dr. Wang is member of Sigma Xi and an elected Fellow of IEEE, INCOSE, IFAC, ASME, and AAAS. In 2007, he received the 2nd Class National Prize in Natural Sciences of China and awarded the Outstanding Scientist by ACM for his work in intelligent control and social computing.

Tapio Westerlund

Tapio Westerlund is Professor in Process Design at the Faculty of Technology, Åbo Akademi University, Finland. He obtained his MSc, Lic Techn and PhD degrees in Process Control in 1975, 1977 and 1980 respectively. Since 1986 he is Professor in Process Design and Head of the Process Design and Systems Engineering Laboratory at Åbo Akademi University. During 1998-2002 he was on the leave from the chair first as Research Professor in a joint Nordic PhD research programme in Process Integration (1998-1999) and thereafter as the Head of the Research Institute of the Foundation of Åbo Akademi University (-2002).

The research interests of Professor Westerlund are in the field of process systems engineering, with emphasis on developing mixed integer optimization methods for solving large scale production planning and process optimization problems. He has authored about 140 papers in scientific journals, conference proceedings and book chapters (Academic Press, Wiley, Springer, Pergamon Press and Kluwer International Publishers).

Jim Woodcock

Jim Woodcock holds the Anniversary Chair in Software Engineering at the University of York. Previously, he was Professor of Software Engineering at the University of Oxford, where he founded the Centre of Excellence in Software Engineering and directed its academic Programme, which has attracted hundreds of part-time students from all over the world. His current research interests include industrial-scale software engineering, unifying theories of programming, railway signalling, hybrid control systems, and model checking state-rich concurrent systems.

His research team won the Queen’s Award for Technological Achievement in 1992 for its work with IBM. He was the academic consultant for the first product certified to ITSEC Level E6 (in 1998), and served for over ten years as an advisor on secure systems to the British and US governments. In 2002, he won the Rudolf Christian Carl Diesel Prize from the Society for Design and Process Science.

He is the moderator for UKCRC’s Grand Challenge 6 and a co-director of the United Nations Summer Schools on Theoretical Computer Science. He is Joint Editor-in-Chief of Formal Aspects of Computing Journal; he has served on over sixty international conference programme committees, and has chaired fifteen of them. He has given invited papers and keynote speeches at over thirty conferences, and is the author of nearly 200 scientific papers and books. He is currently a Visiting Professor at Trinity College Dublin and the Federal University of Pernambuco, and a Visiting Fellow at the University of Oxford, and has twice served as the Formal Methods Europe Lecturer on lecture tours in South America, and twice for the British Council in Central Europe and North Africa. He is a Chartered Fellow of the BCS. He has acted as a consulting software engineer for many organisations, including British Energy, DEC, General Dynamics, IBM, LDRA, Logica, QinetiQ, and the UK Health & Safety Executive.