Welcome to Dr. Emil Vassev from
Concordia University in Montreal, Canada to the Systems Research Group. Emil recently completed his Ph.D. in Computer Science and his thesis was on ASSL a "Framework for Specification and Code Generation of Autonomic Systems".
ASSL: Autonomic System Specification Language is a framework that implies a multi-tier structure for specifying autonomic systems. The ASSL framework is defined through formalization tiers. Over these tiers, ASSL provides a layered structure for specifying ASs as formal executable models. ASSL defines an AS with its interaction protocol and autonomic elements.
Earlier this year Emil had a paper with Mike Hinchey the new research director for Lero so we expect this collaboration to continue as new ones develop with us all here in the SRG. The paper was entitled "Towards an ASSL Specification Model for NASA Swarm-Based Exploration Missions." Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008).
Emil was awarded a highly competitive IRCSET Postdoctoral Fellowship earlier this year to join me as a postdoc in the SRG. Over the coming weeks Emil will give some informal seminars on his research both here and in Limerick. In time he will give a seminar during an RSS and as a school seminar.