Skip to main content
Back to KTH start page

Musard Balliu

Profile picture of Musard Balliu

Associate professor

Details

Telephone
Address
LINDSTEDTSVÄGEN 5, PLAN 5
Room
Room 4527

Researcher

Researcher ID

About me

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.


Courses

Computer Security (DD2395), examiner, course responsible, assistant, teacher | Course web

Cybersecurity Overview (DD2391), examiner, course responsible | Course web

Epistemic Logic (FDD3029), examiner | Course web

Formal Methods (DD2452), teacher | Course web

Formal Methods (FDD3452), teacher | Course web

Language-Based Security (DD2525), examiner, course responsible | Course web

Principles of Programming Languages (DD2481), teacher | Course web

Program Integrating Course in Computer Science (DD2300), assistant | Course web

The Cybersecurity Engineer's Role in Society (DD2303), teacher | Course web