- mateus.oliveira@uib.no
- Phone number
- +47 55584278
- Visitor address
-
HIB - Thormøhlens gate 55
5006 Bergen - Postal address
-
P.O. Box 7803NO-5020 BergenNorway
Follow me
Projects
Autoproving - Automated Theorem Proving from the Mindset of Parameterized Complexity Theory (Research Council of Norway, 8 Million NOK)