Mirco Tribastone (IMT Lucca)

Computer Programming and Methodology

This course aims at introducing to students principles and methodologies of computer programming. Emphasis is on good programming style, techniques and tools that allow efficient design, development and maintenance of software systems. The course focuses on the design of computer applications drawing attention to modern software engineering principles and programming techniques, like object-oriented design, decomposition, encapsulation, abstraction, and testing. A significative case study is used to allow students to experiment with the principles and techniques considered in this course.

Computer Programming and Methodology

This course aims at introducing to students principles and methodologies of computer programming. Emphasis is on good programming style, techniques and tools that allow efficient design, development and maintenance of software systems. The course focuses on the design of computer applications drawing attention to modern software engineering principles and programming techniques, like object-oriented design, decomposition, encapsulation, abstraction, and testing. A significative case study is used to allow students to experiment with the principles and techniques considered in this course.

Applications of Stochastic Processes

This course offers an introduction to stochastic processes as a practical modelling tool for the quantitative analysis of systems. It covers the fundamentals of Markov chains, and presents algorithms and state-of-the-art software applications and libraries for their numerical solution and simulation. The class of Markov Population Processes is presented, with its most notable applications to as diverse disciplines as chemistry, ecology, systems biology, health care, computer networking, and electrical engineering.

Computer Programming and Methodology

This course aims at introducing to students principles and methodologies of computer programming. Emphasis is on good programming style, techniques and tools that allow efficient design, development and maintenance of software systems. The course focuses on the design of computer applications drawing attention to modern software engineering principles and programming techniques, like object-oriented design, decomposition, encapsulation, abstraction, and testing. A significative case study is used to allow students to experiment with the principles and techniques considered in this course.

Model Checking

Model checking is an automated formal verification technique whose main idea is to formally specify both the system specification and its properties (typically, by means of temporal logic) and automatically verify that such properties are satisfied (or to which extent they are). This course aims at presenting the fundamentals of model checking techniques for the verification of distributed and concurrent systems. Different classes of temporal logics will be introduced that rely on the use of semantic models to provide a logical framework for the analysis and verification of complex systems.

Advanced Topics of Computer Science

This course will be organized as series of reading groups or specialized seminars by members or collaborators of the research unit on System Modelling and Analisys (SysMA).

Probabilistic and Stochastic Model Checking

Model checking is an automated formal verification technique whose main idea is to formally specify both the system specification and its properties (typically, by means of temporal logic) and automatically verify that such properties are satisfied (or to which extent they are). This course aims at presenting the fundamentals of model checking techniques for the verification of distributed and concurrent systems. Different classes of temporal logics will be introduced that rely on the use of semantic models to provide a logical framework for the analysis and verification of complex systems.

Applications of Stochastic Processes

This course offers an introduction to stochastic processes as a practical modelling tool for the quantitative analysis of systems. It covers the fundamentals of Markov chains, and presents algorithms and state-of-the-art software applications and libraries for their numerical solution and simulation. The class of Markov Population Processes is presented, with its most notable applications to as diverse disciplines as chemistry, ecology, systems biology, health care, computer networking, and electrical engineering.

Advanced Topics of Computer Science

This course will be organized as series of reading groups or specialized seminars by members or collaborators of the research unit on System Modelling and Analisys (SysMA).

Research Topics in Computer Science

The goal of this course is to get students acquainted with research methods in computer science, including publication strategies and a classification of its main outlets (workshops, conferences, and journals). Students will receive a broad perspective on the major sub-fields computer science (e.g., programming languages, verification, software engineering, security, ?) by means of guest lectures delivered by leading experts in the respective areas.