Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Johann_Makowsky> ?p ?o }
- Johann_Makowsky abstract "Johann (János) A. Makowsky (born March 12, 1948 in Budapest) is a Hungarian born and naturalized Swiss mathematician who works in mathematical logic and the logical foundations of computer science and combinatorics. He studied at the Swiss Federal Institute of Technology from 1967-73. He was a student in Zürich of E. Specker and H. Läuchli in mathematical logic, (Diploma in Mathematics and Physics 1971, Dr. math.sc. in 1974), of B. Eckmann (Topology and Geometry) and V. Strassen (Algorithmics), and in Warsaw of A. Mostowski and W. Marek, where he spent 1972 as an exchange student. Makowsky held visiting positions at Banach Center in Warsaw (Poland), Stanford University (USA) , Simon Fraser University (Canada), University of Florence (Italy), MIT (USA), Lausanne University and ETH Zurich (Switzerland). He held regular positions at the Free University of Berlin and the Technion - Israel Institute of Technology (Haifa, Israel) where he is a full professor.Among his various contributions it is worth mentioning: In model theory, the solution of two open problems in categoricity theory and his study of logics with various interpolation and compactness properties (partially with S. Shelah and J. Stavi). In database theory, the first undecidability result of the consequence problem for database dependencies (with A. Chandra and H. Lewis) , his work unifying the Entity-Relationship model and the relational model of databases (with V. Markowitz), and his work on Boyce Codd Normal Form (with E.V. Ravve). In logic programming, his fundamental studies of Horn formulas and their complexity (partially with B. Mahr and A. Itai) In graph algorithms, his unifying approach to tree-width and clique-width via model theory, leading to a general theory of graph polynomials and their definability in various logical formalisms (partially with I. Averbouch, B. Courcelle, B. Godlin, T. Kotek, U. Rotics and B. Zilber).Makowsky was a founding member of the European Association of Computer Science Logic in 1992, its vice-president (2002-2004) and president (2004-2009), and was a member of EACSL's executive council till 2014. During his presidency he established the EACSL Ackermann Award for outstanding PhD theses in computer science logic. In 2008, an event dedicated to Makowsky on his 60th birthday was co-located with the annual meeting of the EACSL.".
- Johann_Makowsky almaMater ETH_Zurich.
- Johann_Makowsky birthDate "1948-03-12".
- Johann_Makowsky birthYear "1948".
- Johann_Makowsky doctoralAdvisor Ernst_Specker.
- Johann_Makowsky doctoralAdvisor Hans_Läuchli.
- Johann_Makowsky field Computer_science.
- Johann_Makowsky field Mathematical_logic.
- Johann_Makowsky knownFor Database_theory.
- Johann_Makowsky knownFor Graph_polynomials.
- Johann_Makowsky knownFor List_of_algorithms.
- Johann_Makowsky knownFor Logic_programming.
- Johann_Makowsky knownFor Model_theory.
- Johann_Makowsky nationality Switzerland.
- Johann_Makowsky thumbnail Johann_Makowsky.jpg?width=300.
- Johann_Makowsky wikiPageExternalLink ~janos.
- Johann_Makowsky wikiPageID "43507104".
- Johann_Makowsky wikiPageLength "4232".
- Johann_Makowsky wikiPageOutDegree "57".
- Johann_Makowsky wikiPageRevisionID "685908743".
- Johann_Makowsky wikiPageWikiLink Andrzej_Mostowski.
- Johann_Makowsky wikiPageWikiLink Ashok_K._Chandra.
- Johann_Makowsky wikiPageWikiLink Beno_Eckmann.
- Johann_Makowsky wikiPageWikiLink Boyce–Codd_normal_form.
- Johann_Makowsky wikiPageWikiLink Bruno_Courcelle.
- Johann_Makowsky wikiPageWikiLink Budapest.
- Johann_Makowsky wikiPageWikiLink Category:1948_births.
- Johann_Makowsky wikiPageWikiLink Category:Living_people.
- Johann_Makowsky wikiPageWikiLink Category:Swiss_mathematicians.
- Johann_Makowsky wikiPageWikiLink Category:Swiss_people_of_Hungarian_descent.
- Johann_Makowsky wikiPageWikiLink Clique-width.
- Johann_Makowsky wikiPageWikiLink Combinatorics.
- Johann_Makowsky wikiPageWikiLink Compactness_theorem.
- Johann_Makowsky wikiPageWikiLink Computational_complexity_theory.
- Johann_Makowsky wikiPageWikiLink Computer_science.
- Johann_Makowsky wikiPageWikiLink Craig_interpolation.
- Johann_Makowsky wikiPageWikiLink Database_dependencies.
- Johann_Makowsky wikiPageWikiLink Database_theory.
- Johann_Makowsky wikiPageWikiLink EACSL.
- Johann_Makowsky wikiPageWikiLink ETH_Zurich.
- Johann_Makowsky wikiPageWikiLink Entity–relationship_model.
- Johann_Makowsky wikiPageWikiLink Ernst_Specker.
- Johann_Makowsky wikiPageWikiLink Free_University_of_Berlin.
- Johann_Makowsky wikiPageWikiLink Geometry.
- Johann_Makowsky wikiPageWikiLink Graph_polynomials.
- Johann_Makowsky wikiPageWikiLink Hans_Läuchli.
- Johann_Makowsky wikiPageWikiLink Harry_R._Lewis.
- Johann_Makowsky wikiPageWikiLink Horn_clause.
- Johann_Makowsky wikiPageWikiLink List_of_algorithms.
- Johann_Makowsky wikiPageWikiLink Logic_programming.
- Johann_Makowsky wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Johann_Makowsky wikiPageWikiLink Mathematical_logic.
- Johann_Makowsky wikiPageWikiLink Model_theory.
- Johann_Makowsky wikiPageWikiLink Morleys_categoricity_theorem.
- Johann_Makowsky wikiPageWikiLink Saharon_Shelah.
- Johann_Makowsky wikiPageWikiLink Simon_Fraser_University.
- Johann_Makowsky wikiPageWikiLink Stanford_University.
- Johann_Makowsky wikiPageWikiLink Switzerland.
- Johann_Makowsky wikiPageWikiLink Technion_–_Israel_Institute_of_Technology.
- Johann_Makowsky wikiPageWikiLink Topology.
- Johann_Makowsky wikiPageWikiLink Treewidth.
- Johann_Makowsky wikiPageWikiLink University_of_Florence.
- Johann_Makowsky wikiPageWikiLink University_of_Lausanne.
- Johann_Makowsky wikiPageWikiLink Victor_M._Markowitz.
- Johann_Makowsky wikiPageWikiLink Volker_Strassen.
- Johann_Makowsky wikiPageWikiLink Warsaw.
- Johann_Makowsky wikiPageWikiLink Zürich.
- Johann_Makowsky wikiPageWikiLinkText "Makowsky, Johann".
- Johann_Makowsky almaMater ETH_Zurich.
- Johann_Makowsky birthDate "1948".
- Johann_Makowsky birthPlace "Hungary".
- Johann_Makowsky dateOfBirth "1948-03-12".
- Johann_Makowsky doctoralAdvisor Ernst_Specker.
- Johann_Makowsky doctoralAdvisor Hans_Läuchli.
- Johann_Makowsky field Computer_science.
- Johann_Makowsky field Mathematical_logic.
- Johann_Makowsky knownFor "Studies in model theory, database theory, logic programming, graph algorithms, graph polynomials".
- Johann_Makowsky name "Johann A. Makowsky".
- Johann_Makowsky name "Makowsky, Johann".
- Johann_Makowsky nationality Switzerland.
- Johann_Makowsky placeOfBirth "Hungary".
- Johann_Makowsky shortDescription "Swiss mathematician".
- Johann_Makowsky wikiPageUsesTemplate Template:DBLP.
- Johann_Makowsky wikiPageUsesTemplate Template:Infobox_scientist.
- Johann_Makowsky wikiPageUsesTemplate Template:Persondata.
- Johann_Makowsky wikiPageUsesTemplate Template:Reflist.
- Johann_Makowsky workInstitutions Technion_–_Israel_Institute_of_Technology.
- Johann_Makowsky description "Swiss mathematician".
- Johann_Makowsky description "Swiss mathematician".
- Johann_Makowsky subject Category:1948_births.
- Johann_Makowsky subject Category:Living_people.
- Johann_Makowsky subject Category:Swiss_mathematicians.
- Johann_Makowsky subject Category:Swiss_people_of_Hungarian_descent.
- Johann_Makowsky type Agent.
- Johann_Makowsky type Person.
- Johann_Makowsky type Scientist.
- Johann_Makowsky type Person.
- Johann_Makowsky type Agent.
- Johann_Makowsky type NaturalPerson.
- Johann_Makowsky type Thing.