DMU Summary

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

2
DMU Levels of study

• Undergraduate Programmes
• Postgraduate Programmes
• Part-time/Distance Learning
• Research
• Further Education (International
  Foundation Programme)

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

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

5
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

6
DMU Facts

• The future
• 50 million investment across the University.

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

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

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

10
Computer Science Research

• Software Technology Research Laboratory (STRL)
• Centre for Computational Intelligence (CCI)
• Centre for Computer and Social Responsibilities
  (CCSR)

11
Study opportunities

• MSc (One year taught course)
• BioInformatics
• Computational Intelligence Robotics
• Distributed System Integration
• Computing
• Information Technology
• Phd (Three years by research)
• High success rate
• Quality supervision

12
Delivering world class training, research
and development in software systems
Software Technology Research Laboratory http//www
.cse.dmu.ac.uk/STRL/
13
Delivering world class training, research
and development in software systems
MISSION
The Software Technology Research Laboratory
(STRL) at DMU is committed to a programme of
sustained academic excellence in research,
training and postgraduate education in Software
Systems.
14
Delivering world class training, research
and development in software systems
Principal Aim
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.
15
Delivering world class training, research
and development in software systems
Significance

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

16
Delivering world class training, research
and development 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

17
Research Centres DTC-DIF The STRL is a member
of the first MoDfunded 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.
18
Graduate Students PhD/MPhil
19
Technologies
FermaT A re-engineering workbench. This is a
core product of Software Migration Ltd (SML)
which is used in various application domains
including finance and telecommunication. Ana
Tempura An executable specification and
validation engine. SANTA A security
enforcer agent. This is being used within the
DTC-DIF consortium. GriPS Performance
evaluator for Grid computing system. ITL-Workbenc
h A toolset of automated theorem provers,
model checkers and refinement for ITL. GOOD
Currently used by IBM National EAD Centre of
Competency. Krit A toolset for Flight
Clearance system. The tool is being used by
QinetiQ flight clearance trials on weapons
carriage on in-service aircraft.
20
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) AIAA Critical 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.
21
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 OCallaghan,
M.Sc. (Dublin) Object-oriented design and
analysis, Pattern, Software architecture.