Programming Language Design and Implementation for IDEs
Programming Language Design and Implementation for IDEs
About the Project Programming languages typically have a particular syntax and semantics, chosen by their designers, and both are often variations on those of existing similar languages. The basic tasks … Read More Read More
Categories:
Making Efficient Sound Gradual Typing Fit for Industry Adoption
Making Efficient Sound Gradual Typing Fit for Industry Adoption
About the Project The goal of this project is to solve remaining problems in the design and implementation of gradually-typed programming languages that prevent sound and well-behaved gradual typing from … Read More Read More
Categories:
Partition graphs into independent sets
Partition graphs into independent sets
About the Project This project will be focused on graph coloring and extremal graph theory. Topics include but are not limited to packing coloring, packing edge-coloring, square coloring, strong edge-coloring, … Read More Read More
Categories:
Controllable Wireless Power Transfer for Wireless Personal and Body Area Network Devices
Controllable Wireless Power Transfer for Wireless Personal and Body Area Network Devices
About the Project The use of wireless wearable or body centric devices, especially those for health monitoring, has rapidly increased in the past decade due to convenience and functionality. Powering … Read More Read More
Categories:
Prompt Learning for Video Anomaly Detection
Prompt Learning for Video Anomaly Detection
About the Project Video Anomaly Detection (VAD) is a critical task in video surveillance and auditing, aiming to automatically identify abnormal events within video streams. However, many video platforms still … Read More Read More
Categories:
Human-in-the-loop Planning and Control for Multi-Robot Systems
Human-in-the-loop Planning and Control for Multi-Robot Systems
About the Project Traditional paradigms of shared control have heavily relied on humans to provide precise and accurate inputs to robots, or they have reduced the role of humans in … Read More Read More
Categories:
Intelligent Social Autonomous Assistive Companions
Intelligent Social Autonomous Assistive Companions
About the Project As the ageing population continues to grow, there is increasing pressure on health and social care resources designed to support healthy ageing. Social assistive robots (SARs) and … Read More Read More
Category:
People Supervising Robots and A.I. Systems
People Supervising Robots and A.I. Systems
About the Project Ensuring that robots and A.I. systems help rather than cause harm to people is a key problem amid growing technology use and capabilities. This project’s goal is … Read More Read More
Categories:
Smart Grid Efficiency: Integrating AI and Automation
Smart Grid Efficiency: Integrating AI and Automation
About the Project Smart Grid is the emerging next-generation power grid concept that uses two-way flows of electricity and information to create a widely distributed automated energy delivery network. The … Read More Read More
Category:
Adaptive Robot Behaviours in dynamic and outdoor settings
Adaptive Robot Behaviours in dynamic and outdoor settings
About the Project In controlled settings such as factories, robots are able to achieve many tasks efficiently and accurately. However, it is still a challenge to enable robots to operate … Read More Read More
Category: