Research Supervisor Details

This page provides additional information about our research supervisors. You can either browser supervisors by department or search for them by keyword. Most supervisors also have a personal webpage where you can find out more about them.

Find by:
Please select the department to view:

Dr Mauricio Alvarez Lopez
mauricio.alvarez@sheffield.ac.uk

Department of Computer Science
Professor Jon Barker
j.p.barker@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Dr Barker’s research interests are focused around machine listening and the computational modelling of human hearing. A recent focus has been on modelling speech intelligibility, i.e. can we predict whether or not a speech signal will be intelligible to a given listener? This understanding will help us produce better signal processing for application such as hearing aids and cochlear implants. Another strand of his work is about taking insights gained from human auditory perception and using them to engineer robust automatic speech processing systems.

Dr Kirill Bogdanov
k.bogdanov@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

In traditional software development, specification and testing do not play an important role. In particular, changes to software code do not normally get reflected in a specificaton. At the same time, specification-based testing methods are very important for maintaing software quality, for identification of missing or incorrectly-implemented behaviour. K.Bogdanov's research aims to develop a method and a tool to take an incomplete state-based specification, hints for developers as to how it relates to code and both (1) extract an up-to-date specification and (2) generate tests from it.
A number of existing specificaton-based testing methods rely on a program under test being built with testing in mind, and lose a lot in power if this is not true. In his work, observation of program behaviour under test is used to make up for the missing information about a system, making it more amenable to testing using these methods. 
More recent work focuses on passive inference of software models from logs, where it is not possible to attempt experiments on a system being reverse-engineered.
The experimental framework is being maintained as a free Statechum project http://statechum.sourceforge.net.

Professor Kalina Bontcheva
k.bontcheva@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Kalina Bontcheva is a senior research scientist and the holder of a prestigious EPSRC career acceleration fellowship, working on analysis and summarisation of social media. Her main interests are information extraction, opinion mining, text summarization, and their application to analysing social media.

Professor Guy Brown
g.j.brown@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Professor Brown's main research interest is Computational Auditory Scene Analysis (CASA), which aims to build machine systems that mimic the ability of human listeners to segregate complex mixtures of sound. He also has interests in noise-robust and reverberation-robust automatic speech recognition, models of auditory function in normal and impaired hearing, binaural modelling and the phonetics of overlapping speech. A recent interest is the application of CASA technology in mobile robot platforms. He is the co-editor (with DeLiang Wang) of Computational auditory scene analysis: Principles, Algorithms, and Applications (IEEE Press/Wiley-Interscience).

Dr Achim Brucker
a.brucker@sheffield.ac.uk
Personal Webpage

Department of Computer Science

 

My goal is to build secure, reliable, resilient software (and hardware systems). I work on using formal methods, verification, static analysis, and testing techniques both on the source and binary level as well as on the level of specifications and abstract models to build (and attack) IT (and IoT) systems. I can provide a uniqye expertise in basic research (e.g., using logical foundations to build security-critical, safety-critical, reliable systems) as well as applied security and software engineering (including industrial transfer). 

Currently, I am particularly interested in specification-based testing and verification using Isabelle/HOL (respectively, HOL-TestGen), building resilient systems by combining static and dynamic testing and verification with runtime techniques, as well as security in general.

