Dragos,Ionita

Personal Data

Master programme: Software Technology
Name: Dragos Ionita
Year: 2009
Mentor: Jeroen Fokker

Plan

• M = Mandatory course
• E = Elective course
• D = Defeciency course
• F = Free choice
• S = Seminar
• STC = Software Technology Colloquium
• Th = Thesis project
• A = Advanced Courses

Year 2009

Block 1

• FLPC - Functioneel program., talen & compilers D 7.5
• SWE - Software Engineering M 7.5

Block 2

• CCO - Compiler Construction M 7.5
• PV - Program Verification A 7.5

Block 3

• Experimentation Project F 7.5
• AFP - Advanced Functional Programming A 7.5

Block 4

• DBA - Database Architectures S 7.5
• APA - Automatic Program Analysis A 7.5
• Models of Computation E 7.5

Year 2010

Block 1

• GP - Generic Programming A 7.5
• Software Technology Colloquium Th 5

Block 2

• Thesis Proposal Th 10

Block 3

• Research and Thesis Writing Th

Block 4

• Research and Thesis Writing Th 30

Checksums

• Mandatory courses (M) : 15
  
• Advanced courses (A) : 30
  
• Deficiency courses (D) : 7.5
  
• Elective courses (E) : 7.5
  
• Free choice (F) : 7.5
  
• Seminars (S) : 7.5
  

Colloquium and Projects

Experimentation project: Evaluation strategies, supervised by Andres Löh
Colloquium topic : "A Library for Light-Weight Information-Flow Security in Haskell", supervised by Jurriaan Hage
Thesis project : "Binding Time Analysis for Program Specialization in the ESPranto Synchronous Parallel Language", supervised by Doaitse Swierstra (Utrecht University), Robert van Herk, Joost Meijles (Serious Toys)