Can tiny robots one day help fight bacterial infections or deliver medicines precisely where they are needed in the human body? For PhD researcher Yanzhen Song, these questions are at the heart of ...

The faculty’s VeriFIT research group, which focuses on automated analysis and verification, has achieved an exceptional publication record. At one of the world’s most prestigious (CORE A*, 25% ...