Mladen Vuković - životopis  

Rođen je u Varaždinu, gdje je pohađao osnovnu školu i gimnaziju. Na Prirodoslovno-matematičkom fakultetu Sveučilišta u Zagrebu diplomirao je matematiku (1987.  na smjeru teorijska matematika), magistrirao s temom Matematičke teorije u jezicima drugog reda (1990.), te obranio disertaciju po naslovom Generalizirani Veltmanovi modeli (1996.). Zaposlen je na PMF-u Matematički odjel od 1987. do 1996. kao asistent, od 1996. do 2000. kao viši asistent, te od 2000. kao docent. Područje njegovog istraživanja je matematička logika, odnosno logike dokazivosti i interpretabilnosti, te teorija modela. Objavio je desetak znanstvenih radova, te desetak stručnih članaka. Važniji radovi su mu: Some Correspondence of Principle of Interpretability Logic, Glasnik Matematički (1996.), The principles of interpretability, Notre Dame Journal of Formal Logic (1999.), Hennessy-Milner Theorem in Interpretability Logic, Bulletin of Section of Logic (2005.). Glavni mu je znanstveni doprinos karakterizacija generaliranih Veltmanovih okvira za princip interpretabilnosti M0. Autor je skripte iz Matematičke logike koja se godinama koristi ma PMF-MO. Predavao je desetak raznih kolegija na dodiplomskom studiju, kao što su npr. Matematička logika, Teorija skupova i Nepotpunost aritmetike. Na poslijediplomskom studiju matematike predavao je tri kolegija. Nekoliko godina bio je voditelj nastave za profesorske smjerove na PMF-MO. Član je Hrvatskog matematičkog društva.

 

Povratak na početnu stranicu