ITA
ENG
ITA
ENG
  • Notizie ed Eventi
    • Notizie
    • Eventi
  • Chi siamo
    • Missione
    • Dal direttore
    • Governo
    • Personale
    • Fatti principali
    • Premi
  • Ricerca
    • Strategie
    • Aree di Ricerca
    • Aree di ricerca interdisciplinari
    • Linee di ricerca
    • Progetti di Ricerca
    • Laboratori
    • Brevetti
    • Personale
    • Joint Research Centers
    • Centri collegati
    • Dottorato
    • PhD Alumni
  • Industria
    • Relazioni
    • Trasferimento
    • Spin-off
    • Formazione
    • Come collaborare
    • Industria 4.0
  • Relazioni internazionali
    • Obiettivi
    • Reti di Eccellenza
    • Programmi internazionali
    • Public Private Partnership
    • Associazioni
  • Didattica
    • Futuri Studenti
    • Offerta Formativa
    • Percorsi Alta Formazione
    • Tirocini
    • Docenti
    • Tesi
    • Studenti stranieri
    • Opportunitą per gli studenti
    • Tutoring
    • Prospettive d'impiego
  • Lavora con noi
    • Valutazione comparativa
    • Didattica integrativa
    • Assegni di ricerca
    • Premi di Laurea
 » Chi siamo » Personale
Prof. MORZENTI ANGELO CARLO
Professore Ordinario
Sede: Edificio 22
Piano: 3°
Ufficio: 036
Tel.: 3634
[javascript protected email address]
Area di ricerca:
  • Informatica
Linea di ricerca:
  • Metodologie e architetture software avanzate
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.
Over the years Angelo Morzenti participates as a principal researcher to several national and international research projects, commissioned and financed both by public bodies (by the European Commission and the Italian Research Ministry) and by private institutions and companies. Angelo Morzenti acts on a regular basis as a reviewer for several international conferences, and for top international journals (e.g., for IEEE “Transactions on Software Engineering”, ACM “Transactions on Programming Languages And Systems” and “Transactions on Software Engineering and Methodology") and for major international conferences (e.g., for International Conference on Software Engineering and European Software Engineering Conference).
COME RAGGIUNGERCI
map
Via Ponzio 34/5,
20133 Milano
Italia
CONTATTI E PEC
tel. +39 02 2399 3400
pecdeib@cert.polimi.it
(Solo da PEC a PEC)
INTRANET
RUBRICA
ISCRIVITI ALLA NEWSLETTER
INFORMATIVA PRIVACY - INFORMATIVA COOKIE
PREFERENZE COOKIE