Items where Subject is "Q Science > QA Mathematics > QA75 Electronic computers. Computer science"

Côté, Gilbert Bernard (1975). Centromeric linkage in man. University of Birmingham. Ph.D.

.

., Aishwaryaprajna ORCID: 0000-0003-4386-9745 (2022). Noisy combinatorial optimisation with evolutionary algorithms. University of Birmingham. Ph.D.

A

Abdullah, Che Zulkhairi (2013). Parametric sweep search for parallel robot workspace determination. University of Birmingham. Ph.D.

Abdulrhman Alanazi, Reem (2023). Optimal 0−1 loss classification in linear, overlapping and interpolation settings. University of Birmingham. Ph.D.

Ajibulu, Ayodeji Opeoluwa (2018). Robust adaptive model predictive control for intelligent drinking water distribution systems. University of Birmingham. Ph.D.

Al Baity, Heyam (2015). A quantum behaved particle swarm approach to multi-objective optimization. University of Birmingham. Ph.D.

Al Otaibi, Sultanah (2017). Machine learning methods for delay estimation in gravitationally lensed signals. University of Birmingham. Ph.D.

Al-Zobaidi, Zaid (2014). Coherent minimisation: aggressive optimisation for symbolic finite state transducers. University of Birmingham. Ph.D.

Alakhras, Marwan ORCID: 0000-0002-9943-3249 (2020). A fuzzy logic approach to localisation in wireless local area networks. University of Birmingham. Ph.D.

Alam, Intekhab Asim (2018). Real time tracking using nature-inspired algorithms. University of Birmingham. Ph.D.

Alansari, Marwah (2016). Automated managed cloud-platforms based on energy policies. University of Birmingham. Ph.D.

Aldoseri, Abdulla ORCID: 0000-0002-4959-6832 (2023). Breaking boundaries: analysis of the interfaces between applications, systems and enclaves. University of Birmingham. Ph.D.

Alfarag, Fadhil (2016). On some multivariate control charts. University of Birmingham. Ph.D.

Algharibi, Amani Jaber H (2016). Technology validation for e-trial systems. University of Birmingham. Ph.D.

Alharbi, Abdullah Ibrahim M. ORCID: 0000-0002-2620-0049 (2023). Enhancing word representations for emotional intensity and offensive language detection in Arabic microblog text. University of Birmingham. D.Sc.

Alkalai, Mohamed A. (2015). Table recognition in mathematical documents. University of Birmingham. Ph.D.

Almeman, Khalid Abdulrahman (2015). Reducing out-of-vocabulary in morphology to improve the accuracy in Arabic dialects speech recognition. University of Birmingham. Ph.D.

Almomen, Randa (2018). Context classification for improved semantic understanding of mathematical formulae. University of Birmingham. Ph.D.

Alodib, Mohammed Ibrahim (2011). Creation, integrating and deployment of diagnoser for web services. University of Birmingham. Ph.D.

Alofi, Akram MohammedAli ORCID: 0000-0001-9165-8411 (2023). Optimising the sustainability of blockchain-based systems: balancing environmental sustainability, decentralisation and trustworthiness. University of Birmingham. Ph.D.

Alotaibi, Fahd Saleh S. (2015). Fine-grained Arabic named entity recognition. University of Birmingham. Ph.D.

Alowadi, Nahed (2018). Population based spatio-temporal probabilistic modelling of fMRI data. University of Birmingham. Ph.D.

Alshammari, Mohammad (2016). Adaptation based on learning style and knowledge level in e-learning systems. University of Birmingham. Ph.D.

Alzaghoul, Esra Fawaz Ahmad (2015). Value- and debt-aware selection and composition in cloud-based service-oriented architectures using real options. University of Birmingham. Ph.D.

Ameedeen , Mohamed Ariff (2012). A model driven approach to analysis and synthesis of sequence diagrams. University of Birmingham. Ph.D.

Andrews, Daniel (2015). Employing branching comics to design, visualise and evaluate interactive stories. University of Birmingham. Ph.D.

Ani, Mohammad Kh M H M (2022). Transferrable learning from synthetic data: novel texture synthesis using Domain Randomization for visual scene understanding. University of Birmingham. Ph.D.

Arcuri, Andrea (2009). Automatic software generation and improvement through search based techniques. University of Birmingham. Ph.D.

Armstead, Charlie (2023). Exploring the reception of foreign language music in the English-speaking world with the use of Digital Humanities techniques. University of Birmingham. M.A.

Arntzenius, Michael (2022). Deconstructing Datalog. University of Birmingham. Ph.D.

Arriola Rios, Veronica Esther (2013). Learning to predict the behaviour of deformable objects through and for robotic interaction. University of Birmingham. Ph.D.

Arruda, Ermano ORCID: 0000-0001-5177-6552 (2021). Generative and predictive models for robust manipulation. University of Birmingham. Ph.D.

Assam, Aieat (2013). Sensor-Enhanced imaging. University of Birmingham. Ph.D.

Atkinson, George (2021). Using digital television signals for radar imaging. University of Birmingham. Ph.D.

B

Bacci, Edoardo ORCID: 0000-0002-0367-898X (2022). Formal verification of deep reinforcement learning agents. University of Birmingham. Ph.D.

Badger, Matthew (2013). Problem-solving in undergraduate mathematics and computer aided assessment. University of Birmingham. Ph.D.

