Welcome to my webpage

Kidane Yemane

Hi! I'm a research fellow at the university of Birmingham, School of Computer Science. My research interests cover formal methods, mathematical approaches to resoning about concurrency, type theory, coalgebraic theory, domain theory, categorical logic. Presently, I am supported by an EPSRC grant, whose title is `Semantics of non determinism': Principal investigator is Paul Levy.

My Erdős number is ≤ 4 Sunday 04th 2008f May 2008 01:55:07 AM

Previously, I was a Ph.D student at Uppsala University

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 CS Sept. 3 - 6, 2005, University of Wales Swansea

Publications

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

"Aye, I suppose I could stay up that late." -- Maxwell, on being told on his arrival at Cambridge University that there would be a compulsory 6 a.m. church service.