Mateus De Oliveira Oliveira
Position
Associate professor
Affiliation
- 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
Mateus De Oliveira Oliveira
Position
Associate professor
Affiliation
Publications
Academic article
Conference lecture
Projects
Autoproving - Automated Theorem Proving from the Mindset of Parameterized Complexity Theory (Research Council of Norway, 8 Million NOK)