Bajwa, Imran Sarwar (2014). A natural language processing approach to generate SBVR and OCL. University of Birmingham. Ph.D.

Baker, Josef B. (2012). A linear grammar approach for the analysis of mathematical documents. University of Birmingham. Ph.D.

Banbury, Carl (2021). Point of care diagnostics for traumatic brain injury. University of Birmingham. Ph.D.

Baronti, Luca ORCID: 0000-0002-2883-706X (2020). Analysis and development of the Bees Algorithm for primitive fitting in point cloud models. University of Birmingham. Ph.D.

Benkwitz-Bedford, Sam Robin Edward (2022). A agent based modelling framework for dynamic biological systems and applications to cancer cells, G protein coupled receptors and G proteins. University of Birmingham. Ph.D.

Blanco, Nicolas (2023). Bifibrations of polycategories and classical multiplicative linear logic. University of Birmingham. Ph.D.

Bootkrajang, Jakramate (2013). Supervised learning with random labelling errors. University of Birmingham. Ph.D.

Bradbury, James (2018). Computational hypothesis generation with genome-side metabolic reconstructions: in-silico prediction of metabolic changes in the freshwater model organism Daphnia to environmental stressors. University of Birmingham. Ph.D.

Brazier, Jack A. D. (2021). Rapid identification of fluorescently labelled DNA by image analysis. University of Birmingham. M.Sc.

Bristow, Huw William (2004). Context awareness for wearable computers. University of Birmingham. Ph.D.

Brown, Christopher Simon (2020). Modelling, characterisation and optimisation of deep geothermal energy in the Cheshire basin. University of Birmingham. Ph.D.

Brown, James (2015). Articulated statistical shape models for the analysis of bone destruction in mouse models of rheumatoid arthritis. University of Birmingham. Ph.D.

Byrne, William Frederick (2016). Situated creativity-inspired problem-solving. University of Birmingham. Ph.D.

C

Canducci, Marco ORCID: 0000-0003-2264-9743 (2022). Multi-Manifold learning in comparison of astronomical observations and numerical simulations. University of Birmingham. Ph.D.

Cervantes-Solis, Jose Waldo ORCID: 0000-0001-6021-8405 (2019). A human centric approach to the Internet of things. University of Birmingham. Ph.D.

Ch'ng, Eugene (2007). Developing artificial life simulations of vegetation to support the virtual reconstruction of ancient landscapes. University of Birmingham. Ph.D.

Chandra, Arjun (2011). A methodical framework for engineering co-evolution for simulating socio-economic game playing agents. University of Birmingham. Ph.D.

Chen, Haiyang (2022). Understanding Human Choices as Computationally Rational Processes. University of Birmingham. Ph.D.

Chen, Liang-Ting (2014). On a purely categorical framework for coalgebraic modal logic. University of Birmingham. Ph.D.

Chen, Tao (2016). Self-aware and self-adaptive autoscaling for cloud based services. University of Birmingham. Ph.D.

Chen, Weiqi (2018). Active module identification in biological networks. University of Birmingham. Ph.D.

Chen, Yilin (2021). DC railway power supply system reliability evaluation and optimal operation plan. University of Birmingham. Ph.D.

Chen, Zitai ORCID: 0000-0001-5640-0538 (2023). Security of esoteric firmware and trusted execution environments. University of Birmingham. Ph.D.

Cheung, Wai Tak (2021). Transparent synchronous dataflow: a functional paradigm for systems modelling and optimisation. University of Birmingham. Ph.D.

Chin, Robert ORCID: 0000-0002-5679-4677 (2022). Model predictive controller tuning by machine learning and ordinal optimisation. University of Birmingham. Ph.D.

Chiou, Emmanouil (2017). Flexible robotic control via co-operation between an operator and an ai-based control system. University of Birmingham. Ph.D.

Chiu, Chun Wai ORCID: 0000-0002-3157-8943 (2022). Online data stream classification in the presence of Concept Drift and Class Imbalance. University of Birmingham. Ph.D.

Clancy, Michael (2017). Application and development of high-density functional near infrared spectroscopy for traumatic brain injury. University of Birmingham. Ph.D.

Consoli, Pietro A. (2018). Adaptive operator search for the capacitated arc routine problem. University of Birmingham. Ph.D.

Cook, Andrew James (2011). Computational chunking in Chess. University of Birmingham. Ph.D.

Cuevas Tello, Juan Carlos (2007). Estimating time delays between irregularly sampled time series. University of Birmingham. Ph.D.

Culwick, Richard (2023). Intelligent real-time monitoring of critical rail infrastructure. University of Birmingham. Ph.D.

D

Danks, Dominic James (2023). Constrained machine learning methods for biomedical data analysis. University of Birmingham. Ph.D.

Denzel, Michael (2018). Malware tolerance: Distributing trust over multiple devices. University of Birmingham. Ph.D.

Dinh, Tien Tuan Anh (2010). Trustworthy infrastructure for Peer-to-Peer applications using hardware based security. University of Birmingham. Ph.D.

Doulgerakis, Matthaios (2021). Frequency domain high density diffuse optical tomography for functional brain imaging. University of Birmingham. Ph.D.

Downing, Richard Mark (2008). Artificial evolution with Binary Decision Diagrams: a study in evolvability in neutral spaces. University of Birmingham. Ph.D.

