Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
teaching [2012/10/26 14:24] – jfabry | teaching [2020/08/28 17:03] – [Courses] etanter | ||
---|---|---|---|
Line 2: | Line 2: | ||
===== Courses ===== | ===== Courses ===== | ||
- | + | | |
- | | + | * [[https://users.dcc.uchile.cl/ |
- | * [[teaching: | + | * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]] |
- | * [[teaching: | + | * [[teaching:cc7110|Programming Languages II (CC7110)]] |
- | * [[https://wiki.dcc.uchile.cl/ | + | * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification |
- | * [[teaching:CC4301| Arquitectura de Computadores | + | * [[teaching:CC7126|Análisis |
- | * [[teaching:cc68s|Software Quality and Software Evolution | + | * [[teaching:CC5115|Programación Funcional (CC5115)]] |
- | * [[teaching:cc3002|Programming Methodology | + | |
- | * [[teaching:cc6403|Seminario Calidad | + | |
- | + | ||
- | ===== Thesis Proposals ===== | + | |
- | + | ||
- | 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 [[thesis|on a separate page]]. | + |