Songyan Lai

Jag arbetar för närvarande som forskningsassistent inom formella metoder vid institutionen för teoretisk datavetenskap (TCS) under handledning av Dilian Gurov.

Mitt akademiska fokus ligger på formell verifiering och molnteknologier. Jag har bidragit till forskningsprojekt i samarbete med NASA om formella metoder och temporallogik, och har praktisk erfarenhet av full-stack-utveckling och IoT-system genom praktik och belönade patentprojekt.

Jag brinner för att bygga skalbara och verifierbara datorsystem och ser fram emot att bidra till både akademiska och industriella framsteg under min tid på KTH och framöver.