Duff, Damien Jade (2011). Visual motion estimation and tracking of rigid bodies by physical simulation. University of Birmingham. Ph.D.

Duffy, Thomas Joseph (2016). Collaborative sensemaking. University of Birmingham. Ph.D.

Durrant, Robert John (2013). Learning in high dimensions with projected linear discriminants. University of Birmingham. Ph.D.

de Jong, Tom ORCID: 0000-0003-1585-3172 (2023). Domain theory in constructive and predicative univalent foundations. University of Birmingham. Ph.D.

E

Easton, John M. (2009). Optimised analysis and visualisation of metabolic data using graph theoretical approaches. University of Birmingham. Ph.D.

Elhabbash, Abdessalam (2017). Engineering self-awareness with knowledge management in dynamic systems: a case for volunteer computing. University of Birmingham. Ph.D.

Elkaref, Mohab (2018). Deep learning applications for transition-based dependency parsing. University of Birmingham. Ph.D.

Ellis, Robert Joseph (2017). Realising the potential of rich energy datasets. University of Birmingham. Ph.D.

Evangelidis, Alexandros ORCID: 0000-0003-4032-3042 (2020). Verified control and estimation for cloud computing. University of Birmingham. Ph.D.

F

Farah, Ali Mohamud (2012). Generalized and quadratic eigenvalue problems with hermitian matrices. University of Birmingham. M.Phil.

Faruq, Fatma ORCID: 0000-0001-6928-0176 (2022). Verified multi-robot planning under uncertainty. University of Birmingham. Ph.D.

Fielder, Andrew Thomas (2013). The effect of pricing rules on a constrained wholesale electricity market: an agent based approach. University of Birmingham. Ph.D.

Flavell, Wesley (2023). Designing self-assembly routes to colloidal gyroids. University of Birmingham. Ph.D.

Fong, Robert Simon (2020). Stochastic optimization on Riemannian manifolds. University of Birmingham. Ph.D.

Foo, Kae Yeet (2004). Incoherent processing of synthetic aperture sonar. University of Birmingham. Ph.D.

Fredriksson, Olle (2015). Distributing abstract machines. University of Birmingham. Ph.D.

Friess, Stephen (2022). Inductive biases and metaknowledge representations for search-based optimization. University of Birmingham. Ph.D.

G

Gao, Yang (2018). Coupling matrix based integration of the active components with microwave filters. University of Birmingham. Ph.D.

Garcia Najera, Abel (2010). Multi-Objective evolutionary algorithms for vehicle routing problems. University of Birmingham. Ph.D.

Geepalla, Emsaieb Mosbah (2013). Model-driven approaches to analysing time- and location- dependent access control specifications. University of Birmingham. Ph.D.

Geron, Bram ORCID: 0000-0001-9237-3282 (2020). Defined algebraic operations. University of Birmingham. Ph.D.

Ghaban, Wad ORCID: 0000-0003-0564-4377 (2020). Adapting gamification elements to learners’ personality dimensions. University of Birmingham. Ph.D.

Ghosh Roy, Gourab ORCID: 0000-0001-9420-5653 (2022). Network architecture for prediction of emergence in complex biological systems. University of Birmingham. Ph.D.

Gianniotis, Nikolaos (2008). Visualisation of structured data through generative probabilistic modeling. University of Birmingham. Ph.D.

Glöckner, Stephan (2017). Application of automated feedback for the improvement of data quality in web-based clinical collaborations. University of Birmingham. Ph.D.

Goodman, Thomas Antony ORCID: 0000-0001-9283-5010 (2022). Geometric Approaches to the Pitch Estimation of Acoustic Musical Signals. University of Birmingham. Ph.D.

Greenland, Garry Patrick (2019). Whole system railway modelling. University of Birmingham. Ph.D.

Greenwood, David Rhys (2023). Applications of data science to investigate risk factors in allogeneic stem cell transplantation. University of Birmingham. Ph.D.

Gómez Bardón, María del Rocío (2010). Mathematical models and simulations of complex social systems. University of Birmingham. Ph.D.

H

Hamid, Hassan Abdulsalam ORCID: 0000-0001-9328-6594 (2020). Using information engineering to understand the impact of train positioning uncertainties on railway subsystems. University of Birmingham. Ph.D.

Hammerton, James Alistair (1999). Exploiting holistic computation: an evaluation of the sequential RAAM. University of Birmingham. Ph.D.

Hammond, Simon P. (2007). Adaptive scaling of evolvable systems. University of Birmingham. Ph.D.

Hargreaves, Jack Elliot (2019). Managing time budgets shared between planning and execution. University of Birmingham. Ph.D.

Hartono, Natalia ORCID: 0000-0003-2314-1394 (2023). Intelligent robotic disassembly optimisation for sustainability using the bees algorithm. University of Birmingham. Ph.D.

Hassan, Fuad Mire (2021). Multistage feature-assisted deep learning and its application in fine-grained fake news detection. University of Birmingham. Ph.D.

Hassan, Sara (2019). Modelling and evaluation of microservice granularity adaptation decisions. University of Birmingham. Ph.D.

Hazratpour, Sina (2019). A logical study of some 2-categorical aspects of topos theory. University of Birmingham. Ph.D.

