Theses

Generazione automatica di asserzioni da modelli di specifica

Automatic assertion generation from model-based specifications
Mauro Baluda, University of Milano Bicocca, Feb 2009.
Master Thesis [PDF]

Teaching/Assisting

Master's Orientation Week

fall semester 2009/2010 (teacher)

Software Atelier I

fall semester 2008/09 (teacher)

The ultimate goal of the Software Atelier is to teach the student to become a computing professional. The main objective of Software Atelier I is to learn how to produce technical documentation and present technical results.

The atelier gives an introduction to the role of computing and computer scientists in the professional world as well as society in general and provides an environment for the students to learn about and use specific software tools, work with other students in group projects, and present the results of their projects to the class. The atelier will be held every semester. The emphasis in the first semester is on individual work, with a small group project at the end.

Abstract Algebra and Mathematical Reasoning

fall semester 2007/08 (assistant)

Abstract algebra is the study of algebraic structures, such as groups, rings, fields, and vector spaces. In this course, we will study each of these structures in detail, developing theory and giv- ing examples of practical applications. For example, group theory is of great importance to public-key cryptography, polynomial rings lead to powerful methods of counting, and finite fields play a large role in modern coding theory. The larger goal for the course is for you to strengthen your proof-writing skills. This will be accom- plished by studying a bit of formal logic and proof techniques, but mostly by seeing and writing lots of proofs.

Computer Architecture

winter semester 2005/06 (assistant)
winter semester 2006/07 (assistant)
fall semester 2009/2010 (assistant)

Computer systems are a combination of their hardware and software. Whether you intend to design the next breed of microprocessor, the next Java compiler, or the greatest C++ application, a computer scientist is best served by understanding what is going on under the hood of the computer. Why? Simply put, knowing how a program is translated into the electronics allows it to be more efficiently written. This course will address issues such as digital logic, machine representation of data, basic CPU and instruction-set architecture, memory organization, I/O interfaces, and architecture alternatives.

Software Atelier II

summer semester 2006 (assistant/teacher)

A hands-on course on object-oriented design and programming. Use a large spectrum of tools from high-level human oriented tools to low-level machine-oriented tools including shell programs, IDEs, project management, bytecode disassemblers, decompilers, and debuggers.