1

DMU Summary

• One of the largest universities in the UK• Range of activities from vocational Further

Education courses to research Doctorates• Wide range of disciplines• Flexible Partnerships• World class research• High professional regard

DMU Levels of study

• Undergraduate Programmes

• Postgraduate Programmes

• Part-time/Distance Learning

• Research

• Further Education (International Foundation Programme)

2

DMU Facts

• The basics• Two centres – Bedford and Leicester - each

with their own distinct character • Six faculties offering over 400 courses • More than 23,000 students and 3,500 staff • 1000 International students (UK) & 1500

International students (overseas)• Strong network of Associate Colleges.

DMU Facts

• Excellent employment prospects• almost 97% of our postgraduates entered

employment, further study or a combination of the two within 6 months of completing their course

• Highly rated by employers - especially for Business and Information Technology

• Excellent links with business and industry.

3

DMU Facts• High quality teaching• High standards recognised in recent Quality Assurance Assessments: • Politics gained the highest possible score of 24 • Sport and Leisure scored 23 • Land and Property Management scored 23 • Psychology scored 22 • Nursing, Midwifery and Health Studies scored 22 • Dance and Drama scored 22 • CSE is yet to be assessed• The leading post-1992 university for research • Over 1000 research students and 500 staff

DMU Facts

• The future• £50 million investment across the

University.

4

Faculty of Computing Sciences and Engineering (CSE)

• With over 170 academic staff, 85 support staff, and around 2,700 students (including approximately 300 postgraduate students)

• CSE is one of the largest foci of advanced technology in European Universities.

Faculty of Computing Sciences and Engineering

• The Faculty has a long record of excellence in teaching across its wide range of courses at both undergraduate and postgraduate levels, several of which have links with major employers including the BBC, Confetti Studios, BAE, MoD and Rolls Royce.

5

Faculty of Computing Sciences and Engineering

• CSE has many groups engaged in high-class, leading edge research. These groups are spread across the broad spectrum of technologies embraced by the faculty. The income generation activities give business and industry access to our expertise.

Computer Science Research

• Software Technology Research Laboratory (STRL)

• Centre for Computational Intelligence (CCI)

• Centre for Computer and Social Responsibilities (CCSR)

6

Study opportunities

• MSc (One year taught course)1. BioInformatics2. Computational Intelligence & Robotics3. Distributed System Integration4. Computing5. Information Technology

• Phd (Three years by research)– High success rate – Quality supervision

Delivering world class training, research anddevelopment in software systems

Software Technology Research Laboratoryhttp://www.cse.dmu.ac.uk/STRL/

7

Delivering world class training, research anddevelopment in software systems

The Software Technology Research Laboratory (STRL) at DMUis committed to a programme of sustained academic excellence in research, training and postgraduate education in Software Systems.

MISSION

Delivering world class training, research anddevelopment in software systems

The study, analysis and advance of formal approaches to the specification, design and (re-) engineering of computing systems with the emphasis being placed on those which are used in (distributed) real-time, safety critical and high-integrity applications.

Principal Aim

8

Delivering world class training, research anddevelopment in software systems

• To be one of the leading national and international sources of expertise on the development of provably correct computer systems, methods and tools.

• To play a key role in enabling the University to develop an international reputation for the industrial production of provably correct computer systems.

Significance

Delivering world class training, research anddevelopment in software systems

• Theoretical Foundation

• Software Evolution

• Service-Based Computing and Semantic Web

• Critical Systems

• Computer Security

• Software Architecture and Design Patterns

• Optimization and Intelligent Systems

9

Research Centres

DTC-DIF

The STRL is a member of the first MoD–funded Defence Technology Centre in Data and Information Fusion (DTC-DIF). Led by General Dynamics UK, the members of the DTC-DIF are:

BT, QinetiQ, Imperial College and the Universities of Bristol, Cardif, Cambridge, Southampton, De Montfort, Surrey and Cranfield.

