Prof. Dr. Scient. Radu Mardare
|
I am a professor at the Department of Computer & Information Sciences, University of Strathclyde. Prior to this, I was a Professor at Aalborg University (Denmark), researcher at the Microsoft Research CoSBi Centre (Italy) and researcher at the University of Trento (Italy). I received my PhD in Computer Science, from University of Trento (Italy), with a thesis on Modal Logics for concurrent-distributed systems. I hold a MPhil (equiv.) in Logic with a thesis on Model Theory (Bucharest University, Romania), a BSc (equiv.) in Mathematics (“Al.I. Cuza” University, Iasi, Romania) with a thesis on Foundations of Mathematics, and a BSc (equiv.) in Philosophy (Bucharest University, Romania) with a thesis on Ontology of Mathematics. Research topics of interest: |