Projects
Below is a list of the department's current and completed projects.
Current projects
CVPP: Control-Flow Verification of Programs with Procedures
ENCOVER: Epistemic Noninterference COncolic VERifier
PeerSoN: Privacy-Preserving P2P Social Networks
PROSPER: Provably Secure Execution Platforms for Embedded Systems
SpaceBook: speech-driven, hands-free, eyes-free navigation and exploration for pedestrians!
Completed projects
Algebraic computation
CrossCheck - a grammar checker for second language writers
Graphs with bounded decomposability
HATS: Highly Adaptable and Trustworthy Software using Formal Models
Object-relational spatial analysis DBMS
Swedish information retrieval with language technology and matrix computations