MORZENTI ANGELO CARLO
Emeriti professors
Research areas:
Research Line:
Angelo Morzenti, born in 1960, graduates in 1985 in Electronic Engineering at Politecnico di Milano, where he also receives a PhD in Computer Science in 1989, he is assistant professor since 1991, associate professor since 1998, and full professor since 2001. His research interests are centered on languages, methods and tools for the specification, analysis, validation, verification and design of critical, real-time, distributed, embedded computer-based systems. His main contributions in these areas include the following:
- Definition of languages for modular structuring of logical specification of computer based systems adopting object oriented concepts and techniques;
- Introduction of various time scales in logical specifications;
- Axiomatic description of operational formal notations (e.g., "Merlin&Farber" Petri nets) and definition "dual language" methods for the specification and verification of real-time systems;
- Definition of concepts and methods, and construction of tools, for the generation of functional test cases starting from the descriptive specification of time- and safety-critical systems;
- Definition of original methods for implementing time critical systems by means of provably correct refinement relations;
- Definition of a unified framework for System Requirement Analysis, integrating descriptive formal notations with high-level operational notions such as events, actions, states, finite variability, cause-effect relations;
- Definitions of analysis methods for logical descriptions of time-critical systems based on model-checking and SAT-solving algorithms.