Menu

School of Electronic Engineering and Computer Science

people menu

Dr Michael Tautschnig

Lecturer

Research Interests

Software Verification
Concurrency
Decision Procedures

Return to top