Date post: | 19-Dec-2015 |
Category: |
Documents |
View: | 217 times |
Download: | 1 times |
ExpertiseSemantics
Algebraic and Categorical Structures and Methods Deduction, Rewriting and Transformation
Algorithms and Complexity Computational Complexity of Algebraic Structures Algorithm Design, Analysis and Engineering Optimisation and Heuristics
Software Engineering Models of Software Intensive Systems Software Evolution
Projects: Semantics Systems and coalgebras
Foundations of language design Mechanized program verification
Compiler verification Syntactic and Semantic Integration
of Visual Modelling Techniques Engineering modelling languages
A European Research Training Network A European Research Training Network A European Research Training Network A European Research Training Network
Projects: Algorithms and Complexity Succinct data structures
compact queryable XML representations
Network discovery with minimum measurement Internet mapping projects
Minimum weight dominating sets in unit disk graphs Backbone formation in ad-hoc networks
Evolutionary Algorithms Production scheduling Communication network optimisation
Projects: Software Engineering
Software Engineering for Service-Oriented Overlay Computers
IST-FET Global Computing 2
09/05 – 08/09
Under Review:
Architectural Support for Evolving Embedded Systems (EPSRC)
Architectural Support for Collaborative Systems (EPSRC)
MISSION: a Multimodal scenario-based paradigm for service oriented computing (EU-IST-FET)
IST-2001-32747Architectures for
MobilityJan 02 – Apr 05
C S Y
Opportunities for Cooperation Content
Formats Training PhDs Secondments
Funded through UK (EPSRC, Royal Society, …) or EU grants
Format: Training
Masters Training (EPSRC) course development and delivery student fees (full-time, part-time, via
distance learning or CPD)
Marie Curie Networks (EU) Visits of experts (tutorials, workshops) Research training appointments
Format: PhDs (all EPSRC)Engineering Doctorates
four-year postgraduate awards students spend around 75% in company tailored packages of training courses (managerial and
technical) designed and supervised jointly by the academics and
company
Industrial CASE 3.5 year postgraduate awards allocated to companies company provides a substantial financial contribution student spends at least 3 months overall at company
CASE for New Academics building links with a company at an early stage in their career
through co-supervision of a CASE student.
Format: Secondments
Knowledge Transfer Partnerships (EPSRC) help companies access knowledge and skills;
academics to understand their needs business placements for graduates in companies to
tackle technical challenges under the guidance of an academic supervisor
Industry Fellowships Scheme (RS) up to two years full-time transfer between UK private industry and a UK
university fellow's salary is paid through the grant