UTC-SE

The STRL has the first UK University Technology Centre - (UTC) in Software Evolution. The centre is funded by Software Migrations Limited (SML) and aims to develop industry-strength techniques for software evolution. The UTC plays a fundamental role in Technology Transfer within the STRL.

STRL Management Structure

Prof Hussein ZedanTechnical Director

MOD DTC-DIFHussein Zedan

UTC – SMLHussein Zedan

TFBen Moszkowski

Lindsey Trent – STRL Co-ordinator and PA

SEHongji Yang

SbCAmelia Platt

CRSAntonio Cau

OPSamad Ahmadi

CSCHussein Zedan

CA-DPAlan O’Callaghan

Antonio Cau Martin Ward

MOD DTC - DIF – Defence Technology Centre

UTC – SML – University Technology Centre

TF – Theoretical Foundation

SE – Softw are Evolution

SbC – Service Based Com puting and Sem antic Web

CRS – Critical System s

OP – Optim isation and Intelligent System s

CSC – Com puter Security

CA – DP – Com puter Architecture and Design Patterns

Tim Hardcastle

Hussein ZedanAntonio CauJordan Dimitrov

Hussein ZedanAntonio CauMartin Ward

Hussein ZedanHongji YangAntonio Cau

Hussein ZedanJordan DimitrovMikhail Goman

Hussein ZedanAntonio Cau

Antonio CauJordan DimirovAmelia Platt

Hongji YangBrian BramerMikhail Goman

Graduate Students PhD/MPhilGraduate Students PhD/MPhil

10

Technologies

FermaTA re-engineering workbench. This is a core product of SoftwareMigration Ltd (SML) which is used in various application domains including finance and telecommunication.

AnaTempuraAn executable specification and validation engine.

SANTA A security enforcer agent. This is being used within the DTC-DIF consortium.

GriPSPerformance evaluator for Grid computing system.

ITL-WorkbenchA toolset of automated theorem provers, model checkers and refinement for ITL.

GOODCurrently used by IBM National EAD Centre of Competency.

KritA toolset for Flight Clearance system. The tool is being used by QinetiQ flight clearancetrials on weapons carriage on in-service aircraft.

The Team

Prof. Hussein Zedan, Ph.D. (Bristol), CEng.(STRL Technical Director)Formal methods, verification, semantics, critical systems, re-engineering, Computer Security, CBD, IS development.

Prof. Hongji Yang, Ph.D.(Durham) MIEEE.(STRL Deputy Technical Director)Reverse engineering, software maintenance, programme transformation, metrics, internet software.

Prof. Mikhail Goman, Ph.D. (TsAGI, Moscow Institute of Physics and Technology) AIAACritical Systems, DNA Computing, Active control, movable aircraft model, physical simulation.

Dr Ben Moszkowski, Ph.D. (Stanford) MIEEE.Formal methods, temporal logic, executable specification, verification.

Dr Antonio Cau, Ph.D. (Kiel, Germany), MIEEE, MKIVI (Holland).Formal methods, verification, compositionality, executable specification, re-engineering.

Dr Martin Ward, DPhil. (Oxford) MIEEE.Formal methods, reverse engineering, programme transformation.

11

The Team … cont.

Dr. Amelia Platt, Ph.D. (De Montfort)Service Based Computing, Computer Security, Networking, Distributed Systems.

Dr. Samad Ahmadi, Ph.D. (Kent)Clustering and Location problems, Scheduling and Timetabling, Humanizing Automated scheduling systems by learning from human problem solving abilities, Service Based Computing, Data Mining, Theoretical aspects of Optimisation.

Dr. Jordan Dimitrov, Ph.D. (De Montfort)Service Based Computing, Critical Systems, Computer Security, Formal Methods, Hardware/Software Codesign, Temporal Logic.

Alan O’Callaghan, M.Sc. (Dublin)Object-oriented design and analysis, Pattern, Software architecture.