Master Students

The following students are currently doing a master thesis under my (co-)supervision.

Augusto Passalaqua Martins

• Subject: strictness analysis in UHC
• Form: internal
• Other supervisor(s): Atze Dijkstra (2nd)

Hidde Verstoep

• Subject: Usage Analysis with the Zero
• Form: internal
• Other supervisor(s): Doaitse Swierstra

Tim Soethout

• Subject: Type Checking in Pareci
• Form: external at Eljakim Information Services B.V.
• Other supervisor(s): Eljakim Schrijvers

Henk Erik van der Hoek

• Subject: object-sensitive analysis for PHP
• Form: internal
• Other supervisor(s): Doaitse Swierstra

Robert Kreuzer

• Subject: A Quantitative Comparison of Semantic Web Page Segmentation Algorithms
• Form: internal
• Other supervisor(s): Ad Feelders (2nd)

Rinse van Hees

• Subject: visualizing results from program analysis
• Form: external project
• Other supervisor(s): Joost Visser and Hans Bodlaender
• Where: Software Improvement Group