Paolo Zuliani
*** Please visit my new page https://pzuliani.github.io/ ***
*** Please visit my new page https://pzuliani.github.io/ ***
I am a Senior Lecturer (Associate Professor) in computer science in the ICOS group, School of Computing, Newcastle University. Earlier, I worked with Edmund M. Clarke (Carnegie Mellon University) on formal verification, model checking, and systems biology.
I am always looking for bright, motivated PhD students interested in verification, cyber-physical systems, synthetic & systems biology, or quantum computing - do get in touch.