Thesis Projects
Current PhD Thesis Projects (See also publications)
Completed PhD Thesis Projects
Completed Master's Thesis Projects (The list is not exhaustive, see also publications)
-
Lasse Hakulinen (2010)
Using Computer Supported Cooperative Work systems in Computer Science education
- Case: PeerWise at TKK.
-
Sakari Lampinen (2010)
Detecting Roles of Variables in an Intermediate Language.
-
Tapio Auvinen (2009)
Rubyric - A Rubrics-Based Online Assessment Tool for Effortless Authoring of
Personalized Feedback.
-
Juha Helminen (2009)
Jype – An Education-Oriented Integrated Program Visualization, Visual Debugging, and Programming Exercise Tool for Python.
This Master's Thesis describes the rationale, design, and implementation of a programming environment for education
that integrates program visualizations and automatic assessment of programming exercises in Python.
-
Ahmad Taherkhani (2008)
Static Program Analysis for Recognizing Sorting Algorithms.
-
Petri Ihantola (2006)
Automatic Test Data Generation for Programming Exercises with Symbolic Execution and Java PathFinder.
-
Juha Sorva (2005)
Ox - A Tool For Testing Java Exercises (in Finnish).
-
Ville Karavirta (2005)
XAAL - Extensible Algorithm Animation Language.
This Master's Thesis describes XAAL or
eXtensible Algorithm Animation Language, an XML language defined to
be used as a common language for describing algorithm animations. The
target of the project is to allow data exhange between various
algorithm animation systems.
-
Jussi Nikander (2005)
Managing Automatically Assessed Exercises in TRAKLA2.
-
Juha Litola (2005)
Visualization of Internet Search Engine Results (in Finnish).
This Master's Thesis describes
VisElabor, a prototype
visualization framework for search engine results. Growth of the
Internet has turned Internet search engines into basic part of the net
infrastructure. Popularity has brought a lot of competition and search
engines have evolved immensely. User interface has however stayed
almost untouched for a decade. In this study, information
visualization methods have been scanned in order to find out how they
apply to visualization of Internet search engine results. In addition,
the possibility of implementing platform to handle the basic functions
of information retrieval systems are studied.
-
Leena Salmela (2005)
Automatic compiler building exercises (in Finnish).
This Master's Thesis describes
ACE, a tool for
automatically assessing assignments related to compilers. Besides
automatic assessment, ACE offers a graphical interface for students to
do the assignments. Currently ACE supports assignments dealing with
three kinds of automata: finite state automata, LL parsers, and LR
parsers.
-
Markku Rontu (2004)
Visual queries for a student information system.
This Master's Thesis describes
SEEQ or
System for Enhanced Exploration and Querying, a visual
database query system. It visualizes the database model, the queries
and the results using direct manipulation in an interactive, uniform,
zoomable user interface.
-
Jan Lönnberg (2003)
Visual testing of software.
This Master's Thesis describes
MVT, a prototype
visual testing tool based on Matrix.
MVT visualizes the state of a
running Java program. Most of this state consists of the data
structures of the program. This places MVT firmly in the domain of
program visualization even though Matrix is primarily designed for
algorithm visualization.
-
Otto Seppälä (2003)
Visual Java Debugger for Computer Science Education.
-
Panu Silvasti (2003)
Collecting statistical data of the usage of algorithmic exercise applets (in
Finnish).