Navigasjon

  • Hopp til innhold
NTNU Hjemmeside

ntnu.no

  • Studier
    • Studieprogram
    • Søk opptak
    • Studere på NTNU
    • Videreutdanning og deltid
    • Forkurs og oppfriskning
  • Forskning og innovasjon
    • Forskning
    • Innovasjon
    • Satsingsområder
    • Toppforskning
    • Ekspertlister
    • Ph.d.
  • Studentliv
    • Student i Gjøvik
    • Student i Trondheim
    • Student i Ålesund
  • Om NTNU
    • Fakulteter og institutter
    • Sentre
    • Bibliotek
    • Kart
    • Ledige stillinger
    • Arrangement
    • Nyheter
    • Kontakt oss
    • Om NTNU
  1. Hjem
  2. Ansatte

Språkvelger

English

Leonardo Montecchi

Leonardo Montecchi

Førsteamanuensis
Institutt for datateknologi og informatikk
Fakultet for informasjonsteknologi og elektroteknikk

leonardo.montecchi@ntnu.no
Room 115, IT-bygget, Gløshaugen
ResearchGate Scopus Google Scholar YouTube Personal Page
Om Forskning Publikasjoner Undervisning

Om

I am Associate Professor at NTNU in Trondheim, working on topics related to dependability and software engineering. From 2017 to 2021 I was Assistant Professor at UNICAMP in Campinas, Brazil. I started working in research at the Resilient Computing Lab research group of University of Florence, Italy, where I also received my PhD.

I work with different aspect related to the modeling of complex systems, including formal models, probabilistic models, and model-driven engineering. I am mostly interested in problems related to safety-critical and mission-critical domains. My research interests focuses on model-driven engineering tehcniques applied to the V&V systems, with a particular focus on automating quantitative performability analysis, and on formalizing system development artifacts using domain-specific languages. 

As part of my research background I have also gained some experience of industrial techniques and processes for V&V of safety-critical systems, including techniques like FMEA, FMECA, and Hazard Analysis.

Kompetanseord

  • Feiltoleranse
  • Model driven engineering
  • Modeling
  • Petri-nett
  • Programmeringsspråk
  • Pålitelighet
  • Software engineering

Forskning

I work with different aspect related to the modeling of complex systems, including formal models, probabilistic models, and model-driven engineering. I am mostly interested in problems related to safety-critical and mission-critical domains. My research interests focuses on model-driven engineering tehcniques applied to the V&V systems, with a particular focus on automating quantitative performability analysis, and on formalizing system development artifacts using domain-specific languages. 

I have been involved in research projects funded by different entities, including the EU, the São Paulo State Research Foundation, the Italian Ministry of Education and Research, and the Tuscany region.

You can find further details on my research activtities on my personal page.

Publikasjoner

You can get an overview of my publications on DBPL, Scopus or Google Scholar.

If you are interested in the details, you find a summary and a PDF version of (almost) all my publications on my personal webpage. Feel free to contact me if you have questions or comments.

You may also want to check my profile on Cristin; however the list there may not be particularly up to date or complete.

  • Kronologisk
  • Etter kategori
  • Se alle publikasjoner i Cristin

Undervisning

Emner

  • TDT4250 - Avansert programvaredesign
  • TDT4240 - Programvarearkitektur
  • TDT4165 - Programmeringsspråk

I am currently responsible for the "Programming Languages" (TDT4165) and "Advanced Software Design" (TDT4250) courses.

In the past I have taught courses on different topics, including "Object-Oriented Programming", "Software Engineering", "Software Verification Validation and Testing", and "Model-Driven Software Engineering". I have also held a course on "Scientific Writing" for Master's and PhD students.

NTNU kunnsap for en bedre verden
Studere
  • Studieprogram
  • Emner
  • Videreutdanning og deltid
  • Jobbmuligheter
  • Karriereutvikling
  • Studentaktiviteter
  • Hvorfor velge NTNU
Kontakt
  • Kontakt oss
  • Finn ansatte
  • Skolebesøk og messer
  • Spør en ekspert
  • For alumni
  • Pressekontakter
Oppdag NTNU
  • Arrangement
  • Jobbe ved NTNU
  • Bilder og video
  • Nyheter
  • Kart
  • NTNU i Gjøvik
  • NTNU i Trondheim
  • NTNU i Ålesund
Om NTNU
  • Strategi
  • Forskning
  • Satsingsområder
  • Innovasjon
  • Utdanningskvalitet
  • Organisasjonskart
  • Om NTNU
Tjenester
  • For ansatte
  • For studenter
  • Blackboard
  • Innsida

Norges teknisk-naturvitenskapelige universitet

Bruk av informasjonskapsler
Tilgjengelighetserklæring
Personvern
Ansvarlig redaktør
Logg inn