BSc, MSc, PhD Projects

We are always interested in supervising BSc, MSc, and PhD projects within our research expertise. Please contact us if you have a project idea or are in general interested in doing a project with us, or browse our current project suggestions.

Courses

The following courses are given by the Language-Based Technology section:

BSc/BEng Courses

• 02141 Computer Science Modelling (10 ECTS)
  • Taught in Spring (13 week period)
  • Contact: Henrik Pilegaard
• 02332 Compilertechnique (10 ECTS)
  • Taught in Fall (13 week period)
  • Contact: Christian W Probst

MSc Courses

• 02142 Semantics and Inference Systems (5 ECTS)
  • Taught in Spring together with 02142 (13 week period; only for NordSecMob students)
  • Contact: Henrik Pilegaard
• 02241 Robust Software systems (5 ECTS)
  • Taught in Spring (13 week period)
  • Contact: Christian W Probst
• 02242 Program Analysis (7.5 ECTS)
  • Taught in Fall (13 week period)
  • Contact: Hanne Riis Nielson
• 02243 Access Control (5 ECTS)
  • Taught in January (3 week period)
  • Contact: Christian W Probst
• 02244 Language-Based Security (7.5 ECTS)
  • Taught in Spring (13 week period)
  • Contact: Hanne Riis Nielson
• 02246 Process Modelling and Validation (7.5 ECTS)
  • Taught in Fall (13 week period)
  • Contact: Flemming Nielson
• 02298 Analysis Techniques (2.5 ECTS)
  • Taught in Fall, requires 02241 (13 week period; only for NordSecMob students)
  • Contact: Henrik Pilegaard

PhD Courses

• 02913 Advanced Analysis Techniques (5 ECTS)
  • Taught in January (3 week period)
  • Contact: Hanne Riis Nielson