(Allocated) Microworld to teach about solutions to the housing crisis

Microworlds are a type of computer simulation which have proven to be very powerful tools with which to create effective learning experiences. For example a previous project developed one to teach about nati0nal waste management. This project will involve developing a microworld to help teach about the challenges involved in tackling the housing crisis. The … Read more

(Allocated) Microworld to teach about finance

Microworlds are a type of computer simulation which have proven to be very powerful tools with which to create effective learning experiences. For example a previous project developed one to teach about nati0nal waste management. This project will involve developing a microworld to help teach about managing personal finances. The tool is aimed at Transition … Read more

Using Promela/SPIN to verify RTEMS (TAKEN)

TAKEN RTEMS (https://www.rtems.org/) is an open-source real-time operating system widely used in aircraft and spacecraft. It offers a comprehensive API, mostly defined in terms of “managers” that provide calls to perform specific kinds of services or provide specific infrastructure. As part of an activity sponsored by the European Space Agency (ESA) we have developed a … Read more

[TAKEN] PsyFace: Mapping Personality Traits to Procedural Facial Features in Unreal Engine

    This project will develop a procedural facial feature adjustment system for Unreal Engine MetaHumans that dynamically modifies key facial characteristics based on psychological associations between facial traits and personality impressions—for example, enlarging eyes to convey honesty or adjusting jawline to suggest dominance. The system will map established psychological findings about how facial features … Read more

[TAKEN] AI Clothing Variety for Virtual Crowds

This project aims to enhance the visual diversity and realism of crowds in real-time virtual environments by combining AI-driven texture generation for clothing with procedural variation techniques applied to a limited set of template MetaHumans in Unreal Engine. By leveraging state-of-the-art AI models to generate diverse, high-quality clothing textures dynamically, the project will create varied … Read more