|
About us
Henry Muccini
Biographical information: Henry Muccini received his PhD degree in Computer Science from the
University of Rome - La Sapienza (Italy) in February 2002. He is an assistant professor at the University
of L'Aquila since 2002 and he has been visiting professor at Information & Computer Science, University of
California, Irvine in 2001.
Henry's research interests are in software architecture-based analysis techniques; specifically, in testing of software
subsystems integration against a software architecture specification, in integrating coordination policies inside the
architectural description and validating software architectures using semi-formal specifications.
Patrizio Pelliccione
Biographical information: Patrizio Pelliccione is an assistant professor at the University of L'Aquila , Computer Science Department.
He got his PhD degree in the University of L’Aquila , computer science department, advisor Paola Inverardi , and thesis titled:
“CHARMY: A framework for Software Architecture Specification and Analysis”. Currently Patrizio is involved in the european project
POPEYE (Professional Peer Environment beYond Edge computing) of the Sixth Framework Programme Priority 2, Information Society
Technologies (FP6-2005- IST-5) and in the national project ArtDeco (Adaptive InfRasTructures for DECentralized Organizations),
a three years Italian project - FIRB 2005. From April 2005 to April 2006 Patrizio was Senior Researcher at the Faculty of Sciences,
Technologies and Communications of the University of Luxembourg . He was coordinator of the CORRECT project and Group that is
part of the Software Engineering Competence Center (SE2C) created since 2001 by Prof. Nicolas Guelfi. CORRECT (rigorous stepwise
development of Complex Fault TOlerant DistRibuted Systems: from ARchitEctural DesCription to Java ImplemenTation) is a three year
(2004-2006) project entirely funded by Luxembourg Ministry of Higher Education and Research (ref. n. MEN/IST/04/04).
Patrizio is author of more than 30 publications in international journals and conferences. The research topics are mainly
in Software Architectures, Software Architectures Analysis, Component-based systems, Fault-tolerance, Middleware, Model checking,
Formal Methods. In its research activity Patrizio collaborated with several industries such as Selex Marconi telecommunications,
Ericsson, Siemens, TERMA, etc.. Patrizio is chair of the international workshop on Engineering Fault Tolerant Systems , is editor
of a book: Software Engineering of Fault Tolerant Systems, and is reviewer of several workshops, conferences and journals.
Alexander ( Sascha ) Romanovsky
Biographical information: Alexander (Sascha) Romanovsky is a Professor in the CSR.
He received a M.Sc. degree in Applied Mathematics from Moscow State University and a PhD degree in
Computer Science from St. Petersburg State Technical University. He was with this University from
1984 until 1996, doing research and teaching. In 1991 he worked as a visiting researcher at ABB Ltd
Computer Architecture Lab Research Center, Switzerland. In 1993 he was a visiting fellow at Istituto
di Elaborazione della Informazione, CNR, Pisa, Italy. In 1993-94 he was a post-doctoral fellow with
the Department of Computing Science, the University of Newcastle upon Tyne. In 1992-1998 he was involved
in the Predictably Dependable Computing Systems (PDCS) ESPRIT Basic Research Action and the Design for
Validation (DeVa) ESPRIT Basic Project. In 1998-2000 he worked on the Diversity in Safety Critical Software
(DISCS) EPSRC/UK Project. Prof Romanovsky was a co-author of the Diversity with Off-The-Shelf Components
(DOTS) EPSRC/UK Project and was involved in this project in 2001-2004. In 2000-2003 he was in the executive
board of Dependable Systems of Systems (DSoS) IST Project. Now he is coordinating Rigorous Open Development
Environment for Complex Systems (RODIN) IST Project (2004-2007).
|
|