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
- Introduction? , our areas of study? , and our curriculum? .
- career profiles?
- About us: Center for Software Technology?
- 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?