Filters
cris logo
-
New search Filters
Select from list
Displayed from Show more
You have reached the maximum number of displayed search results.
All results displayed
No results are available for the search performed
Displayed from
You have reached the maximum number of displayed search results.
All results displayed
Loading results
Obtaining statistical data

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 (rules)
Evaluation of bibliographic research performance indicators according to ARIS methodology
source: COBISS
source: ARIS
Points
243.27
A''
0
A'
0
A1/2
0
CI10
383
CImax
108
h10
10
A1
0.65
A3
5
Data for the last 5 years (citations for the last 10 years) on April 25, 2024; A3 for period 2018-2022 (update for tender in 2023: YES)
Data for ARIS tenders ( 12.01.2024 – Project tender, 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 33  327  295  8.94 
Scopus 44  554  500  11.36 
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 
Doctor's 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 ecris.org.employ_rolegroup Title
Full time employment (10%, RD:10%)  Institute of Mathematics, Physics and Mechanics  Department of Theoretical Computer Science  11/1/1995  Researcher  Researcher  Full professor 
Full time employment (100%, RD:60%)  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   2022 - 2024  PhD Primož Potočnik  1,727 
2. N1-0216  Symmetry, fixity and flexibility of graphs   2022 - 2024  PhD Primož Potočnik  1,074 
3. J1-1691  The Weiss Conjecture and Generalisations   2019 - 2023  PhD Primož Potočnik  2,900 
4. J1-9187  Action graphs and covering graph techniques   2018 - 2021  PhD Tomaž Pisanski  3,041 
5. N1-0011  GReGAS - Geometrijske reprezentacije in simetrije grafov, preslikav in drugih diskretnih struktur ter aplikacij v znanosti (Slovene)   2011 - 2014  PhD Tomaž Pisanski  7,603 
6. L1-0696  DIGITAL COLLECTION OF NATURAL AND CULTURAL HERITAGE   2008 - 2011  PhD Tomaž Pisanski  2,786 
7. M5-0164  e-VIZUS: Informatizacija izobraževanja in usposabljanja v SV (Slovene)   2007  PhD Alenka Kavčič  3,526 
8. J1-6062  Data structures and algorithms for discrete and continuous mathematics   2004 - 2007  PhD Vladimir Batagelj  3,475 
9. Z1-3138  Computability in analysis and topology   2002 - 2004  PhD Andrej Bauer  302 
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   2020 - 2024  PhD Primož Potočnik  4,237 
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   2015 - 2019  PhD 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 (Slovene)   2009 - 2014  PhD Tomaž Pisanski  6,124 
4. P1-0294  Selected Topics in Theoretical Computer Science and Combinatorial Optimization   2004 - 2008  PhD Marko Petkovšek  7,667 
5. P0-0511-0101  Mathematical Foundations of Computer Science & Discrete Mathematics   2002 - 2003  PhD Tomaž Pisanski  2,231 
International projects
no. Code Title Period Head
1. ASFOR-TyDiForm  Type Theory for Data-Intensive Formalization   1/1/2020 - 10/31/2025  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  Andrej Bauer   
3. COST-CA15123  The European research network on types for programming and verification (EUTYPES)   3/21/2016 - 3/20/2020  Andrej Bauer   
4. FP7-PEOPLE-COMPUTAL-102091  Computable Analysis   2/1/2012 - 1/31/2016  Andrej Bauer   
Confirmation required
Views history
Favourite