Welcome to my website

Office hours: Tuesdays 2-4 or email me.
   

I am interested in large and complex distributed systems such as Cloud  and Service oriented Architectures. Current research activities are aimed at discovery of new methods of  monitoring and diagnosis of malicious behavior in Cloud, automated techniques to discover undesirable scenarios such as violations of SLA and QoS in large Distributed Systems and automated code generation. We work closely with various industrial research laboratories  BT, IBM and HP, among others..

I am also interested in the use of modelling for producing more dependable software and systems solutions in shorter development cycles and at a lower cost. In particular,  we have developed a number of  technologies for the Design, Analysis and automated Implementation of large Distributed Systems, Component-based systems or Service oriented Architectures and recently Cloud. I enjoy application of automated model-based techniques to solving problems in large distributed systems.

Modelling languages that we use include Petri nets, Timed Automata and Alloy. I am also very keen on languages such as UML (in particular OCL) and Service oriented languages such as BPEL, BPMN and SBVR. For further information visit my research page which includes a short description of the current projects and Software page listing some of the tools we have developed on the basis of the current research.

I am fortunate for having ongoing collaboration with colleagues from the UK, EU, Japan and US and 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. We are always looking forward to collaborative research as an opportunity to learn while having fun :-)

Current research themes include:

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).

Former and current PhD students and Research fellows

  Topic of Research Graduation
Thanos Staikopolous Model Driven Approaches to Design and Implementation of Web Services
 2008
Kyriakos Anastasakis Model Driven Approaches to Analysis of UML models via Alloy
 2009
Seyyed Shah MDA and Automated Test Generation
 2011
Mohamed Ariff Ameedeen Model Driven Analysis and Synthesis of Dynamic Models
 2011
Mohammed Alodib Automated Creation and Deployment of Diagnosers for Telecom Service oriented Architectures
 2011
Emsaieb Geepall MDA and Analysis of Spatio Temporal Access Control for Cyber-physical systems
 -
Philip Weber Process Mining and application to Telecom Service oriented Architectures (joint supervision with Peter Tino)
 -
Imran Sarwar Bajwa Automated Software Modelling using Natural Language Processing and MDA (Joint supervision with Mark Lee)
 -
Xiaofeng Du (post doc) Fault Diagnosis and Monitoring of Service oriented Architectures
2012
Marwah Alansari Modeling and Automated detection of Malicious Behavior in Cloud (Joint supervision Rami Bahsoon)
 -
Imran Khan (Research Fellow) Hardware techniques for Security and Privacy in Cloud
 2012
Mohammed Alwanain Automated Synthesis of complex Dynamic Models
 -
John Saxon Automated Detection of Malicious Behavior in Cloud
 -
I Made Murwantara Software Product Line and application to Energy
 Management in Cloud		 -
     

Teaching- past and present

  • Enterprise Systems (New module)
  • 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, Keith Harrison, Chris Dalton, Andrew Norman, Joel Last and Adrian Shaw.

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 while based at IBM Zurich. In 2008, I was awarded BT Research Fellowship and worked at BT research Laboratory, Ipswich, UK. In 2011 and 2012, I was based at Cloud and Security Research Group at  HP Lab. in Bristol for 12 months.