CSE Thesis Topics
Sorted by Supervisor name. If you want to sort it differently, click on the heading of the field you want to sort by.
Click on the topic title to get more details about that topic.
6 records found.
|No||193||Proving theorems in and about epistemic logics in Isabelle and PVS||Kai Engelhardt||Research|
|No||806||Disecting Refactoring||Kai Engelhardt||Research|
|3306||Identification and resolution of issues in systems security||Kai Engelhardt||R & D|
|No||3355||Super Mario Galaxy problem||Kai Engelhardt||Research|
|No||3473||Fairness for Event-B||Kai Engelhardt||R & D|
|No||3484||On degrees of nondeterminism in finite automata and related concepts||Kai Engelhardt||Research|