Potential Master's and Ph.D. Thesis Projects
Protocol and Security Testing
On different Topics
- Finding Weak Memory Model bugs using the SIMICS Simulator
- [2010-12-09]. Thesis project, Interview study concerning employability among IT-Alumni, see here
- Testing and Model Generation
- Performance of Parallel Programs on Multicore Platforms
- Verification and Analysis of Concurrent Algorithms
- [2011-01-18]. See here for a thesis project on Redesign of Web-site for the Master Students at the Department of Information Technology, Uppsala University.