Share this on

Modelling, specification and verification. Why do we need them?

Added on 25/02/2014

In the frame of the Open Seminar Series at SEERC, we are pleased to announce a seminar to be delivered on the topic: "Modelling, specification and verification. Why do we need them?". The seminar will be delivered by Dr. Marian Gheorghe, from the University of Sheffield, Dept. of Computer Science. The seminar is scheduled to take place on Tuesday 4 February 2014, 16:00-17:00, at Multi-Purspose Room, 5th floor, L.Sofou Bldg.

Marian Gheorghe got a PhD in Computer Science and Mathematics from the University of Bucharest, Romania. He joined the Department of Computer Science of the University of Sheffield in 2000, where he is the head of the Verification and Testing Group. His research covers a broad spectrum of computer science and software engineering topics, like formal computational models - automata, languages, Petri nets, process algebras -, formal verification and testing, modelling and simulation, agent-based approaches, applications in biology, economy. His research results have been published throughout the years in about 100 journal and conference papers. He has edited 14 volumes and journal special issues. Some of his research has been funded by EPSRC - development of nature inspired computational models, empirical assessment of various software engineering methods, development of agent-based tools for HPC platforms, applications of membrane systems and formal verification to synthetic biology -, EU - development of new computational models, use of open source software in public administration -, Royal Academy of Engineering, Royal Society and British Council - collaborations on developing computational models, like membrane systems and associated tools. He is currently working on developing, together with colleagues at Newcastle and Warwick Universities, domain specific modelling languages for synthetic biology and tools for analysing and formally verifying systems in this area.