Musard Balliu KTH

Musard Balliu

Associate Professor
School of Electrical Engineering and Computer Science
KTH Royal Institute of Technology

Email: musard@kth.se
Phone: +46 8 790 68 22
Office: 4517
Postal address: Lindstedtsvägen 5, SE-100 44, Stockholm, Sweden



I am Associate Professor at the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden. I lead the LangSec (Language-Based Security) group conducting research at the intersection of computer security, programming languages, formal methods and software engineering. Our research interests are in many aspects of security, from both theoretical and practical angles, spanning core and emerging areas such as information flow control, web and mobile application security, IoT security, low-level security, program analysis and verification, and logics.

News

LangSec Group

Projects and Awards

Centers

I am involved in the following centers.