Completed Undergraduate Projects
The following projects where either individual work or work of a group of 2 students:
- Development of a GUI Simulator of the Tomasulo algorithm for out-of-order execution in microprocessors
- Development of programs in Unix and Win32 (in C/C++), implementing interprocess synchronization, messaging, threading system calls and simulating the Round Robin Protocol
- Development of a client-server chat program in C, using UNIX sockets
- Modification of an NTUA educational OS called EMPIX (based on XINU, MINIX-language: C)
- Development of a Linux kernel module for a character device
- Design of a database (using E-R model) and implementation using MS SQL Server. Development of a user-friendly interface in C# to manipulate the database
- Development of a knowledge system in Protege-OWL for modelling a music database
- Development of a compiler in C for a procedural programming language Dana
- Presentation of the strong normalization theorem for the lambda calculus type System F
- Development in MATLAB of a simulation of a robotic arm kinematics
- Development in C# of GUI A-star algorithm simulator [Source VS Project] [Binary Windows Installer]

- Development of a printed circuit design for a digital timer using National Instruments MultiSim package
- Development of an expert system for fault isolation for the JT9D7A engine (CLIPS Production System)
Other Projects
The following are some independent projects:
- A simple game with an automated opponent to play against. Whoever completes a square earns a point. Just double click between two dots after you run the program so as to put a line.
[Source VS project] - A simple implementation of a 4ln(k+1) LP-rounding approximation algorithm for the multicut problem in MATLAB using MATLAB BGL library
[Matlab Source, needs BGL library for MATLAB]
Presentations
The following are some either individual or team presentations:
- Gomory-Hu Trees and Application on a 2-2/k Approximation Algorithm for the min kCut problem [PDF] [Source in C++ using GNU lpsolve]
- Undecidability [PDF]
- Mechanism Design in Sponsored Search Auctions [PPT]