Adriano Galati

Name:
Email:
Homepage:

Planning

indicate which courses or other actitivities you plan to take in which period (for convenience links to ST courses have been added; replace if necessary)

2005-2006

• Software Technology Colloquium (one meeting each week during year 1 and 2)

Period 1

• Software Engineering
• Program Verification
• Software Specification

Period 2

• Software Architecture
• Implementation of Programming Languages
• Data Base Architectures

Period 3

• Program Transformation
• Advanced Functional Programming

Period 4

• Distributed Object Systems
• Generic Programming
• Automatic Program Analysis

2006-2007

Period 1

• Networked Objects
• Type Systems

Period 2

• Programming Environments
• Software Generation and Configuration

Thesis Project

Topic/Area

_description of the area of your thesis project, e.g., compilation, program analysis, generic programming, program transformation; what _

Project

Project title:
Advisor:
Start date:
End date:

Description

short description (abstract) of the thesis project; should be accompanied with a 10 page paper outlining the state of the art (literature), objectives, research approach

Thesis