-
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
-
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