dr. Andrej Bauer

dr. Andrej Bauer
št.: 15854 vir: ARIS

raziskovalec - aktiven v raziskovalni organizaciji
  andrej.bauerat signfmf.uni-lj.si
  • Angleški
  • Branje: Tekoče
  • Pisanje: Tekoče
  • Govor: Tekoče
  • Nemški
  • Branje: Funkcionalno
  • Pisanje: Osnovno
  • Govor: Osnovno
  • Italijanski
  • Branje: Osnovno
  • Pisanje: Osnovno
  • Govor: Funkcionalno
Uredi
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 (metodologija)
Vrednotenje bibliografskih kazalcev raziskovalne uspešnosti po metodologiji ARIS
vir: COBISS
vir: ARIS
Upoš. tč.
264,46
A''
0
A'
0
A1/2
0
CI10
449
CImax
121
h10
11
A1
0,71
A3
5
Podatki za zadnjih 5 let (citati za zadnjih 10 let) na dan 12. oktober 2025; Podatki za izračun ocene A3 se nanašajo na obdobje 2020-2024 (2019, 2020, 2021, 2022, 2023)
Podatki za razpise ARIS ( 23.05.2022 – Ciljni raziskovalni programi, 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 34  378  344  10,12 
Scopus 45  632  576  12,8 
Izobrazba
vir: ARIS
Stopnja izobrazbe Strokovni naziv Študijska smer Fakulteta Leto
Visoka šola  Dipl. inž. matematike  Teoretična matematika  SI UNIVERZA V LJUBLJANI,FMF 1994 
Magisterij  Magister znanosti  Teoret.in uporabna logika  US Carnegie Mellon University,School of Computer Science 1996 
Doktorat znanosti  Doktor znanosti    SI Carnegie Mellon University,School of Computer Science, pure and applied logic 2000 
Doktorske disertacije in druga zaključna dela Prikaži
Pridobivanje rezultatov je v teku
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 (105%, RD:55%)  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
1. J1-4351  Generiranje, analiza in katalogizacija simetričnih grafov   1.10.2022 - 30.9.2026  dr. Primož Potočnik   2.352 
2. N1-0216  Simetrije, negibnost in prožnost grafov   1.10.2021 - 30.9.2024  dr. Primož Potočnik   1.151 
3. J1-1691  Weissova domneva in posplošitve   1.7.2019 - 30.6.2023  dr. Primož Potočnik   3.028 
4. J1-9187  Akcijski grafi in tehnike krovnih grafov   1.7.2018 - 30.6.2021  dr. Tomaž Pisanski   3.145 
5. N1-0011  GReGAS - Geometrijske reprezentacije in simetrije grafov, preslikav in drugih diskretnih struktur ter aplikacij v znanosti   1.7.2011 - 30.6.2014  dr. Tomaž Pisanski   7.856 
6. L1-0696  Digitalni arhiv naravne in kulturne dediščine   1.2.2008 - 30.1.2011  dr. Tomaž Pisanski   2.867 
7. M5-0164  e-VIZUS: Informatizacija izobraževanja in usposabljanja v SV   1.6.2006 - 30.11.2007  dr. Alenka Kavčič   3.680 
8. J1-6062  Podatkovne strukture in algoritmi v diskretni in zvezni matematiki   1.2.2004 - 30.1.2007  dr. Vladimir Batagelj   3.552 
9. Z1-3138  Izračunaljivost v analizi in topologiji   1.7.2001 - 30.6.2004  dr. Andrej Bauer   319 
Raziskovalni in infrastrukturni programi ARIS Legenda
vir: ARIS
št. Evidenčna št. Naziv Obdobje Vodja
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   1.1.2020 - 31.12.2027 dr. Primož Potočnik   4.396 
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   1.1.2015 - 31.12.2019 dr. Primož Potočnik   4.372 
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   1.1.2009 - 31.12.2014 dr. Tomaž Pisanski   6.294 
4. P1-0294  Izbrane teme teoretičnega računalništva in kombinatorične optimizacije   1.1.2004 - 31.12.2008 dr. Marko Petkovšek   7.824 
5. P0-0511-0101  Matematične osnove računalništva in diskretna matematika   1.1.1999 - 31.12.2003 dr. Tomaž Pisanski   2.277 
Mednarodni projekti
št. Evidenčna št. Naziv Obdobje Vodja
1. ASFOR-TyDiForm  Type Theory for Data-Intensive Formalization   1.1.2020 - 31.10.2025 dr. 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 dr. Andrej Bauer    
3. COST-CA15123  The European research network on types for programming and verification (EUTYPES)   21.3.2016 - 20.3.2020 dr. Andrej Bauer    
4. FP7-PEOPLE-COMPUTAL-102091  Computable Analysis   1.2.2012 - 31.1.2016 dr. Andrej Bauer    
Zahtevana je potrditev
Zgodovina ogledov
Priljubljeno