Niek Van Der Maas
Students
Name: Niek van der Maas
Email: mail at niekvandermaas.nl
Homepage: www dot niekvandermaas dot nl
Planning
2006-2007
- Software Technology Colloquium (5 ECTS)
- The Edutainment Sensor Platform
- Generating Generic Functions
- Introduction to Scala: A multi-paradigm programming language
- A System and Language for Building System-Specific, Static Analyses
- The ICFP Programming Contest
- The Pizza Compiler: extending Java in a functional way
- Heuristics for type error discovery and recovery in Helium
- PHP-Sat - Analyzing PHP
- Rewriting Haskell Strings
- Improving and Customizing Data-flow Transformations for Object-Oriented Programs
- Building GUIs in Haskell
- Beyond functional programming in Haskell: an introduction to OCaml
- A framework to distil SQL queries out of host languages in order to apply quality metrics
- Strictifying Attribute Evaluation
- Avoiding the laziness tax
- Evolution of a Haskell Programmer
- Constraints for Type Class Extensions
- Software Transactional Memory
- Exploiting Hardware Errors
- Genuinely Functional User Interfaces
- Implementing a Dependently Typed Lambda Calculus
- Equality-Based Uniqueness Typing
- Program plagiarism detection with Marble
- DSTM2: A Flexible and Extensible Transactional Memory Framework
- Mining Helium Programs with Neon
- Optimizing Dazzle
- A Generic Usage Analysis with Subeffect Qualifiers
- Design Of A Functionality Language
- Developing Interacting Domain Specific Languages
- Quick Checking Your Java Classes With T2
- The default case in Haskell: Counterparty credit risk calculation at ABN AMRO
- Automatic Instruction Set Generation
- The ICFP Contest 2007
- Comparing Program Plagiarism Detection Tools
- Implement your own Dynamic Binary Analysis using the Valgrind Framework
- F# - A Functional Programming Language within the .NET Framework
- JavaScript: Prototype based inheritance and anonymous functions
- Programming In D
- Rainbowtables and Password protection
Period 1
-
Preparation For Software Technology (15 ECTS)
Period 2
- Implementation of Programming Languages (7.5 ECTS)
- Software Architecture (7.5 ECTS)
Period 3
- Advanced Functional Programming (7.5 ECTS)
- Data Base Architectures (7.5 ECTS)
Period 4
- Automatic Program Analysis (7.5 ECTS)
- Generic Programming (7.5 ECTS)
2007-2008
Period 1
- Software Engineering (7.5 ECTS)
- Software Specification (7.5 ECTS)
Period 2
- Thesis Proposal (10 ECTS)
- Software Technology Colloquium (5 ECTS)
Period 3 & 4
- Research & Thesis writing (30 ECTS)
Thesis Project
Topic/Area
Databases, search engines, scoring/ranking algorithms, P2P?Project
Project title: Defining a relevance-scoring algorithm for P2P? -indexing search enginesAdvisor: prof. dr. Siebes
Start date: December 2007
End date: June 2008