Izidor Hafner [ízidor háfner], slovenski matematik in logik, * 8. november 1949, Ljubljana, † 14. junij 2026.
Življenje in delo
Hafner je po diplomi iz predikatnega računa (1972) in magisteriju iz algebre (1974) leta 1983 doktoriral na Fakulteti za elektrotehniko s temo Kompleksnost teorij Leśniewskega in njihova uporaba.
Od leta 2006 je bil predavatelj na Fakulteti za računalništvo in informatiko v Ljubljani. Je ustanovitelj tekmovanj iz logike ter revije Logika in razvedrilna matematika. Za svoje zasluge pri uvajanju računalništva in logike v srednje šole ter za delo z mladimi na tem področju je leta 2000 prejel častni znak svobode Republike Slovenije. 2007 je prejel priznanje »Prometej znanosti«, ki ga za odličnost v predstavljanju znanosti podeljuje Slovenska znanstvena fundacija, leta 2009 pa je prejel še nagrado Republike Slovenije na področju šolstva, in sicer za posebno uspešno vzgojno-izobraževalno inovacijsko in organizacijsko delo v visokem šolstvu. Od leta 2014 je bil tudi častni član Društva matematikov, fizikov in astronomov Slovenije (DMFA).
Sklici
Zunanje povezave
- predstavitvena stran
Kategorija:Slovenski matematiki Kategorija:Slovenski logiki Kategorija:Nosilci častnega znaka svobode Republike Slovenije Kategorija:Predavatelji na Fakulteti za računalništvo in informatiko v Ljubljani Kategorija:Slovenski univerzitetni učitelji Kategorija:Diplomiranci Fakultete za naravoslovje in tehnologijo v Ljubljani Kategorija:Magistrirali na Fakulteti za naravoslovje in tehnologijo v Ljubljani Kategorija:Doktorirali na Fakulteti za elektrotehniko v Ljubljani