Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching [2012/10/26 14:24] – jfabry | teaching [2018/01/31 11:16] – [Courses] folmedo | ||
---|---|---|---|
Line 3: | Line 3: | ||
===== Courses ===== | ===== Courses ===== | ||
- | * [[teaching: | ||
- | * [[teaching: | ||
- | * [[teaching: | ||
* [[https:// | * [[https:// | ||
- | * [[teaching:CC4301| Arquitectura de Computadores | + | * [[teaching:cc3002|Programming Methodology |
- | * [[teaching:cc68s|Software Quality and Software Evolution | + | * [[teaching: |
- | * [[teaching:cc3002|Programming Methodology | + | * [[teaching:CC4301| Arquitectura de Computadores |
+ | * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]] | ||
* [[teaching: | * [[teaching: | ||
- | + | * [[teaching: | |
- | ===== Thesis Proposals ===== | + | * [[teaching:cc71y|Programming Languages II (CC71Y)]] |
- | + | * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]] | |
- | There is a variety of possibilities to develop either a **master thesis** or an **engineering thesis** in one of the areas of PLEIAD, including programming languages, reflection, aspects, omniscient debugging, ambient intelligence, | + | |
- | If interested contact | + | |
- | + | ||
- | The proposals are located | + |