Manuela  Luminita  BUJORIANU

 

Centre for Interdisciplinary Computational and Dynamical Analysis

 

                   Teaching                 

 

 

 

 

 

2009 – 2010   

University of Manchester 

Lectures on Mathematics        

2009

University of Manchester

Tutorials on Mathematics

2008

University of Saarbrucken

MSc – Computer science - Course on Hybrid Systems

2007

University of Twente

Tutorials on Formal Methods

2005

Anglia Ruskin University Cambridge 

Risk analysis Lectures

1995

A.I. Cuza University Iasi 

Tutorials on Complex Analysis

1994-2000

Anghel Rugina College of Further Education 

Mathematics, Information Technology, Accounting

1993-1994 

High School teaching, Botosani, Romania

Mathematics

 

 

 

 

 

 

Mathematics 2P0/2P1  

MATH29631

Lecture slides     

First semester 2009 – 2010    School of Electrical Engineering and School of Civil Engineering, University of Manchester

This course develops the theory of partial differentiation and the calculus of scalar and vector quantities in two and three dimensions. These topics represent a vital prerequisite for almost all the later courses in applied mathematics and theoretical physics. Attended by around 150 undergraduate students.

 

 

 

 

Stochastic Hybrid Systems  

 

 

First course on for MSc students at University of Saarlandes, Saarbrucken, Germany

    Spring Semester 2007

The aim of this course is to expose participants to Stochastic Hybrid Systems. Theoretical results will be illustrated and motivated by applications in different important fields.

Stochastic hybrid systems are systems that combine continuous dynamics with discrete/logic components and are affected by uncertainty. From a theoretical point of view, the study of this class of systems is particularly challenging because they exhibit the complexities that arise from the interaction of

*              discrete-event systems,

*              continuous dynamics, and

*              stochastic processes, either affecting the discrete-event system transitions or entering the continuous dynamics.

 

 

 

 

 

 

Modelling and Analysis of Concurrent Systems

13531 MACS1

Formal Methods Tutorial

First Semester 2007-2008, EWI, University of Twente

Formal specification using Z.

 

 

 

 

 

 

                                               

 

 

 

 

You are here: Mathematics > Staff members > Dr. Manuela Bujorianu > Teaching