Welcome to My Website
From July 2011 to January 2012 I will be based at HP research laboratory, Bristol.
My
research aims at development of methods of producing more dependable
software systems in shorter development cycles and at a lower cost.
In the past few years, my work has been focused on model-based
technologies for the Design, Analysis and automated Implementation
of large Distributed Systems, Component-based systems or Service
oriented Architectures.
I make use of techniques developed for formal languages such as
Petri nets, Timed Automata and Alloy. I am also very keen of
semi-formal languages such as Unified Modelling Language (in
particular OCL) and Service oriented languages such as BPEL, BPMN
and SBVR. I am interested in the transformation of models captured
in one modelling language to another using Model Driven Architecture
so that to benefit from the advantages of having multiple
representations in different languages.
My research activities are mostly guided by practical problems
facing software industry. For further information visit
my
research page which includes a short
description of the current projects and
Software page
listing some of the tools developed in
Birmingham on the basis of our current research.
I am fortunate for having ongoing collaboration with colleagues from the UK, EU, Japan and US. I have been visiting researcher at Osaka University, Colorado State University, Massachusetts Institute of Technology, Michigan state University, Technische Universität Berlin and University of Gent. I am heading a team of researchers at Birmingham University. I am currently collaborating with researchers from BT, IBM and HP, among others. I am always looking forward to collaborative research as an opportunity to learn while having fun :-)
Current research themes include:
-
Model Driven Architecture
-
UML2Alloy: Analysis of UML model via Alloy (extension to Petri nets)
-
Fault tolerance
-
Quality of Service: Modelling, Design and Analysis (Model Checking)
If you are interested to perform research, especially at PhD level, in any of these areas, email me (B.Bordbar [AT]cs.bham.ac.uk).
Conference and events
I am Program Committee member of
- ACM/IEEE International conference on Model Driven Engineering Languages and Systems (MODELS 2011)
- European Conference on Modelling Foundations and Applications (ECMFA 2011)
- IEEE conference on Enterprise Distributed Object Computing (EDOC 2011)
- IEEE International Conference on Application of Concurrency to System Design (ACSD 2011)
- Third Workshop on Behavioural Modelling - Foundations and Applications (BM-FA 2011)
- First Workshop on Process-centred approaches for Model-Driven Engineering (PMDE 2011)
- IEEE International Workshop on the Future of Software Engineering FOR and IN the Cloud (FoSEC 2011)
- Workshop on IT Service Management and its Support (ITSMS 11)
- 8th International Conference on Mobile Web Information Systems (MobiWIS 2011)
- International Workshop on OCL and Textual Modelling (OCL 2011)
- older ...
Former and current PhD students and Research fellows
-
Thanos Staikopolous (graduated 2008)
-
Kyriakos Anastasakis (graduated 2009)
-
Seyyed Shah (graduated 2011)
-
Mohamed Ariff Ameedeen (graduated 2011)
-
Mohammed Alodib (graduated 2011)
-
Emsaieb Geepall
-
Philip Weber
-
Imran Sarwar Bajwa
-
Dr Xiaofeng Du
Teaching- past and present
- Internet Computing Workshop
- Fundamentals of Computer Science; Intro to CS
- Software Systems Components
- Distributed Systems (Extended Distributed Systems)
- Student Projects
- Timetable and availability
Click on this link for my Teaching page including link to course details, Slides, Handouts,...
Collaborations
I am very fortunate to have worked with and have the following people as my co-authors and friends:
Rene Boel, David Akehurst, Dirk Draheim, Gerald Weber, Russell Beale,John Derrick, George Jiroveano, Gill Waters, John Pym, Rachid Anane, Kozo Okano, David Holding, Juliana Bowles, Athanasios Staikopoulos, Kyriakos Anastasakis, Gareth Howells, Matthias Horn, Ina Schulz, Peter Rodgers, Nigel Dalgliesh, Luisa Giacomini, Geert Stremersch, Michael Evans, Steen Brahe, Guadalupe Ortiz,Juan Hernández, Sukhvir Dhillon, Geri Georg, Indrakshi Ray, Basim Majeed, Mohammed Alodib, Mohamed Ariff Ameedeen, Philip Weber, Emsaieb Geepall, Seyyed Shah
Industry: Among others, I have ongoing industrial collaboration with IBM Research (Switzerland), BT Research Laboratory (UK), Thales (UK), Danske Bank (Denmark) and HP research laboratories (Bristol). In the past, I worked as an IBM visiting Scientist. In 2008, I was awarded BT Research Fellowship. In 2011, I will be spending six month working at HP.

