Projects I have done
- Implemented the live range splitting optimisation for the HiPE erlang compiler as a part of the advanced compilers course.
- Designed and implemented, using B method, a partial MIPS cpu simulator. Done as a part of the course provably correct software.
Other
- A short report on the R. Milners paper "Functions as Processes" (1992). Done as a part of the semantic methods course.
Courses I have taken
- Semantic Methods, 10c (Syllabus) (grade 5)
- Applied Logic, 10c (Syllabus) (grade 4)
- Compiler Design II, 10c (Syllabus) (grade 5)
- Constraint Technology for Solving Combinatorial Problems, 7,5c (Syllabus) (grade 4)
- Programming Theory, 10c (Syllabus) (grade 4)
- Provably correct software, 10c (Syllabus) (grade 5)
- Compiler Design I, 5c (Syllabus) (grade 5)
Courses I am taking
- Advanced Computer Architecture, 10c (ends in Dec 15th)
- Real Time Systems, 10c (ends in Oct 26th)
- Domain Engineering, 7,5c (is held during Nov 8-19th)
