-
mix of algorithm engineering and formal methods, alongside more traditional software engineering activities. This project involves developing software which is both mathematically rigorous, and
-
years full-time; 2-3 years part-time; MPhil: 2-3 years full-time; 3-4 years part-time; Apply now Overview Overview Research sections Formal Analysis, Theory and Algorithms (FATA) Glasgow Interactive
-
, path finding and routing algorithms, sense of direction, human computer interaction, cognitive navigation, intelligent mobility, and artificial intelligence. Sensor fusion and Signals of Opportunity We
-
language processing algorithms to synthesise/organise data on household contacts Generate unique household identifiers for each contact Record sociodemographic characteristics Record TB exposure history Identify risk
-
directly and relate them to structural and functional outcomes. In parallel, you will develop new sensors for intracellular potassium concentration leveraging AI based protein design algorithms. Techniques