Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/Johann_Makowsky> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- 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 List_of_algorithms.
- Johann_Makowsky knownFor Logic_programming.
- Johann_Makowsky knownFor Model_theory.
- Johann_Makowsky knownFor Graph_polynomials.
- Johann_Makowsky nationality Switzerland.
- Johann_Makowsky thumbnail Johann_Makowsky.jpg?width=300.
- Johann_Makowsky wikiPageExternalLink ~janos.
- Johann_Makowsky wikiPageExternalLink Makowsky:Johann_A=.html.
- Johann_Makowsky wikiPageID "43507104".
- Johann_Makowsky wikiPageRevisionID "632991831".
- 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%C3%A4uchli.
- 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 workInstitutions Technion_%E2%80%93_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.
- Johann_Makowsky type Q215627.
- Johann_Makowsky type Q5.
- Johann_Makowsky type Q901.
- Johann_Makowsky type Person.
- Johann_Makowsky 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.".
- Johann_Makowsky label "Johann Makowsky".
- Johann_Makowsky sameAs m.011lbwsz.
- Johann_Makowsky sameAs Q17489674.
- Johann_Makowsky sameAs Q17489674.
- Johann_Makowsky wasDerivedFrom Johann_Makowsky?oldid=632991831.
- Johann_Makowsky depiction Johann_Makowsky.jpg.
- Johann_Makowsky givenName "Johann".
- Johann_Makowsky isPrimaryTopicOf Johann_Makowsky.
- Johann_Makowsky name "Johann A. Makowsky".
- Johann_Makowsky name "Johann Makowsky".
- Johann_Makowsky name "Makowsky, Johann".
- Johann_Makowsky surname "Makowsky".