Research Groups @ FII
Applied Distributed Systems
Constraint Optimization And Operations Research
Formal Methods In Software Engineering