Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Andrej_Bauer> ?p ?o }
- Andrej_Bauer abstract "Andrej Bauer (born May 11, 1971) is a Slovenian mathematician at the University of Ljubljana where he holds the title Professor of Computational Mathematics. He does research in logic, constructive and computable mathematics, category theory, and semantics of programming languages. He got his Ph.D. at Carnegie Mellon University in 2000 under the supervision of Dana Scott.From September to December 2012 Bauer was a visiting scholar at the Institute for Advanced Study where he was invited to join the Special Year on Univalent Foundations of Mathematics. He contributed significantly to this project and helped to produce the document called 'The HoTT Book' which summarized much of the work done during the special year in the new field of Homotopy type theory.Bauer is a supporter of using web-based software systems such as GitHub to promote collaborative work by mathematicians – the six-hundred-page HoTT Book being a notable example.".
- Andrej_Bauer almaMater Carnegie_Mellon_University.
- Andrej_Bauer birthDate "1971-05-11".
- Andrej_Bauer birthPlace Maribor.
- Andrej_Bauer birthYear "1971".
- Andrej_Bauer doctoralAdvisor Dana_Scott.
- Andrej_Bauer field Computable_mathematics.
- Andrej_Bauer field Constructivism_(mathematics).
- Andrej_Bauer field Domain_theory.
- Andrej_Bauer field Homotopy_type_theory.
- Andrej_Bauer field Semantics_(computer_science).
- Andrej_Bauer nationality Slovenia.
- Andrej_Bauer thumbnail Bauer_Andrej.jpg?width=300.
- Andrej_Bauer wikiPageExternalLink andrej.com.
- Andrej_Bauer wikiPageExternalLink math.andrej.com.
- Andrej_Bauer wikiPageID "44979990".
- Andrej_Bauer wikiPageLength "3394".
- Andrej_Bauer wikiPageOutDegree "30".
- Andrej_Bauer wikiPageRevisionID "705351111".
- Andrej_Bauer wikiPageWikiLink Carnegie_Mellon_University.
- Andrej_Bauer wikiPageWikiLink Category:1971_births.
- Andrej_Bauer wikiPageWikiLink Category:21st-century_mathematicians.
- Andrej_Bauer wikiPageWikiLink Category:Carnegie_Mellon_University_alumni.
- Andrej_Bauer wikiPageWikiLink Category:Institute_for_Advanced_Study_visiting_scholars.
- Andrej_Bauer wikiPageWikiLink Category:Living_people.
- Andrej_Bauer wikiPageWikiLink Category:Mathematical_logicians.
- Andrej_Bauer wikiPageWikiLink Category:People_from_Maribor.
- Andrej_Bauer wikiPageWikiLink Category:Slovenian_mathematicians.
- Andrej_Bauer wikiPageWikiLink Category_theory.
- Andrej_Bauer wikiPageWikiLink Computable_mathematics.
- Andrej_Bauer wikiPageWikiLink Computational_mathematics.
- Andrej_Bauer wikiPageWikiLink Constructivism_(mathematics).
- Andrej_Bauer wikiPageWikiLink Dana_Scott.
- Andrej_Bauer wikiPageWikiLink Domain_theory.
- Andrej_Bauer wikiPageWikiLink GitHub.
- Andrej_Bauer wikiPageWikiLink Homotopy_type_theory.
- Andrej_Bauer wikiPageWikiLink Institute_for_Advanced_Study.
- Andrej_Bauer wikiPageWikiLink Maribor.
- Andrej_Bauer wikiPageWikiLink Semantics_(computer_science).
- Andrej_Bauer wikiPageWikiLink Slovenia.
- Andrej_Bauer wikiPageWikiLink University_of_Ljubljana.
- Andrej_Bauer wikiPageWikiLinkText "Andrej Bauer".
- Andrej_Bauer wikiPageWikiLinkText "Bauer, Andrej".
- Andrej_Bauer almaMater Carnegie_Mellon_University.
- Andrej_Bauer birthDate "1971-05-11".
- Andrej_Bauer birthPlace Maribor.
- Andrej_Bauer dateOfBirth "1971-05-11".
- Andrej_Bauer doctoralAdvisor Dana_Scott.
- Andrej_Bauer fields Computable_mathematics.
- Andrej_Bauer fields Constructivism_(mathematics).
- Andrej_Bauer fields Domain_theory.
- Andrej_Bauer fields Homotopy_type_theory.
- Andrej_Bauer fields Semantics_(computer_science).
- Andrej_Bauer imageSize "200".
- Andrej_Bauer name "Andrej Bauer".
- Andrej_Bauer name "Bauer, Andrej".
- Andrej_Bauer nationality Slovenia.
- Andrej_Bauer placeOfBirth "Maribor, Slovenia".
- Andrej_Bauer shortDescription "Slovenian mathematician".
- Andrej_Bauer wikiPageUsesTemplate Template:Authority_control.
- Andrej_Bauer wikiPageUsesTemplate Template:Birth_date_and_age.
- Andrej_Bauer wikiPageUsesTemplate Template:Infobox_scientist.
- Andrej_Bauer wikiPageUsesTemplate Template:MathGenealogy.
- Andrej_Bauer wikiPageUsesTemplate Template:Persondata.
- Andrej_Bauer wikiPageUsesTemplate Template:Reflist.
- Andrej_Bauer wikiPageUsesTemplate Template:Slovenia-academic-bio-stub.
- Andrej_Bauer workplaces Institute_for_Advanced_Study.
- Andrej_Bauer workplaces University_of_Ljubljana.
- Andrej_Bauer description "Slovenian mathematician".
- Andrej_Bauer description "Slovenian mathematician".
- Andrej_Bauer subject Category:1971_births.
- Andrej_Bauer subject Category:21st-century_mathematicians.
- Andrej_Bauer subject Category:Carnegie_Mellon_University_alumni.
- Andrej_Bauer subject Category:Institute_for_Advanced_Study_visiting_scholars.
- Andrej_Bauer subject Category:Living_people.
- Andrej_Bauer subject Category:Mathematical_logicians.
- Andrej_Bauer subject Category:People_from_Maribor.
- Andrej_Bauer subject Category:Slovenian_mathematicians.
- Andrej_Bauer hypernym Mathematician.
- Andrej_Bauer type Agent.
- Andrej_Bauer type Person.
- Andrej_Bauer type Scientist.
- Andrej_Bauer type Person.
- Andrej_Bauer type Agent.
- Andrej_Bauer type NaturalPerson.
- Andrej_Bauer type Thing.
- Andrej_Bauer type Q215627.
- Andrej_Bauer type Q5.
- Andrej_Bauer type Q901.
- Andrej_Bauer type Person.
- Andrej_Bauer comment "Andrej Bauer (born May 11, 1971) is a Slovenian mathematician at the University of Ljubljana where he holds the title Professor of Computational Mathematics. He does research in logic, constructive and computable mathematics, category theory, and semantics of programming languages. He got his Ph.D.".
- Andrej_Bauer label "Andrej Bauer".
- Andrej_Bauer sameAs Q12784531.
- Andrej_Bauer sameAs m.012m5xz0.
- Andrej_Bauer sameAs Andrej_Bauer.
- Andrej_Bauer sameAs Q12784531.
- Andrej_Bauer wasDerivedFrom Andrej_Bauer?oldid=705351111.
- Andrej_Bauer depiction Bauer_Andrej.jpg.
- Andrej_Bauer givenName "Andrej".
- Andrej_Bauer isPrimaryTopicOf Andrej_Bauer.