Generating and Deploying Lightweight, Secure and Zero-overhead Software for Multipurpose IoT Devices
Hybrid workspaces for humans and (semi-)autonomous vehicles
Cost-Efficient Smart System Software Synthesis