He, Yinglong ORCID: 0000-0002-6666-8471 (2021). Developing and Evaluating the driving and powertrain systems of automated and electrified vehicles (AEVs) for sustainable transport. University of Birmingham. Ph.D.

Herring, Daniel ORCID: 0000-0003-3825-0411 (2023). Dynamic multi-objective optimization using evolutionary algorithms. University of Birmingham. Ph.D.

Hicks, Christopher Richard Allden ORCID: 0000-0002-6340-004X (2020). Cryptographic key management for the vehicles of tomorrow. University of Birmingham. Ph.D.

Hou, Chengbin ORCID: 0000-0001-6648-793X (2022). Network embedding and its applications. University of Birmingham. Ph.D.

Hu, Hongwei (2012). Towards an improved model of dynamics for speech recognition and synthesis. University of Birmingham. Ph.D.

Hu, Zhen Hua Sampson (2012). Antennas with frequency domain control for future communication systems. University of Birmingham. Ph.D.

Huang, Zhanliang (2023). Noise reduction in differentially private learning. University of Birmingham. Ph.D.

I

Ismail, Asrul Harun ORCID: 0000-0002-6580-4654 (2021). Enhancing the bees algorithm using the traplining metaphor. University of Birmingham. Ph.D.

J

Jakl, Tomáš (2018). d-Frames as algebraic duals of bitopological spaces. University of Birmingham. Ph.D.

Jia, Guanbo (2017). Community detection in complex networks using evolutionary computation. University of Birmingham. Ph.D.

Jia, Xiaodong (2018). Meet-continuity and locally compact sober dcpos. University of Birmingham. Ph.D.

Joshi, Ayush (2017). The germinal centre artificial immune system. University of Birmingham. Ph.D.

K

Kamaleson, Nishanthan (2018). Model reduction techniques for probabilistic verification of Markov chains. University of Birmingham. Ph.D.

Karbassian, Mohammad Massoud (2009). Design and analysis of spreading code and transceiver architectures for optical CDMA networks. University of Birmingham. Ph.D.

Kayas, Ugur ORCID: 0000-0003-3936-4090 (2023). Methods for efficient, exact combinatorial computation in machine learning. University of Birmingham. Ph.D.

Kent, Matthew Paul (2015). Estimating functional performance for use in the aesthetic design process. University of Birmingham. Ph.D.

Khalil, Ashraf F. (2012). Networked control of distributed energy systems. University of Birmingham. Ph.D.

Klinke, Olaf Karl (2012). A bitopological point-free approach to compactifications. University of Birmingham. Ph.D.

Knapp, Cory (2018). Partial functions and recursion in univalent type theory. University of Birmingham. Ph.D.

Kneebone, M L (2010). Probabilistic roadmaps in uncertain environments. University of Birmingham. Ph.D.

Koleini, Masoud (2012). Verification of temporal-epistemic properties of access control systems. University of Birmingham. Ph.D.

Korkmaz, Furkan (2022). High resolution contiguous swath synthetic aperture radar imaging via co-located multiple input multiple output array. University of Birmingham. Ph.D.

Ku Azir, Ku Nurul Fazira (2014). Human factors of ubiquitous computing: ambient cueing in the digital kitchen? University of Birmingham. Ph.D.

L

Lalousis, Paris Alexandros ORCID: 0000-0001-9642-3080 (2022). Using machine learning to disentangle heterogeneity within and between psychosis and depression: Improving pathways for precision medicine in psychiatry. University of Birmingham. Ph.D.

Lameu, Paula Cristina (2017). Education ICT assemblage: encounters of discourses, emotions, affects, subjects, and their productive forces. University of Birmingham. Ph.D.

Landassuri Moreno, Victor Manuel (2012). Evolution of modular neural networks. University of Birmingham. Ph.D.

Lewis, Andrew William (2016). The reconstruction of virtual cuneiform fragments in an online environment. University of Birmingham. Ph.D.

Lewis, Peter Richard (2010). Evolutionary market-based resource allocation in decentralised computational systems. University of Birmingham. Ph.D.

Li, Cheng (2022). Vehicle dispatch in high-capacity shared autonomous mobility-on-demand systems. University of Birmingham. Ph.D.

Li, Dong (2018). Active modules identification in multilayer intracellular networks. University of Birmingham. Ph.D.

Li, Rujia (2022). Design and evaluation of blockchain-based security protocols. University of Birmingham. Ph.D.

Li, Runzhao ORCID: 0000-0001-5120-9849 (2021). Artificial intelligence and chemical kinetics enabled property-oriented fuel design for internal combustion engine. University of Birmingham. Ph.D.

Li, Weining ORCID: 0000-0002-8844-564X (2022). Heat-assisted incremental sheet forming of TI-6AL-4V sheets. University of Birmingham. Ph.D.

Lima, Antonio (2016). Digital traces of human mobility and interaction: models and applications. University of Birmingham. Ph.D.

Logsdail, Andrew James (2012). Computational characterisation of gold nanocluster structures. University of Birmingham. Ph.D.

Lomuscio, Alessio (1999). Knowledge sharing among ideal agents. University of Birmingham. Ph.D.

Lu, Guanzhou (2014). Characterising fitness landscapes with fitness-probability cloud and its applications to algorithm configuration. University of Birmingham. Ph.D.

