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:19] – [Courses] abergel | teaching [2018/01/31 11:16] – [Courses] folmedo | ||
---|---|---|---|
Line 3: | Line 3: | ||
===== Courses ===== | ===== Courses ===== | ||
- | | + | * [[https:// |
- | * [[teaching: | + | * [[teaching: |
- | * [[teaching: | + | * [[teaching:cc4101|Programming Languages |
- | | + | * [[teaching:CC4301| Arquitectura de Computadores |
- | * [[teaching:CC4301| Arquitectura de Computadores | + | * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]] |
- | * [[teaching:cc68s|Software Quality and Software Evolution | + | |
- | * [[teaching:cc3002|Programming Methodology | + | |
* [[teaching: | * [[teaching: | ||
- | ===== Thesis Proposals ===== | + | * [[teaching: |
- | + | * [[teaching:cc71y|Programming Languages II (CC71Y)]] | |
- | 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, | + | * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]] |
- | If interested contact | + | |
- | + | ||
- | The proposals are located | + |