SYMOFROS: A flexible Dynamics Modelling Software
Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications
System design for lunar-based optical and submillimeter interferometers
System-level physics of autonomous nanorobots for hard chemistry and wave packet engineering