Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q17489674> ?p ?o }
Showing triples 1 to 93 of
93
with 100 triples per page.
- Q17489674 description "Swiss mathematician".
- Q17489674 description "Swiss mathematician".
- Q17489674 subject Q5312304.
- Q17489674 subject Q7018039.
- Q17489674 subject Q8838652.
- Q17489674 subject Q9706336.
- Q17489674 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.".
- Q17489674 almaMater Q11942.
- Q17489674 birthDate "1948-03-12".
- Q17489674 birthYear "1948".
- Q17489674 doctoralAdvisor Q117486.
- Q17489674 field Q1166618.
- Q17489674 field Q21198.
- Q17489674 knownFor Q1514868.
- Q17489674 knownFor Q275603.
- Q17489674 knownFor Q467606.
- Q17489674 knownFor Q4809258.
- Q17489674 nationality Q39.
- Q17489674 thumbnail Johann_Makowsky.jpg?width=300.
- Q17489674 wikiPageExternalLink ~janos.
- Q17489674 wikiPageWikiLink Q1052021.
- Q17489674 wikiPageWikiLink Q1101814.
- Q17489674 wikiPageWikiLink Q1149458.
- Q17489674 wikiPageWikiLink Q1166618.
- Q17489674 wikiPageWikiLink Q117486.
- Q17489674 wikiPageWikiLink Q11942.
- Q17489674 wikiPageWikiLink Q124582.
- Q17489674 wikiPageWikiLink Q12485350.
- Q17489674 wikiPageWikiLink Q1514868.
- Q17489674 wikiPageWikiLink Q153006.
- Q17489674 wikiPageWikiLink Q15830473.
- Q17489674 wikiPageWikiLink Q17085351.
- Q17489674 wikiPageWikiLink Q17305808.
- Q17489674 wikiPageWikiLink Q1781.
- Q17489674 wikiPageWikiLink Q201603.
- Q17489674 wikiPageWikiLink Q205084.
- Q17489674 wikiPageWikiLink Q21198.
- Q17489674 wikiPageWikiLink Q2460153.
- Q17489674 wikiPageWikiLink Q270.
- Q17489674 wikiPageWikiLink Q275603.
- Q17489674 wikiPageWikiLink Q333705.
- Q17489674 wikiPageWikiLink Q39.
- Q17489674 wikiPageWikiLink Q41506.
- Q17489674 wikiPageWikiLink Q42989.
- Q17489674 wikiPageWikiLink Q448592.
- Q17489674 wikiPageWikiLink Q467606.
- Q17489674 wikiPageWikiLink Q4805743.
- Q17489674 wikiPageWikiLink Q4809258.
- Q17489674 wikiPageWikiLink Q49108.
- Q17489674 wikiPageWikiLink Q5067368.
- Q17489674 wikiPageWikiLink Q515319.
- Q17489674 wikiPageWikiLink Q5312304.
- Q17489674 wikiPageWikiLink Q624546.
- Q17489674 wikiPageWikiLink Q65212.
- Q17489674 wikiPageWikiLink Q658975.
- Q17489674 wikiPageWikiLink Q7018039.
- Q17489674 wikiPageWikiLink Q72.
- Q17489674 wikiPageWikiLink Q76592.
- Q17489674 wikiPageWikiLink Q7926112.
- Q17489674 wikiPageWikiLink Q8087.
- Q17489674 wikiPageWikiLink Q820887.
- Q17489674 wikiPageWikiLink Q8838652.
- Q17489674 wikiPageWikiLink Q933932.
- Q17489674 wikiPageWikiLink Q9706336.
- Q17489674 almaMater Q11942.
- Q17489674 dateOfBirth "1948-03-12".
- Q17489674 doctoralAdvisor Q117486.
- Q17489674 field Q1166618.
- Q17489674 field Q21198.
- Q17489674 knownFor "Studies in model theory, database theory, logic programming, graph algorithms, graph polynomials".
- Q17489674 name "Johann A. Makowsky".
- Q17489674 name "Makowsky, Johann".
- Q17489674 nationality Q39.
- Q17489674 shortDescription "Swiss mathematician".
- Q17489674 type Person.
- Q17489674 type Agent.
- Q17489674 type Person.
- Q17489674 type Scientist.
- Q17489674 type Agent.
- Q17489674 type NaturalPerson.
- Q17489674 type Thing.
- Q17489674 type Q215627.
- Q17489674 type Q5.
- Q17489674 type Q901.
- Q17489674 type Person.
- Q17489674 comment "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.".
- Q17489674 label "Johann Makowsky".
- Q17489674 depiction Johann_Makowsky.jpg.
- Q17489674 givenName "Johann".
- Q17489674 name "Johann A. Makowsky".
- Q17489674 name "Johann Makowsky".
- Q17489674 name "Makowsky, Johann".
- Q17489674 surname "Makowsky".