dr. Andrej Bauer
št.: 15854

raziskovalec - aktiven v raziskovalni organizaciji

andrej.bauer at sign

at sign

fmf.uni-lj.si

Raziskovalna dejavnost

Koda	Veda	Področje	Podpodročje
1.01.03	Naravoslovje	Matematika	Numerična in računalniška matematika
1.01.00	Naravoslovje	Matematika

Ključne besede

Teoretična in uporabna logika, matematične osnove programskih jezikov, konstruktivna analiza in topologija

Bibliografija Reprezentativne bibliografske enote | Osebna| COBISS+

vir: COBISS

vir: SICRIS

Vrednotenje (pravilnik)

Vrednotenje bibliografskih kazalcev raziskovalne uspešnosti po metodologiji ARIS

vir: COBISS

vir: ARIS

Upoš. tč.

243,27

A''

0

A'

0

A1/2

0

CI10

383

CImax

108

h10

10

A1

0,65

A3

5

Podatki za zadnjih 5 let (citati za zadnjih 10 let) na dan 26. april 2024; A3 za obdobje 2018-2022 (posodobitev za poziv v 2023: DA)

Podatki za razpise ARIS ( 12.01.2024 – Projektni razpis, arhiv )

Bibliografski kazalci uspešnosti za izvolitev v naziv

vir: COBISS

Citiranost Citiranost bibliografskih zapisov v COBIB.SI, ki so povezani z zapisi citatnih baz

vir: WoS

vir: Scopus

vir: COBISS

Baza	Povezani zapisi	Citati	Čisti citati	Povprečje čistih citatov
WoS	33	327	295	8,94
Scopus	44	554	500	11,36

Avdiovizualni viri

št.	Naslov (s povezavo na video)	Dogodek	Vir
1.	Modalna logika in agenti	Solomonovi seminarji	Predavanja na Videolectures
2.	Naključna umetnost	Solomonovi seminarji	Predavanja na Videolectures
3.	Mala šola teorije programskih jezikov	Solomonovi seminarji	Predavanja na Videolectures
4.	Ne ne biti ali ne biti?	Solomonovi seminarji	Predavanja na Videolectures
5.	Ali so vsi kratki stavki odločljivi?	Solomonovi seminarji	Predavanja na Videolectures
6.	O učiteljih in mojstrih	TEDx´09 Ljubljana	Predavanja na Videolectures
7.	Simbolni zapis	Predmet Logika in množice	Predavanja na Videolectures
8.	Izjavni in predikatni račun		Predavanja na Videolectures
9.	Kako pišemo dokaze?		Predavanja na Videolectures
10.	Naravna števila in Peanovi aksiomi		Predavanja na Videolectures
11.	Množice in funkcije		Predavanja na Videolectures
12.	Epimorfizmi in monomorfizmi		Predavanja na Videolectures
13.	Bijekcije in izomorfizmi, družine množic		Predavanja na Videolectures
14.	Relacije		Predavanja na Videolectures
15.	Ekvivalenčne relacije in izrek o razcepu funkcij		Predavanja na Videolectures
16.	Računsko intenzivne metode in aplikacije	Odlični v znanosti 2013	Predavanja na Videolectures

Izobrazba

vir: ARIS

Stopnja izobrazbe	Strokovni naziv	Študijska smer	Fakulteta	Leto
Visoka šola	Dipl. inž. matematike	Teoretična matematika	UNIVERZA V LJUBLJANI, FMF	1994
Magisterij	Magister znanosti	Teoret.in uporabna logika	Carnegie Mellon University, School of Computer Science	1996
Doktorat znanosti	Doktor znanosti		Carnegie Mellon University, School of Computer Science, pure and applied logic	2000

Doktorske disertacije in druga zaključna dela Prikaži

vir: COBISS

Zaposlitve

vir: ARIS