Lu, Wenqi (2020). Advanced regularization and discretization methods in diffuse optical tomography. University of Birmingham. Ph.D.

Lu, Xiaofen (2018). Multi-species evolutionary algorithms for complex optimisation problems. University of Birmingham. Ph.D.

Luck, Harry (2017). The reliability findings of a novel computerized neurocognitive assessment with the potential to be used to identify mild traumatic brain injuries. University of Birmingham. M.Sc.

Lux, Adahlia Sophie (2023). Blind source separation of hard clipped audio mixtures. University of Birmingham. Ph.D.

M

Mahesar, Quratul-ain (2014). Computing relatively large algebraic structures by automated theory exploration. University of Birmingham. Ph.D.

Mahmud, Mehdi Hassan (2020). Microbubble dynamics near rigid boundaries. University of Birmingham. Ph.D.

Mavrakis, Nikolaos ORCID: 0000-0002-3138-2633 (2020). Estimation of objects’ inertial parameters, and their usage in robot grasping and manipulation. University of Birmingham. Ph.D.

McDonald, David ORCID: 0000-0002-0540-8254 (2021). The hierarchical organisation and dynamics of complex networks. University of Birmingham. Ph.D.

McMahon Stone, Christopher (2021). Automated analysis of security protocol implementations. University of Birmingham. Ph.D.

Meech, John Foster (2000). Contextualising user interfaces for complex systems. University of Birmingham. Ph.D.

Mehrotra, Abhinav (2017). A framework for intelligent mobile notifications. University of Birmingham. Ph.D.

Melnikoff, Stephen Jonathan (2003). Speech recognition in programmable logic. University of Birmingham. Ph.D.

Menaa, Mohamed Nabih (2012). On the compositionality of round abstraction. University of Birmingham. Ph.D.

Miconi, Thomas (2008). The road to everywhere: Evolution, complexity and progress in natural and artificial systems. University of Birmingham. Ph.D.

Milner, Walter William (2011). Concept development in novice programmers learning Java. University of Birmingham. Ph.D.

Mohd Shariff, Khairul Khaizi Bin (2020). Vehicle speed over ground radar. University of Birmingham. Ph.D.

Mohd Shukri, Siti Rohkmah Binti (2017). Children adapt drawing actions to their own motor variability and to the motivational context for action. University of Birmingham. Ph.D.

Mohd Yusof, Mohd Hafizuddin (2017). Real-time person re-identification for interactive environments. University of Birmingham. Ph.D.

Morgan, Amy (2015). Supporting the diagnosis of childhood brain tumours through structural reports and ontological reasoning. University of Birmingham. M.Sc.

Morris, Christopher Robert (2018). Data integration in the rail domain. University of Birmingham. Ph.D.

Mudrova, Lenka (2017). Task scheduling and merging in space and time. University of Birmingham. Ph.D.

Muhammad, Irfan (2021). Algorithms for reachability problems on stochastic Markov reward models. University of Birmingham. Ph.D.

Murdock, Kit (2023). Finding and exploiting faults in hardware and software. University of Birmingham. Ph.D.

Muroya, Koko (2020). Hypernet semantics of programming languages. University of Birmingham. Ph.D.

Murphy, Alex ORCID: 0000-0001-6155-0514 (2022). Decoding linguistic information from EEG signals. University of Birmingham. Ph.D.

N

Najafian, Maryam (2016). Acoustic model selection for recognition of regional accented speech. University of Birmingham. Ph.D.

Nallur, Vivek (2012). A decentralized self-adaptation mechanism for service-based applications in the cloud. University of Birmingham. Ph.D.

Nguyen, Trung Thanh (2011). Continuous dynamic optimisation using evolutionary algorithms. University of Birmingham. Ph.D.

Nigar, Natasha (2021). Multi-objective dynamic software project scheduling: an evolutionary approach for uncertain environments. University of Birmingham. Ph.D.

Nobre, Farley Simon Mendes (2005). On cognitive machines in organizations. University of Birmingham. Ph.D.

Novakovic, Christopher (2015). Computing and estimating information leakage with a quantitative point-to-point information flow model. University of Birmingham. Ph.D.

Nunez-Varela, Jose Ignacio (2013). Gaze control for visually guided manipulation. University of Birmingham. Ph.D.

O

Onolaja, Olufunmilola Oladunni (2012). Dynamic data-driven framework for reputation management. University of Birmingham. Ph.D.

Oxford, Michael ORCID: 0000-0001-7033-8902 (2021). Quantitative verification of gossip protocols for certificate transparency. University of Birmingham. Ph.D.

P

Palmer, Andrew D (2014). Information processing for mass spectrometry imaging. University of Birmingham. Ph.D.

Pardi, Tommaso ORCID: 0000-0002-9103-5246 (2022). Planning and control of robotic manipulation actions for extreme environments. University of Birmingham. Ph.D.

Parker, David Anthony (2003). Implementation of symbolic model checking for probabilistic systems. University of Birmingham. Ph.D.

Perera, Roland (2013). Interactive functional programming. University of Birmingham. Ph.D.

Pinder, Charlie (2018). Targeting the automatic: Nonconscious behaviour change using technology. University of Birmingham. Ph.D.

Poepel, Cornelius (2011). An investigation of audio signal-driven sound synthesis with a focus on its use for bowed stringed synthesisers. University of Birmingham. Ph.D.

