Songyan Lai

I am currently working as a Research Assistant in formal methods at the department of Theoretical Computer Science (TCS) under supervision of Dilian Gurov.

My academic focus lies in formal verification and cloud technologies. I have contributed to research projects in collaboration with NASA on formal methods and temporal logic, and have practical experience in full-stack development and IoT systems through internships and awarded patent projects.

I am passionate about building scalable and verifiable computing systems and look forward to contributing to both academic and industrial advancements during my time at KTH and beyond.