Computer Science Colloquium
Aalborg University, Denmark
Quantitative Equational ReasoningThu 18.01.2018, 10:15, 105 minutes
Johannes Kepler University Linz, Science Park 3 0218
AbstractWe develop a quantitative analogue of equational reasoning which we call quantitative algebra. The intention is to develop a metric-based semantics for systems and programs that should replace the classic congruence (bisimulation)-based semantics. A metric space of behaviours is meant to be used for approximating computational phenomena, especially where we handle undecidable or very expensive computation. In relation to logic, this approach provides quantitative reasoning principles to replace the classic Boolean principles. This is joint work with Gordon Plotkin (Univ. of Edinburgh, UK) and Prakash Panangaden (McGill Univ., Canada).
BioRadu Mardare is Associate Professor at the Department of Computer Science, Aalborg University, Denmark, within the Distributed and Embedded Systems Unit. Prior to this, he was a Spere Aude Fellow at the Department of Computer Science, Aalborg University (Oct. 2010 - Sep. 2012), Researcher at the Microsoft Research CoSBi Centre in Trento, Italy (Oct. 2006 - Sep. 2010) and postdoctoral researcher at the Department of Information Technology, University of Trento, Italy (April 2006 - Sep. 2006).
Radu Mardare received his PhD in Computer Science in March 2006, from University of Trento (Italy), with a thesis on Modal Logics for concurrent-distributed systems. Mardare holds a MPhil (equiv.) in Logic with a thesis on Model Theory (2002, Bucharest University, Romania). He holds two BSc (equiv.) degrees: one in Mathematics (1997, "Al.I. Cuza" University, Iasi, Romania) with a thesis on Foundations of Mathematics, and one in Philosophy (2001, Bucharest University, Romania) with a thesis on Ontology of Mathematics.
Invited by Prof. Dr. Armin Biere
The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).