Amir Niknafs Kermani I am currently a PhD student in the Computer Science Department of the University of Liverpool under the supervision of Dr Boris Konev and Prof Micheal Fisher. My PhD project is focused upon the Temporal Logic in Semmetric System.

Contact


Email

niknafs at liv . ac . uk

Office

1.09

Address

Department of Computer Science
University of Liverpool
Ashton Building
Liverpool L69 3BX
United Kingdom