Price, Richard Michael (2010). Using current uptime to improve failure detection in peer-to-peer networks. University of Birmingham. Ph.D.

Q

Qian, Cheng (2015). Determining principles for the development of virtual environments for future clinical applications. University of Birmingham. Ph.D.

Qin, Xiaoyu ORCID: 0000-0002-9720-3220 (2024). Self-adaptive parameter control mechanisms in evolutionary computation. University of Birmingham. Ph.D.

Quintana Hernandez, Marcos Ivan (2005). Genetic programming applied to morphological image processing. University of Birmingham. Ph.D.

Qunoo, Hasan Najib Yousif (2012). Modelling and verifying dynamic access control policies using knowledge-based model checking. University of Birmingham. Ph.D.

R

Radu, Andreea-Ina (2020). Securing the in-vehicle network. University of Birmingham. Ph.D.

Ramoo, Dinesh Kumar (2014). Syllable structure in the mental lexicon: neuropsychological and computational evidence. University of Birmingham. Ph.D.

Rastegarpanah, Alireza (2016). A methodology for the Lower Limb Robotic Rehabilitation system. University of Birmingham. Ph.D.

Rathnayake , Asiri (2015). Semantics, analysis and security of backtracking regular expression matchers. University of Birmingham. Ph.D.

Raynaud, Guillaume (2014). Fibred contextual quantum physics. University of Birmingham. Ph.D.

Razon, Abigail R. (2017). An automated learner-based reading ability estimation strategy using concept indexing with integrated Part-of-Speech n-gram features. University of Birmingham. Ph.D.

Reed, Kate (2013). Improving aesthetic measures for evolutionary vase design. University of Birmingham. M.Res.

Robinson, Edward Robert (2011). Resource allocation via competing marketplaces. University of Birmingham. Ph.D.

Robinson, Jonathan Peter (2014). Imaging of root canal preparation. University of Birmingham. Ph.D.

Rocchi, Leonardo (2019). Adaptive algorithms for partial differential equations with parametric uncertainty. University of Birmingham. Ph.D.

Rodan, Ali (2012). Architectural designs of Echo State Network. University of Birmingham. Ph.D.

Rossiter, James (2011). Multimodal intent recognition for natural human-robotic interaction. University of Birmingham. Ph.D.

Rowan, Mark Stephen (2013). Information-selectivity of alzheimer's disease progression. University of Birmingham. Ph.D.

Rupawala, Mohammed Jujar (2021). Towards simultaneous electroencephalography and functional near-infrared spectroscopy for improving diagnostic accuracy in prolonged disorders of consciousness: a healthy cohort study. University of Birmingham. Ph.D.

Rushdi, Abduljabbar Ibrahim Rasheed (2018). Nanomaterial sensing: integrating MEMS technology and self-assembled monolayers. University of Birmingham. Ph.D.

S

Sabeghi Saroui, Behrang (2015). Recognition of mathematical handwriting on whiteboards. University of Birmingham. Ph.D.

Saha, Sneha (2023). Learning-based generative representations for automotive design optimization. University of Birmingham. Ph.D.

Saigol, Zeyn A. (2011). Automated planning for hydrothermal vent prospecting using AUVs. University of Birmingham. Ph.D.

Salaiwarakul, Anongporn (2010). Verification of secure biometric authentication protocols. University of Birmingham. Ph.D.

Salama, Maria Mourad Ebeid Meleka (2018). Architectural stability of self-adaptive software systems. University of Birmingham. Ph.D.

Salazar Lechuga, Maximino (2009). Multi-objective optimisation using sharing in swarm optimisation algorithms. University of Birmingham. Ph.D.

Salek, Milan (2019). 3-D Printed microwave and terahertz passive components. University of Birmingham. Ph.D.

Samperi, Katrina (2016). Using trails to improve map generation for virtual agents in large scale, online environments. University of Birmingham. Ph.D.

Samsudin, Nur Hana (2018). A study on reusing resources of speech synthesis for closely-related languages. University of Birmingham. Ph.D.

Sanyang, Momodou Lamin (2017). Large scale estimation of distribution algorithms for continuous optimisation. University of Birmingham. Ph.D.

Sasse, Martina Angela (1997). Eliciting and describing users' models of computer systems. University of Birmingham. Ph.D.

Saxon, John Trevor (2018). Using traceability in model-to-model transformation to quantify confidence based on previous history. University of Birmingham. Ph.D.

Schaeffer, Oksana (2008). On the use of process algebra techniques in computational modelling of cancer initiation and development. University of Birmingham. Ph.D.

Serra, Giuseppe (2024). Improving the interpretability of machine learning approaches with user-generated data. University of Birmingham. Ph.D.

Shafie, Sharil Idzwan (2018). Active modules of bipartite metabolic network. University of Birmingham. Ph.D.

Shah, Seyyed Madasar Ali (2012). Model transformation dependability evaluation by the automated creation of model generators. University of Birmingham. Ph.D.

Shenaiber, Nourah (2015). Analyzing the selection of the herbrand base process for building a Smart Semantic Tree Theorem Prover. University of Birmingham. Ph.D.

Shi, Ning (2021). Boolean network inference and control using metaheuristic algorithms. University of Birmingham. Ph.D.

