Hi! I. did a PhD under supervision of Björn Victor on the faculty of Information Technology Department of Computer Systems (DoCS) at Uppsala University, and a postdoc at University of Birmingham under the supervison of Paul Blain Levy. My interests cover formal methods, mathematical approaches to resoning about concurrency, type theory, coalgebraic theory, domain theory, categorical logic.

My Erdős number is ≤ 4

Events CMCS 2004 (7th Workshop on CMCS, Barcelona, 27-29 March 2004) ETAPS 2005 (ETAPS 2005, 2-10 April 2005 Edinburgh, Scotland) CalCo 2005 First Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2005, University of Wales Swansea, UK Publications Exploratory functions on nondeterministic strategies, up to lower bisimilarity. with Paul Blain Levy. Submitted to MFPS 2008. Relationally Staged Computation in Calculi of Mobile Processes. with Neil Ghani, Björn Victor. In Proceedings of CMCS'04.   ENTCS volume 106, pp 105-120. Elsevier, 2004. A unifying model of variables and names with Marino Miculan. In Proceedings of FOSSACS'05. Number 3441 in LNCS, pages 170-186, 2005. An extended (revised)version is at UDMI152004 Modelling Fusion Calculi using HD-automata. with Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, and Björn Victor  In Proceedings of CALCO'05. Number ? in LNCS, 2005. HD-automata for open bisimulation. with Marino Miculan, and Emilio Tuosto  In Submitted to FOSSACS'06 . Polyadic History-Dependent Automata for the Fusion Calculus with Emilio Tuosto, Björn Victor In TR2003-062 Teaching Computer Security Category Theory Talks Profundis Workshop 04,Revereto Italy CMCS 04, Barcellona, Spain ETAPS 05 Edinburgh, Scotland Grants Sida/SAREC FET-Global Computing Liljewalchs © Kidane Yemane Last modified: Date: 2005/02/15 14:12:12