global research forum · •algorithmic problem solving •functional programming laboratory ......
TRANSCRIPT
School of Computer Science
Global Research Forum
UNMC, April 2012
School of Computer Science
o Ranked in the top 10 % UK institutions in the 2008 Research Assessment Exercise: • 100% research activity of international quality • 80% rated as world-class/internationally leading.
o Highest Computer Science EPSRC income in the UK (£35m current
EPSRC funding), including two Platforms, a Doctoral Training Centre, a Digitial Economy Hub and several Fellowships.
o School also receives funding from Europe, Industry, Charities and
other Research Councils.
o Branch Campuses in China (Ningo) and Malaysia (KL)
o 40 academic staff, 40 Research staff, over 100 PhD students.
School of Computer Science
Computer Science
Research
Interdisciplinary Computing &
Complex Systems
Mixed Reality
Lab
LRSI CPIB
HORIZON
Foundations of
Programming
Intelligent Modelling &
Analysis
Automated Optimisation Scheduling &
Planning
UNNC Research
(ASAP collab)
UNMC Intelligent Systems Research
School of Computer Science
The School's research groups:
o Automated Scheduling, Optimisation and Planning
o Intelligent Modelling and Analysis o Foundations of Programming
•Algorithmic Problem Solving •Functional Programming Laboratory •Agents Laboratory
o Interdisciplinary Computing and Complex Systems
o Mixed Reality Lab
The School is also involved in cross-disciplinary groups: o The Learning Sciences Research Institute (LSRI) o The Centre for Plant Integrative Biology (CPIB) o Horizon Digital Economy Research Centre
School of Computer Science
Focus: Decision support and search methodologies for interdisciplinary real-world problem environments. Techniques: Automated heuristic design, Heuristics and meta-heuristics, Multi-objective optimisation, Mathematical linear programming, Case-based reasoning, Constraint programming, Fuzzy systems, Genetic programming, Machine learning and Data mining, Markov chain analysis. Application: airport optimization, cutting and packing, educational timetabling, healthcare, network routing, personnel scheduling, portfolio optimization, production scheduling/rescheduling, public transport optimization, space allocation, transportation logistics optimization and vehicle routing.
Automated Scheduling, Optimisation and Planning (Head:Prof S Petrovic)
School of Computer Science
Intelligent Modelling and Analysis (Prof Uwe Aickelin)
Focus: Development of models and techniques for real-world and multifaceted problems in data analysis. Techniques: AI-based Data Mining;Bio-Inspired Algorithms; Computational Modelling;Discrete and Agent-Based Simulation;Fuzzy Methodologies;Multi-Sensor Data Fusion;Qualitative Methods including Structured Interviews. Application: Biomedical sciences and themes relevant to the digital economy including security, energy management and adaptive systems.
Focus:
Mathematical methods, in particular the problem-solving skills involved in the formulation and solution of algorithmic problems
Techniques & Application:
Relation algebra, the theory of ordered sets and category theory, fixed-point calculus and the theory of datatypes.
School of Computer Science
Foundations of Programming- Algorithmic Problem Solving (Prof R Backhouse)
School of Computer Science
Focus: Theory and practice of functional programming in languages such as Haskell and Agda incl. type theory and category theory. Techniques & Application: Exploration of functional notions of effects in the design and application of modelling and simulation languages. Reasoning about various forms of effects incl. state, exceptions, interrupts, concurrency, and even quantum effects. Investigation of novel languages based upon dependent types, to bring programming and verification closer together. Exploitation of mathematical concepts such as monads and arrows that arise in category theory to find new ways to structure and reason about programs.
Foundations of Programming - Functional Programming Lab (Prof G Hutton, Dr T Altenkirch)
School of Computer Science
Focus: Specification, design and implementation of agent-based systems. Agent theories and logics. Agent programming languages Application: Games, virtual environments and simulation of natural systems
Foundations of Programming - Agents Lab (Dr N Alechina, Dr B Logan)
School of Computer Science
Focus: Interdisciplinary expertise in advanced information processing (e.g. image analysis, machine learning, data mining), process modelling (e.g. optimisation under uncertainty), and high-performance computation (e.g. distributed, cloud and GPU computing).
Techniques: Bioinformatics, Systems and Synthetic Biology;Information Processing in Complex Systems; Machine Intelligence; Modern Optimisation
Application: Problems arising in both natural complex systems (e.g. biology, chemistry, physics) and man-made ones (e.g. socio-technical organisations, infrastructure in healthcare, logistics, etc).
Interdisciplinary Computing and Complex Systems - ICOS (Prof N Krasnogor)
School of Computer Science
Focus: Interaction and distributed systems design to rapidly prototype new interactive technologies
Techniques: Multiple evaluation techniques, ranging from ethnographic studies to simulator experiments
Application: Art and performance, games, the home, learning, transportation, healthcare and the environment.
Mixed Reality Lab (Prof S Benford and Prof C Greenhalgh)
School of Computer Science
o Learning Sciences Research Institute (LSRI) conducts research into the cognitive, social and cultural aspects of learning, to enhance education through the design of innovative technologies and environments for learners.
o Horizon focuses on the role of 'always on, always with you' ubiquitous computing technology in the Digital Economy.
o The Centre for Plant Integrative Biology (CPIB) is a systems biology research centre focussing on mathematical and computational modelling of plants.
Cross-Disciplinary Research
School of Computer Science at UNMC
Intelligent Systems Research (Dr Tim Brailsford) Presentation to follow
Division of Computer Science at UNNC
ASAP-related Research (Dr Ruibin Bai) Previous presentation
Division of Computer Science at UNNC
Research themes: • Machine Learning, Artificial Intelligence, Metaheuristics • Computational Complexity and Intelligent Computing • Functional Programming • Scheduling and Optimisation
Research Applications: • Traffic/Transport, Port Logistics, Vehicle Routing, Timetabling,
Healthcare
Research Grants: • National Grants - NSFC (Natural Science Foundation of China)
Ref: 71001055, 177,000 RMB (£17.7K) started in 2011 Ref: 61070023, 300,000 RMB (£30K), started in 2011.
• Provincial grants
Ref: Y1100132, 100,000 RMB (£10K) started in 2011 Ref: QJD0802001, 50,000 RMB (£5K) started in 2009
• Ningbo S&T (Ningbo Science and Technology Bureau) IDIC – Digital Economy, 50 PhD full scholarship, plus research money. Ref: 2008B10040, 200,000 RMB (£20K), started in 2008 Ref: 2008A610013, 50,000 RMB (£5K), completed in 2011. Ref: 20100121, 30,000 RMB (£3K), started in2010.