Sidhik, Saif ORCID: 0000-0002-7031-0210 (2022). An adaptive framework for changing-contact robot manipulation. University of Birmingham. Ph.D.

Singh, Rajiv Ranjan ORCID: 0000-0003-1808-3433 (2022). Modelling and verification of security requirements and stealthiness in security protocols. University of Birmingham. Ph.D.

Smale, Jonathan Ross (2012). Fitting and using model Hamiltonian in non-adiabatic molecular dynamics simulations. University of Birmingham. Ph.D.

Smart, Matthew James (2012). Anonymity vs. traceability: revocable anonymity in remote electronic voting protocols. University of Birmingham. Ph.D.

Smith, Alexander Ian (2015). On the design of finite-state type systems. University of Birmingham. Ph.D.

Smith, Elliot (2000). Incoherence and text comprehension: cognitive and computational models of inferential control. University of Birmingham. Ph.D.

Smith, Phillip (2017). Sentiment analysis of patient feedback. University of Birmingham. Ph.D.

Smyth, Ben (2011). Formal verification of cryptographic protocols with automated reasoning. University of Birmingham. Ph.D.

Soares, Rodrigo Gabriel Ferreira (2014). Cluster-based semi-supervised ensemble learning. University of Birmingham. Ph.D.

Sobhy, Dalia (2019). Continuous evaluation framework for software architectures: an IoT case. University of Birmingham. Ph.D.

Staite, Christopher (2012). Identity management architecture and implementation: evaluation and improvement. University of Birmingham. Ph.D.

Stewart, Edward James Charles (2012). A distributed instrumentation system for the acquisition of rich, multi-dimensional datasets from railway vehicles. University of Birmingham. Ph.D.

Stroescu, Ana Raluca (2022). Classification, object detection and tracking in high resolution radar imagery for autonomous driving using deep learning. University of Birmingham. Ph.D.

Strygin, Maxim (2014). Semantics and logics for signals. University of Birmingham. Ph.D.

Subakti, Misbakhul Munir Irfan (2017). A method for integrating ontologies, contextual variation and rules, and its application to reading material classification. University of Birmingham. M.Phil.

Sunmola, Funlade Tajudeen (2013). Optimising learning with transferable prior information. University of Birmingham. Ph.D.

Suryanarayanan, Vinoth (2012). Synchronised range queries. University of Birmingham. Ph.D.

Swinbank, Richard (2008). Virtual forced splitting in multidimensional access methods. University of Birmingham. Ph.D.

T

Tabassum, Sadia ORCID: 0000-0002-5096-7100 (2023). Online cross-project prediction of defect-inducing software changes. University of Birmingham. Ph.D.

Tang, Fengzhen (2015). Kernel methods for time series data. University of Birmingham. Ph.D.

Tanhaei, Ghazal (2016). A power-scalable variable-length analogue DFT processor for multi-standard wireless transceivers. University of Birmingham. Ph.D.

Tayyar Madabushi, Harish ORCID: 0000-0001-5260-3653 (2019). On the integration of conceptual hierarchies with deep learning for explainable open-domain question answering. University of Birmingham. Ph.D.

Thomas, Richard James ORCID: 0000-0002-7199-1265 (2019). A systematic development of a secure architecture for the European Rail Traffic Management System. University of Birmingham. Ph.D.

Thomas, Sam Lloyd (2018). Backdoor detection systems for embedded devices. University of Birmingham. Ph.D.

Tsapeli, Theofania Kleio (2018). Understanding real-world phenomena from human-generated sensor data. University of Birmingham. Ph.D.

Tutcher, Jonathan (2016). Development of semantic data models to support data interoperability in the rail industry. University of Birmingham. Ph.D.

Tziakouris, Giannis (2017). Economics-driven approach for self-securing assets in cloud. University of Birmingham. Ph.D.

U

Ueda, Naoki (2005). Metro traffic optimisation accounting for the disbenefit of halting between stations. University of Birmingham. Ph.D.

Ujir, Hamimah (2013). 3D facial expression classification using a statistical model of surface normals and a modular approach. University of Birmingham. Ph.D.

Ulicsak, Mary Helen (2003). Working together in the classroom : an investigation into software to raise awareness of group-learning skills in children aged 9 and 10. University of Birmingham. Ph.D.

V

Vasalos, Averkios (2012). Late time response analysis in UWB radar for concealed weapon detection: feasibility study. University of Birmingham. Ph.D.

Veesa, Joshua Deepak ORCID: 0000-0002-0763-7755 (2021). Computational models for functional near-infrared spectroscopy and imaging. University of Birmingham. Ph.D.

Vyas, Nina (2017). Imaging dental ultrasonic cavitation and its effects. University of Birmingham. Ph.D.

W

Wan, Jizheng ORCID: 0000-0002-1069-4582 (2022). Semantic impact - a novel approach for domain concept selection in ontology learning. University of Birmingham. Ph.D.

Wang, Gehao (2012). Genus zero systems for primitive groups of affine type. University of Birmingham. Ph.D.

Wang, Minlue (2014). Monitoring plan execution in partially observable stochastic worlds. University of Birmingham. Ph.D.

Wang, Shuo (2011). Ensemble diversity for class imbalance learning. University of Birmingham. Ph.D.

Wang, Xiaoxia (2010). Manifold aligned density estimation. University of Birmingham. Ph.D.