For more details, please see my website (https://www.brucker.ukand the website of my team (https://logicalhacking.com). These pages also contain recommendatiosn for applying as a PhD candidate

 If you want to be supervised by me, please contact me at least four weeks before you apply (and before any deadline).    

Dr Heidi Christensen
heidi.christensen@sheffield.ac.uk
Personal Webpage

Department of Computer Science
Professor Fabio Ciravegna
f.ciravegna@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Focus is on knowledge and information management over large scale. The research covers 3 main areas:

• How to capture information over large scale (the Web, the Social Web, distributed organisational archives, mobile devices, drones, sensors, etc.)

• How to use the captured information (e.g. for knowledge management, business intelligence, customer analysis, management of large scale events via social media, etc.)

• How to communicate the information (to final users, problem owners, etc.).

Research areas covered are knowledge and information management, Web technologies, human computer interaction, search technologies and natural language processing.

Prof Ciravegna’s research income since 2006 tops £7 million, of which about 10% directly from industry (e.g., Rolls-Royce plc).

Professor John Clark
john.clark@sheffield.ac.uk

Department of Computer Science
Professor Richard Clayton
r.h.clayton@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Computational models of structure and function of human cells, tissues and organs, with an emphasis on:

  • Calibrating models against experimental and clinical data using machine learning.
  • High performance computing and numerical techniques for computationally intensive models.
  • Uncertainty quantification and sensitivity analysis of detailed multiscale models of the heart.
  • Gaussian process emulation of computationally intensive models.
  • Developing tools to guide intervention and reatment in clinical settings.

See also www.insigneo.org for information about the Insigneo institute for in-silico medicine in Sheffield.

Mr Alexander Cope
a.cope@sheffield.ac.uk

Department of Computer Science

No details available

Professor Hamish Cunningham
hamish@gate.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Language analysis infrastructure, text mining and textual big data processing. Physical computing, micro-manufacturing, maker culture, Raspberry Pi. Privacy-preserving social media. Crowdfunding.

Dr Leon Derczynski
Leon.Derczynski@sheffield.ac.uk
Personal Webpage

Department of Computer Science

I'm really interested in finding new ways of understanding language - how we can use computers to process it and save time, or discover new things (like when airplanes need a service, or what order events happened in from a candid article) account; and how we can process and understand social media, which is really a sample of all human activity. For me, deep learning and unsupervised machine learning are both fun tools to work with to get great results and push boundaries.

Professor John Derrick
j.derrick@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Specification, refinement and testing using formal methods:

  • Refinement in state-based systems
  • Verification of concurrent algorithms
  • Testing distributed and concurrent systems
  • Integrated formal methods
  • Testing of formal specifications
  • Process algebraic refinement
  • Frameworks for distributed systems: architectural semantics, specification templates, object orientation, interfaces

I have specific interest in the use and theory of refinement in specifications languages. We have recently been applying this to the verification and liearizability of concurrent algorithms. Work on testing includes that on property-based testing for distributed applications (e.g. those written in Erlang), and reverse engineering. I have coordinated two EU FP7 grants in this area (ProTest and Prowess).


Dr Gordon Fraser
gordon.fraser@sheffield.ac.uk
Personal Webpage

Department of Computer Science
Professor Rob Gaizauskas
r.gaizauskas@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Rob's research interests are in natural language processing, specifically in information extraction from natural language texts, software architectures for natural language processing and evaluation of language processing systems.

Dr Yoshi Gotoh
y.gotoh@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Yoshi has been working in the field of speech and spoken language processing for years. His current interests include audio visual processing, in particular, video analysis and video information retrieval.

Professor Thomas Hain
t.hain@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Thomas' research interests cover many areas in natural language processing, speech, audio and multimedia technology, machine learning, and complex system optimisation and design.

His interests include: large vocabulary continuous speech recognition, non-linear methods in speech processing, low bit-rate speech coding, machine learning, multi-modal systems, image classification, microphone arrays, system and resource optimisation.

Dr Mark Hepple
m.r.hepple@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dr Hepple has wide-ranging interests across Computational Linguistics and Natural Language Processing, and has published on many topics, including formal grammar and parsing, information extraction, clinical text mining, temporal information processing, robust dialogue processing, and efficient storage of large-scale linguistic data.

Dr Vitaveska Lanfranchi
v.lanfranchi@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Her research has a fundamental interdisciplinary nature, and has developed both in industry and in academia. It concerns the intersection among ubiquitous computing, knowledge capture and visualization and human computer interaction in fields as diverse emergency response, mobility, smart cities, manufacturing, aerospace and more recently wellbeing. Her research focuses on user participatory design methods to develop novel methodologies and interfaces for ubiquitous and mobile computing.

Dr Haiping Lu
h.lu@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Dr Lu’s current research focuses on machine learning, brain imaging, and tensor analysis. His research also covers related areas such as big data, biomedical engineering, computer vision, and signal/image processing. His core expertise is tensor analysis and learning.

Dr Ning Ma


Department of Computer Science
Dr Steve Maddock
s.maddock@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dr Maddock’s research interests are in computer facial modelling and animation, human figure animation, procedural modelling, and surface deformation techniques. He also maintains an interest in computer games technology and interaction devices.

Dr Michael Mangan


Department of Computer Science
Professor James Marshall
james.marshall@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dr Marshall's research interests cover modelling of collective behaviour, particularly in social insect, evolutionary theory, decision theory and theoretical neuroscience.

Dr Diana Maynard
d.maynard@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Dr Maynard's research focuses mainly on developing information extraction tools to understand and aggregate information from text, in particular those dealing with social media analysis and sentiment analysis. She also works on term extraction and Semantic Web technology based on NLP techniques. She is particularly interested in combining text analysis with behavioural and social information, and welcomes multidisciplinary research in this area, such as understanding social media behaviour in the context of political or environmental campaigns.

Professor Phil McMinn
p.mcminn@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Search-based software engineering, software testing, program transformation, agent-based systems.

Professor Roger Moore
r.k.moore@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Prof. Moore has over forty years experience in speech technology R&D, and much of his research has been based on insights derived from human speech perception and production.  In recent years, he has been working on a unified theory of spoken language processing in the general area of 'Cognitive Informatics' called 'PRESENCE' (PREdictive SENsorimotor Control and Emulation). PRESENCE weaves together accounts from a wide variety of different disciplines concerned with the behaviour of living systems - many of them outside the normal realms of spoken language - and compiles them into a new framework that is intended to breathe life into a new generation of research into spoken language processing, especially for Autonomous Social Agents and Human-Robot Interaction.

Prof. Moore is involved in collaborations aimed at Clinical Applications of Speech Technology (particularly for  individuals with speaking difficulties) as well as Creative Applications of Speech Technology through interactions with colleagues from the performing arts.

Dr Siobhan North
s.north@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dr North currently works in two areas; XML databases and formal languages. The XML database work currently concerns indexing and compression techniques and the formal language work relates to translation between Z and SAL.

Dr Pietro Oliveto
p.oliveto@sheffield.ac.uk
Personal Webpage

Department of Computer Science

My main research interests are in randomized search heuristics and randomized algorithms in general, with strong emphasis on runtime analysis and computational complexity. My main expertise is the analysis of bio-inspired search heuristics such as evolutionary algorithms, ant colony optimisation and artificial immune systems. My work focuses on understanding the working principles of algorithms inspired by nature and on analysing their performance.

I am currently working on:

  • population-based bio-inspired heuristics
  • parallel genetic algorithms
  • genetic programming
  • evolutionary dynamic optimisation
  • black box complexity
  • Fixed budget computation
  • bio-inspired heuristics for combinatorial optimisation.
Dr Paul Richmond
p.richmond@sheffield.ac.uk
Personal Webpage

Department of Computer Science

My current research relates to the acceleration of complex systems simulations using accelerator architectures such as GPUs. More generally my research interests relate to the software engineering challenges of how complex systems can be described using high level or domain specific tools and how automated mapping to parallel and distributed hardware architectures can be achieved. I am particularly interesting in applying agent based techniques to cellular biology, computational neuroscience, pedestrian and transport system as well as working with industry.

Within previous research positions I have worked on developing novel parallel languages and techniques which will allow neuroscientists to run and analyse simulations of up to a billion spiking neurons. In addition to computational neuroscience, I am particularly interested in the use of the Graphics Processing Unit (GPU) to accelerate computational simulations. I have previously created the FLAME GPU software framework which allows non GPU specialists to harness the GPUs performance for real time simulation and visualisation. Whilst my background is in high performance parallel computation and computer graphics, I have a general interest in GPU algorithms and in computer graphics techniques for simulation, animation, rendering, serious games, automatic building generation (including aspects of GIS) and a general interest in aerial robotics.

Dr Amanda Sharkey
a.sharkey@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dr Sharkey’s main current research interests are in robot ethics: particularly the ethical issues raised by the use of robots for the care and assistance of vulnerable older people and children. She is concerned with the identification of both the potential benefits and the risks of robotic developments in these areas, and in the applications of medical robotics, and robot teachers. She also researches human robot interaction and the factors that influence human perception of robots, and is interested in biologically inspired swarm robotics. Previously she researched the combining of artificial neural nets and other estimators.

Dr Anthony Simons
a.j.simons@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dr Simons’ research focuses on turning formal results from verification and testing into practical benefits for software engineering. His current research areas include model-based testing and model-driven engineering, with applications to Cloud computing. He has also published widely in object-oriented software engineering, including type theory and software development methods. He is inventor of the JWalk automatic software testing tool for Java; and the JAST library for processing XML in Java. He is co-author of the OPEN Toolbox of Techniques.

Professor Lucia Specia
l.specia@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dr Specia's research covers a range of Natural Language Processing topics, mainly Machine Translation and Text Adaptation.

Dr Mike Stannett
m.stannett@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dr Stannett is interested in many areas of research, including Heterotic Computing, Unconventional Computing, Physics and Computation, Hypercomputation Theory, and First-Order Relativity Theories. He also has strong research links with members of the Algebraic Logic group at the Alfréd Rényi Institute of Mathematics (Hungarian Academy of Sciences, Budapest).

Dr Mark Stevenson
mark.stevenson@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Mark Stevenson’s research focusses on Natural Language Processing and Information Retrieval. Topics he has worked on include word sense disambiguation, Information Extraction, plagiarism/reuse detection, lexicon adaptation, cross-lingual information retrieval and exploratory search. His research includes applications of these technologies to a range of areas including biomedical journal articles (interpretation of documents, extraction of information from them and data mining information from corpora), cultural heritage (automatic organisation of corpora, exploratory search interfaces) and software testing (generation of realistic test suites).

Professor Georg Struth
g.struth@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Georg works mainly on logical and algebraic methods in computer science, formalised mathematics with interactive theorem provers and program verification and correctness. His interests range from foundational work on the axiomatisation and semantics of sequential and concurrent computing systems to applications in the design and implementation of program verification software.

Dr Dirk Sudholt
d.sudholt@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Dirk's research interests include randomized algorithms, algorithmic analysis, and combinatorial optimization. His main expertise is the analysis of nature-inspired search heuristics such as evolutionary algorithms, ant colony optimization, and particle swarm optimization. These algorithms mimic powerful mechanisms from nature and apply them for solving complex optimisation problems. Despite their popularity and many successful applications in various disciplines, it is not well understood when and why these algorithms perform well.

Dirk contributes to a better understanding of nature-inspired algorithms by analysing the expected time they need to find good solutions for illustrative optimisation problems. This gives insights into the working principles of nature-inspired algorithms and tells how design choices such as the choice of operators and parameters affect performance. Conclusions drawn from these studies help practitioners in making informed design choices and contribute to a rigorous theoretical foundation of nature-inspired algorithms.


Professor Eleni Vasilaki
e.vasilaki@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Computational Neuroscience, Neural Engineering, Artificial Intelligence:

  • Synaptic plasticity and Learning
  • Unsupervised Learning
  • Reinforcement Learning
  • Neural Engineering
  • Data Analytics in Neuroscience

As a Computational Scientist and Engineer with extensive cross disciplinary experience, I contribute to the greater understanding of the brain’s wiring diagram via the use and development of unsupervised and reinforcement learning models, and their application to relevant research areas such as Neuromorphic Engineering. I also develop data analytics methods for understanding neuroscience data.

My expertise is best summarised under the term “synaptic plasticity", which describes the rules under which the connectivity of our brain is shaped. My approach is that simple models have the power to help us understand the mechanisms that shape the brain wiring. For instance, my collaborative work with EPFL published in Nature Neuroscience has shed light on a long debate regarding the communication code in the brain, and how this is reflected by the neural connectivity. More recently, my work jointly with the University of Antwerp aims to explain the formation of connectivity motifs. While not overlooking the power of other approaches, I chose to mainly contribute via the use of models that maintain a degree of biological realism (spiking neuron models) but are free from the complexity of biophysical details.

Dr Maria-Cruz Villa-Uriol
m.villa-uriol@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Dr Maria-Cruz Villa-Uriol's main research interests are:

  • the personalisation of models using computational imaging and modelling techniques, 
  • the composition of scientific workflows, 
  • and the use and development of data-driven decision-making strategies to support clinical decisions using heterogeneous data sources.

The data sources typically used in ther research are:

  • personalised VPH (Virtual Physiological Human) models, 
  • clinical databases, 
  • mobile sensors capturing a wide variety of variables describing an individual and his/her environment and mobile healthcare. 

Her primary area of interest is in the cardiovascular domain with an emphasis in clinical translation.

She is member of the Organisations, Information and Knowledge Group (Oak), INSIGNEO institute for in silico Modelling and Center for Assistive Technology and Connected Healthcare (CATCH).

Dr Dawn Walker
d.c.walker@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

  • Agent (individual) based Modelling in predicting emergent properties of biological tissues
  • Multiscale Modelling in biological and biomedical applications
  • Electrical Impedance Spectroscopy (EIS) for the diagnosis of early cancerous changes in epithelial tissues


Dr Paul Watton
p.watton@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Mathematical and computational biomechanics and mechanobiology; constitutive modelling of soft biological tissues; theoretical and computational analyses of growth and remodeling; cardiovascular mechanics; arterial mechanics, biofluid mechanics, continuum mechanics, vascular mechanobiology, aneurysms.

Dr Joab Winkler
j.r.winkler@sheffield.ac.uk
Personal Webpage

Department of Computer Science

Research interests

Joab Winkler’s main research interests are image processing, and  algebraic and numerical properties of curves and surfaces in computer-aided design systems.

  • IMAGE PROCESSING: The removal of blur and other degradations from an image arises in many applications and it may be considered a preprocessing operation before the image is interrogated for, for example, medical diagnosis. The most challenging problem arises when prior information on the source of the degradations and the exact image is not known, in which case the problem is called blind image deconvolution. My research is concerned with the application of polynomial computations, implemented using structure-preserving matrix methods, for the solution of this problem. The next stage of this work on image improvement is its extension from static images to video images for the observation of dynamic events, for example, the flow of blood.
  • GEOMETRIC MODELLING: Curves and surfaces in computer aided design systems are represented by polynomials. Computational problems arise because the coefficients of these polynomials are corrupted by noise due to manufacturing tolerances and numerical approximations, and robust computations on polynomials are therefore required. Recent work on these robust computations includes the computation of a structured low rank approximation of the Sylvester resultant matrix, and the devlopment of a polynomial root solver for the determination of multiple roots of the theoretically exact form of a polynomial, when the coefficients of the given polynomial are corrupted by added noise.