Web Home

Master Program Software Technology

The Master Program Software Technology studies techniques that are employed in the production of software. We start from sound theoretical foundations, with a strong focus on real applicability. The program includes courses on programming methodology, programming formalisms (languages), programming tools, software architectures, component based programming, specification formalisms and verification techniques (correctness proofs, theorem proving).

The Master Program is internationally oriented: the program is open to foreign students, and courses are taught in English. Students have the opportunity to follow courses and do projects at foreign universities and institutes. The program caters for students with a desire to obtain a Ph.D. position or a research position in a company, and for students who are interested in jobs as software designer in industry. The program results in a degree Master of Science in Computer Science. The program is offered by the Center for Software Technology of the Institute of Information and Computing Sciences at Utrecht University.

The slides presented at Information Evening for Utrecht beta master studies, February 22nd 2007 are available. Download

Overview

• Introduction? , our areas of study? , and our curriculum? .
• career profiles?
• supervision?
• About us: Center for Software Technology?
• Admission?
• International Exchange?

This information is also available on a single page? for easy printing.

Check-list for New Students: here? .

Thesis Project & Defenses

How to start it, choosing your topics, tips, and procedures: see here?