FINAL YEAR STUDENT PROJECTS 2010-2011
(could be updated)

Dr Vladimir Sazonov

E-mail: sazonov at liverpool.ac.uk
Phone: 795-4270
Location: Room 1.13


Research Projects


1R: Implementation of a reducibility process for a set-theoretical Delta-language.

2R: Interface for Web-like Databases.




Problem Solving Projects


3P: Demonstration tool for teaching and learning of bisimulation algorithm for semistructured databases.

4P: Interface for Writing Logical Proofs in LaTeX.

(Note that this project is not logical. It is about formal and visual tree-structure of logical proofs rather than about their logical meaning and correctness.)

5P: Interface for Writing PSTRICKS Commands for Drawing Pictures in LaTeX.


6P: Animated version of the lambda-calculus.



Development Projects


7D: Demonstration tool for teaching and learning of a graph generation procedure from set equations by using PSTRICKS.


8D: Computer based support for PhD (pre-)submissions.



Some references mentioned in these Projects may be found via my home page Dr Vladimir Sazonov (click to Papers and Publications there).