Tip zaposlitve	Razisk. org.	Razisk. skup.	Datum zaposlitve	Delovno mesto	Vloga	Naziv
Delovno razmerje po pogodbi o zaposlitvi (10%, RD:10%)	Inštitut za matematiko, fiziko in mehaniko	Oddelek za teoretično računalništvo	1.11.1995	Raziskovalec	Raziskovalec	Redni profesor
Delovno razmerje po pogodbi o zaposlitvi (100%, RD:60%)	Univerza v Ljubljani, Fakulteta za matematiko in fiziko	Odsek za matematiko	1.12.2001	Visokošolski učitelj - redni profesor	Raziskovalec	Redni profesor

Raziskovalni projekti ARIS Legenda

vir: ARIS

št.	Evidenčna št.	Naziv	Obdobje	Vodja	Štev. publikacij
1.	J1-4351	Generiranje, analiza in katalogizacija simetričnih grafov	2022 - 2024	dr. Primož Potočnik	1.727
2.	N1-0216	Simetrije, negibnost in prožnost grafov	2022 - 2024	dr. Primož Potočnik	1.074
3.	J1-1691	Weissova domneva in posplošitve	2019 - 2023	dr. Primož Potočnik	2.900
4.	J1-9187	Akcijski grafi in tehnike krovnih grafov	2018 - 2021	dr. Tomaž Pisanski	3.041
5.	N1-0011	GReGAS - Geometrijske reprezentacije in simetrije grafov, preslikav in drugih diskretnih struktur ter aplikacij v znanosti	2011 - 2014	dr. Tomaž Pisanski	7.603
6.	L1-0696	Digitalni arhiv naravne in kulturne dediščine	2008 - 2011	dr. Tomaž Pisanski	2.786
7.	M5-0164	e-VIZUS: Informatizacija izobraževanja in usposabljanja v SV	2007	dr. Alenka Kavčič	3.526
8.	J1-6062	Podatkovne strukture in algoritmi v diskretni in zvezni matematiki	2004 - 2007	dr. Vladimir Batagelj	3.475
9.	Z1-3138	Izračunaljivost v analizi in topologiji	2002 - 2004	dr. Andrej Bauer	302

Raziskovalni in infrastrukturni programi ARIS Legenda

vir: ARIS

št.	Evidenčna št.	Naziv	Obdobje	Vodja	Štev. publikacij
1.	P1-0294	Računsko intenzivne metode v teoretičnem računalništvu, diskretni matematiki, kombinatorični optimizaciji ter numerični analizi in algebri z uporabo v naravoslovju in družboslovju	2020 - 2024	dr. Primož Potočnik	4.237
2.	P1-0294	Računsko intenzivne metode v teoretičnem računalništvu, diskretni matematiki, kombinatorični optimizaciji ter numerični analizi in algebri z uporabo v naravoslovju in družboslovju	2015 - 2019	dr. Primož Potočnik	4.226
3.	P1-0294	Računsko intenzivne metode v teoretičnem računalništvu, diskretni matematiki, kombinatorični optimizaciji ter numerični analizi in algebri z uporabo v naravoslovju in družboslovju	2009 - 2014	dr. Tomaž Pisanski	6.124
4.	P1-0294	Izbrane teme teoretičnega računalništva in kombinatorične optimizacije	2004 - 2008	dr. Marko Petkovšek	7.667
5.	P0-0511-0101	Matematične osnove računalništva in diskretna matematika	2002 - 2003	dr. Tomaž Pisanski	2.231

Mednarodni projekti

št.	Evidenčna št.	Naziv	Obdobje	Vodja	Štev. publikacij
1.	ASFOR-TyDiForm	Type Theory for Data-Intensive Formalization	1.1.2020 - 31.10.2025	Andrej Bauer
2.	AFOSR - Air Force Office of Scientific Research-TypeCoMa	Foundations of Type Theory for Computation and Mathematics	1.1.2017 - 31.12.2020	Andrej Bauer
3.	COST-CA15123	The European research network on types for programming and verification (EUTYPES)	21.3.2016 - 20.3.2020	Andrej Bauer
4.	FP7-PEOPLE-COMPUTAL-102091	Computable Analysis	1.2.2012 - 31.1.2016	Andrej Bauer