I am currently supervising a number of PhD students.
Alberto Aviles (Psychology, University of
Birmingham), who is finding experimental evidence for our tokenized percept
theory of conscious perception.
(Psychology, University of Birmingham and Glasgow), who is working on index
cells in the human hippocampus, using intracranial recordings from epilepsy
patients. He is jointly supervised with Simon Hanslmayr.
(Psychology, University of Birmingham), who is working on electrophysiological
responses to pattern-glare stimuli, which have been implicated with visually
induced migraine. Austyn is joint supervised with Andrew Schofield (Aston).
Consuelo Vidal-Gran (Psychology, University of
Birmingham), who is working on electrophysiological characterisation of
linguistic processing and prediction error deficits in altered states of
consciousness. Damian Cruse is Consuelo’s first supervisor.
(Psychology, University of Birmingham), who is working on electrophysiological
and brain-stimulation applied to mind-wandering. Davinia Fernández-Espejo
is Sean’s first supervisor.
Mahan Nayeb Ghanbar Hosseini (Computing, University of Kent), who is working
on event integration in rapid stimulus presentation and related methods
Kathryn Harris (Computing, University of Kent),
who is working on generalising the Fringe-P3 method in Forensics applications.
(Computing, University of Kent), who is working on Bayesian methods applied in
machine learning, in particular, active inference, variational
methods and factor graphs. Theophile is jointly supervised with Marek Grzes.
Riku Ihalainen (Computing, University of Kent), who is working
on characterising electrophysiological states of awareness using dynamic causal
modelling. Riku is first supervised by Srivas Chennu.
Cihan Dogan (Computing, University of Kent), who is looking at
electrophysiological responses to working memory load. Cihan is first supervised by Palaniappan Ramaswamy.
Nirav Porwal (Birmingham City University), who is looking at
neurophysiological modelling of Alzheimer’s disease. Nirav is first supervised by Eirini
David Rosenbaum (University of Tel Aviv), who is
working on perception of rapid stimulus presentations. Marius Usher is first
Thomas Rees (Computing, University of Kent), who
will work on interpretable machine learning applied to predicting recovery from
stroke. Thomas will be co-supervised by Cathy Price and
Thomas Hope at the Wellcome Centre for Human
Declan Collins (Computing, University of Kent),
who will work on computational modelling in cognitive neuroscience.
Of my PhD students, the following have completed:
Steen worked on composition and consistency checking of partial
specifications written in the process algebra LOTOS. More details of
Maarten's thesis can be found on his web
page. The title of his thesis was, "Consistency and Composition
of Process Specifications" which he successfully defended in 1998.
His examiners were Professors Guy Leduc and David Turner. He was funded by
an internal UKC bursary: an EBSpratt award, with
some extra financial support from British Telecom Research Laboratories.
Briscoe-Smith worked on type management in distributed systems, with a
particular emphasis on behavioural subtyping in a process algebra setting.
He was funded by British Telecom and EPSRC case award.
Roberts (MRes Student) worked on neural
network based computational modelling of human word reading. She particularly
focused on localist (activation gradient) models
of word reading, such as Davis'
Solar model. She sought to show how such techniques can be used to model
the Word Superiority Effect, which is one of the most significant
phenomena in word reading.
Gomez worked on decision procedures for interval temporal logic and
verification of real-time systems using timed automata. He began by
considering how interval temporal logic could be related to WS1S (Weak
Second Order Logic of One Successor). Then he looked at a number of
different real-time extensions of communicating automata (including timed
automata), explored the verification capabilities of such techniques and
then investigated how to demonstrate timelock
freedom in timed automata models. Rodolfo was funded under the Overseas
Research Students Awards Scheme (ORS) and via the Computing Laboratory at Kent.
- Kiran Kalidindi (see
following: link 1 and link 2) worked on
human reasoning, decision making and the role of emotions in these
processes. He developed an abstract neural network model and a
reinforcement learning model of the behaviour of normal healthy controls
and a spectrum of patient groups on the Iowa Gambling task. He
particularly focused on patients with lesions in the ventral medial
prefrontal cortex and the dorsolateral prefrontal cortex, both of whom are
known to have decision-making deficits. Kiran was funded by the University of Kent Computing Laboratory.
- Su Li (see following: link 1 and link 2)
worked on the relationship between symbolic and sub-symbolic computation.
In particular, he developed a communicating automata based model of neural
networks and he explored how to use model checking to answer questions
about the class of problems that neural network learning algorithms can
learn. In addition, he developed formal methods-based models of how
salient distracting items capture human attention, where salience is
considered in a semantic and emotional sense. Su Li was partially funded
by the University
of Kent Computing Laboratory.
- Patrick Craston
worked on temporal attention. Specifically, he ran EEG experiments to
understand the temporal dynamics of human attention and to validate predictions
arising from (Bowman and Wyble’s)
Simultaneous Type, Serial Token model of temporal attention and the
attentional blink. These experiments explored the latency and magnitude of
the P3 component of the Event Related Potential (ERP). Patrick was funded
by the Engineering and Physical Sciences Research Council. Patrick was
jointly supervised with Brad
- Srivas Chennu worked
on temporal attention in humans. He undertook a combined EEG, behavioural
and computational exploration of the spotlight of temporal attention. This
validated predictions arising from Bowman and Wyble’s
Simultaneous Type, Serial Token model focused on the temporal acuity that
attention provides. Srivas particularly explored feature mis-bindings (also called illusory conjunctions).
These arise when multiple salient items, each of which comprises a number
of features, are presented in close temporal succession. Srivas was funded
by the University of Kent.
- Kristina Dietz worked
on recognition memory in humans. She undertook behavioural and EEG studies
of the directed forgetting paradigm in recognition memory. This
particularly focused on the mirror effect, which is a well-known
regularity of human memory. She also explored computational modelling in
this context. Kristina was jointly funded by the Computing and the
Psychology departments at Kent and was jointly supervised with Hannie van Hooff in
- Marco Filetti
developed EEG Subliminal Salience Search; that is, he explored how humans
can search amongst a stream of stimuli that is presented so rapidly and
with sufficient masking that the vast majority of the stimuli are not
consciously perceived. Despite this, the brain can ‘pick out’
stimuli presented to it in this format that are salient. When combined
with EEG, this characteristic suggests a number of applications of
subliminal salience search, including lie detection and brain computer
interaction. Marco explored such applications, leading to a series of
deception detection papers.
- Jumana Ahmad
used EEG to explore how working memory capacity might be impaired in
dyslexia. Her work focused on the N-back task, which enables the
difficulty of working memory maintenance to be parametrically manipulated.
Jumana was jointly supervised with Heather
Ferguson in Psychology at Kent.
- Abdulmajeed Alsufyani worked
on subliminal salience search, a mode of stimulus presentation in which
the brain ‘picks out’ the stimuli that are salient to it, from
amongst a stream of stimuli presented on the fringe of awareness. Abdulmajeed worked on lie detector applications of
EEG-marked Subliminal Salience Search.
- Jenny Cooke
worked on states of consciousness, as arise from brain
damaged patients, e.g. vegetative and coma states; and under
anaesthetic sedation. She looked at how evoked electrical brain responses
change across this variety of states of awareness.
- Amirali Shirazibeheshti looked
at cluster-based familywise error correction and single-trial analysis in
EEG. He applied these methods to understand different states of
- Alexia Zoumpoulaki
developed EEG analysis techniques, and applied them to deception
detection. For example, she worked on applying Dynamic Time Warping to
performing latency contrasts in EEG time series; and
also assessed the relative benefits of hypothesis testing using
bootstrapping versus permutation.
Gootjes-Dreesbach assessed the subjective sense
of visibility during the attentional blink task. She identified surprising
patterns of order errors and all-or-none electrophysiological responses to
stimuli presented in rapid serial visual presentation.
- Omid Hajilou
ran EEG experiments focused on deception detection. He particularly looked
at the processing of facial stimuli and application of such processing in
a forensics setting.
- William Jones explored
phenomenological awareness in the attentional blink, characterising and
modelling a phenomenon we call sight-blind-recall.
- George Parish developed
spiking models of long-term memory encoding and retrieval. He was jointly supervised by Simon Hanslmayr
in Psychology at Birmingham.
- Adrian Witon
applied and developed phase synchrony measures in the context of EEG
analysis. He also completed a source-localisation analysis of the
local-global task, which is used to characterise
states of consciousness. Adrian was joint supervised with Caroline Li.
- Sebastian Michelmann was jointly supervised
with Simon Hanslmayr in Psychology at
Birmingham. He worked on characterising how humans replay memories for
dynamic stimuli using EEG and MEG.
Back to Howard Bowman's home page.
Last modified August 2020.