- Computer Security
Contact: Johannes Borgström, Björn Victor, Aletta Nylén
- Programming of Parallel Computers, 10 hp, 2012
- Advanced Compiler Design Spring 2012
- Reading Group: Seminal Papers in Verification (and Related Topics) (starts 2012-02-03)
- Reading Group on Verification of Timed Systems (started 2012-01-30, contact Martin Stigge)
- Advanced Algorithmics (Arne Andersson, starts Period 4)
- Introduction for New PhD students, Spring&Autumn 2011, Contact: Wang Yi
- Linear systems, 12hp, Spring 2011, Contact: Torsten Söderström
- Parallel Computing: Theory - Hardware - Software, 7.5hp, Spring 2011, Contact: Jarmo Rantakokko
- Numerical Methods for Conservation Laws and Hyperbolic PDEs, 5 hp, Spring 2011, Contact: Per Lötstedt
- Numerical Methods for ODE , Autumn 2011, Contact: Per Lötstedt
- Numerical Linear Algebra , Autumn 2011, Contact Maya Neytcheva
- Classical Articles in Numerical Analysis , Spring 2012, Contact: Gunilla Kreiss
- Real-Time Systems with Mixed-Criticality Applications, 5hp, Spring 2011, Contact: Wang Yi
x
Search results appear here...
