Musard Balliu Chalmers

Musard Balliu

Postdoctoral Researcher
Department of Computer Science and Engineering
Chalmers University of Technology

Phone: +46 31 772 1098
Office: EDIT 5472
Postal address: Rännvägen 6B, 41296 Gothenburg, Sweden
Curriculum Vitae: PDF

I am a postdoctoral researcher in the ProSec group at the Department of Computer Science and Engineering at Chalmers University of Technology in Gothenburg, Sweden. I work with Andrei Sabelfeld and his group on web and mobile security, taint tracking and foundations of information-flow control.

My research interests concern formal methods and security, in particular language-based security. Concretely, I am mostly interested in (language-based) information-flow security, web security, privacy in social networks, location privacy, semantics, program verifcation, programming languages, epistemic logics, abstract interpretation, multi-agent systems and hypervisors.
I did my PhD at KTH Royal Institute of Technology, advised by Mads Dam. I worked on information-flow analysis of low-level code, in context of the PROSPER project. I've also worked on epistemic logics and automated verification of Java bytecode programs. For further information, you can take a look at my CV .