PhD Andrej Bauer

PhD Andrej Bauer
no.: 15854 source: ARIS

researcher – active in research organisation
  andrej.bauerat signfmf.uni-lj.si
  • English
  • Reading: Fluent
  • Writing: Fluent
  • Speaking: Fluent
  • German
  • Reading: Functional
  • Writing: Basic
  • Speaking: Basic
  • Italian
  • Reading: Basic
  • Writing: Basic
  • Speaking: Functional
Edit
Research activity

Code Science Field Subfield
1.01.03  Natural sciences and mathematics  Mathematics  Numerical and computer mathematics 
1.01.00  Natural sciences and mathematics  Mathematics   
Keywords
Pure and applied logic, mathematical foundations of programming languages, constructive analysis and topology
Bibliography Representative bibliographic units | Personal | COBISS+
source: COBISS
source: SICRIS
Evaluation (metodology)
Evaluation of bibliographic research performance indicators according to ARIS methodology
source: COBISS
source: ARIS
Points
271.81
A''
0
A'
0
A1/2
0
CI10
463
CImax
127
h10
11
A1
0.72
A3
4.57
Data for the last 5 years (citations for the last 10 years) on November 10, 2025; Data for score A3 calculation refer to period 2020-2024 (2020, 2021, 2022, 2023, 2024)
Data for ARIS tenders ( 21.05.2024 – Target research programmes, archive )
Citations Citations for bibliographic records in COBIB.SI that are linked to records in citation databases
source: WoS source: Scopus source: COBISS
Database Linked records Citations Pure citations Average pure citations
WoS 35  382  348  9.94 
Scopus 46  647  591  12.85 
Audiovisual sources
no. Title (with video link) Event Source
1.    
2.    
3.    
4.    
5.    
6.    
7.    
8.    
9.    
10.    
11.    
12.    
13.    
14.    
15.    
16.    
Education
source: ARIS
Level of education Professional title Study subject Faculty Year
  B. Sc.   Mathematics  SI 1994 
Master's degree  M. Sc.   Pure & applied logic  US Carnegie Mellon University, School of Computer Science 1996 
Doctoral degree  Ph. D.     SI Carnegie Mellon University, School of Computer Science, pure and applied logic 2000 
Doctoral dissertations and other final papers Show
Obtaining results now
source: COBISS
Employments
source: ARIS
Type of employment Research org. Research group Date of employment Position Role Title
Full time employment (15%, RD:15%)  Institute of Mathematics, Physics and Mechanics  Department of Theoretical Computer Science  11/1/1995  Researcher  Researcher  Full professor 
Full time employment (105%, RD:55%)  University of Ljubljana, Faculty of Mathematics and Physics  Department of Mathematics  12/1/2001  Associate professor  Researcher  Full professor 
Research projects Legend
source: ARIS
no. Code Title Period Head
1. J1-4351  Generating, analysing and cataloging symmetric graph   10/1/2022 - 9/30/2026  PhD Primož Potočnik   2,377 
2. N1-0216  Symmetry, fixity and flexibility of graphs   10/1/2021 - 9/30/2024  PhD Primož Potočnik   1,167 
3. J1-1691  The Weiss Conjecture and Generalisations   7/1/2019 - 6/30/2023  PhD Primož Potočnik   3,059 
4. J1-9187  Action graphs and covering graph techniques   7/1/2018 - 6/30/2021  PhD Tomaž Pisanski   3,172 
5. N1-0011  GReGAS - Geometrijske reprezentacije in simetrije grafov, preslikav in drugih diskretnih struktur ter aplikacij v znanosti (Slovene)   7/1/2011 - 6/30/2014  PhD Tomaž Pisanski   7,941 
6. L1-0696  DIGITAL COLLECTION OF NATURAL AND CULTURAL HERITAGE   2/1/2008 - 1/30/2011  PhD Tomaž Pisanski   2,887 
7. M5-0164  e-VIZUS: Informatizacija izobraževanja in usposabljanja v SV (Slovene)   6/1/2006 - 11/30/2007  PhD Alenka Kavčič   3,735 
8. J1-6062  Data structures and algorithms for discrete and continuous mathematics   2/1/2004 - 1/30/2007  PhD Vladimir Batagelj   3,579 
9. Z1-3138  Computability in analysis and topology   7/1/2001 - 6/30/2004  PhD Andrej Bauer   327 
ARIS research and infrastructure programmes Legend
source: ARIS
no. Code Title Period Head
1. P1-0294  Computationally intensive methods in theoretical computer science, discrete mathematics, combinatorial optimization, and numerical analysis and algebra with applications in natural and social sciences   1/1/2020 - 12/31/2027 PhD Primož Potočnik   4,435 
2. P1-0294  Computationally intensive methods in theoretical computer science, discrete mathematics, combinatorial optimization, and numerical analysis and algebra with applications in natural and social sciences   1/1/2015 - 12/31/2019 PhD Primož Potočnik   4,412 
3. P1-0294  Computationally intensive methods in theoretical computer science, discrete mathematics, combinatorial optimization, and numerical analysis and algebra with applications in natural and social sciences   1/1/2009 - 12/31/2014 PhD Tomaž Pisanski   6,342 
4. P1-0294  Computationally intensive methods in theoretical computer science, discrete mathematics, combinatorial optimization, and numerical analysis and algebra with applications in natural and social sciences   1/1/2004 - 12/31/2008 PhD Marko Petkovšek   7,875 
5. P0-0511-0101  Mathematical Foundations of Computer Science & Discrete Mathematics   1/1/1999 - 12/31/2003 PhD Tomaž Pisanski   2,297 
International projects
no. Code Title Period Head
1. ASFOR-TyDiForm  Type Theory for Data-Intensive Formalization   1/1/2020 - 10/31/2025 PhD Andrej Bauer    
2. AFOSR - Air Force Office of Scientific Research-TypeCoMa  Foundations of Type Theory for Computation and Mathematics   1/1/2017 - 12/31/2020 PhD Andrej Bauer    
3. COST-CA15123  The European research network on types for programming and verification (EUTYPES)   3/21/2016 - 3/20/2020 PhD Andrej Bauer    
4. FP7-PEOPLE-COMPUTAL-102091  Computable Analysis   2/1/2012 - 1/31/2016 PhD Andrej Bauer    
Confirmation required
Views history
Favourite