Waugh Ambridge, Todd (2024). Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. University of Birmingham. Ph.D.

Wei, Jingfu (2022). An investigation into applying ontologies to the UK railway industry. University of Birmingham. Ph.D.

Wei, Wei (2018). Automatic surface targets detection in forward scatter radar. University of Birmingham. Ph.D.

Weitkämper, Charlotte (2023). Cryptanalysis of Isogeny-based Protocols in Genus 1 and 2. University of Birmingham. Ph.D.

Welsh, Noel (2011). Learning and acting in unknown and uncertain worlds. University of Birmingham. Ph.D.

Wen, Tao (2018). Access point deployment optimisation in communication-based train control systems. University of Birmingham. Ph.D.

White, Jamie Aaron (2017). Empowering medical personnel to challenge through simulation-based training. University of Birmingham. Ph.D.

Wicaksono, Adhi (2022). Reinforcement framework: strengthening implementation intentions to support habit formation. University of Birmingham. Ph.D.

Wong, Shun Ha Sylvia (2000). An investigation into the use of argument structure and lexical mapping theory for machine translation. University of Birmingham. Ph.D.

Wu, Xue (2016). Atlas based image reconstruction for diffuse optical imaging of the human brain. University of Birmingham. Ph.D.

X

Xia, Fubiao (2013). Designated confirmer signatures: modelling, design and analysis. University of Birmingham. Ph.D.

Xu, Chuangjie (2015). A continuous computational interpretation of type theories. University of Birmingham. Ph.D.

Y

Yang, Wen-Chi (2017). Evolution of fish schools: a theoretical study by agent-based simulation and game-theoretic analysis. University of Birmingham. Ph.D.

Yao, Conglun (2010). Strongly typed, compile-time safe and loosely coupled data persistence. University of Birmingham. Ph.D.

Yasmin, Rehana (2012). An efficient authentication framework for wireless sensor networks. University of Birmingham. Ph.D.

Ye, Jiaqi ORCID: 0000-0002-9593-8995 (2022). Next-Generation railway inspection approaches based on a combination of multiple sensing technologies. University of Birmingham. Ph.D.

Yeh, Chun-Wei (2015). Colour morphology and its approaches. University of Birmingham. Ph.D.

Yeo, Graeme James (2017). Monitoring railway track condition using inertial sensors on an in-service vehicle. University of Birmingham. Ph.D.

Young, Jay (2016). Learning by observation using Qualitative Spatial Relations. University of Birmingham. Ph.D.

Yu, Jiangshan (2016). Mitigating private key compromise. University of Birmingham. Ph.D.

Yu, Juntao (2018). Semi-supervised methods for out-of-domain dependency parsing. University of Birmingham. Ph.D.

Yu, Xunzhao (2023). Surrogate-assisted evolutionary algorithms for computationally expensive optimisation problems. University of Birmingham. Ph.D.

Yusuf, Sagir Muhammad (2023). Managing distributed situation awareness in a team of agents. University of Birmingham. Ph.D.

Z

Zakeri, Zohreh (2017). Optimised use of independent component analysis for EEG signal processing. University of Birmingham. Ph.D.

Zardari, Shehnila (2016). Cloud adoption: a goal-oriented requirements engineering approach. University of Birmingham. Ph.D.

Zhan, Yuxuan (2013). Model-based high-density functional diffuse optical tomography of human brain. University of Birmingham. Ph.D.

Zhang, Han (2022). Graph-based machine learning and its application on multi-omics data analysis. University of Birmingham. Ph.D.

Zhang, Li (2004). A syllable-based, pseudo-articulatory approach to speech recognition. University of Birmingham. Ph.D.

Zhang, Liangpeng (2021). Model-based reinforcement learning with small sample size. University of Birmingham. Ph.D.

Zhang, Mengsu (2012). Design and performance analysis of novel signature code in two-dimensional optical CDMA systems. University of Birmingham. M.Phil.

Zhang, Nan ORCID: 0000-0002-5728-0440 (2024). Digital twins and intelligence: A symbiotic framework. University of Birmingham. Ph.D.

Zhang, Yu ORCID: 0000-0001-7442-375X (2022). Deep Neural Networks on Genetic Motif Discovery: the Interpretability and Identifiability Issues. University of Birmingham. Ph.D.

Zhao, Chao (2019). Dexterous grasping of novel objects from a single view. University of Birmingham. M.Sc.

Zhao, Dadi Teddy ORCID: 0000-0001-7727-3638 (2023). Diagnosing brain tumours through functional imaging and machine learning. University of Birmingham. Ph.D.

Zhao, Ning (2013). Railway traffic flow optimisation with differing control systems. University of Birmingham. Ph.D.

Zhou, Quan ORCID: 0000-0003-4216-3468 (2019). Design optimisation and real-time energy management control of the electrified off-highway vehicle with artificial intelligence. University of Birmingham. Ph.D.

Zidouk, Amaria (2015). Recovering the optical properties of a tissue using maximum a posteriori based estimation. University of Birmingham. Ph.D.

Zito, Claudio (2016). Planning simultaneous perception and manipulation. University of Birmingham. Ph.D.

Zuo, Rui (2012). Bistatic synthetic aperture radar using GNSS as transmitters of opportunity. University of Birmingham. Ph.D.