J.A. Makowsky, Home page

Painted portrait and a picture from January 2008 (by E. Marek).

View of Mount Hermon from my office.

Last updated: 15.09.2010

Grandfather of Boaz Makowsky, born 21. May 2010 to Lucinda Makowsky-Mitchell and Amichai Makowsky in New York. Pictures .

Johann (Janos) A. Makowsky

Professor

Current Research interest

Mathematical Logic and its interaction with Combinatorics, Graph Theory and Knot Theory
See also Graph Polynomials Project
Mathematical Logic and its interaction with Computer Science
Finite Model Theory and Descriptive Complexity
See also Finite Model Theory Homepage
Database Theory
History of Logic.
One of the earliest textbooks of Logic was written by Maimonides (RAMBAM).

Teaching Spring 2013

Introduction to Database Systems 236363
Graduate Seminar: 238900
The millennium question NP = P over the real numbers and other fields and rings

Teaching in previous semesters

Publications

NEW:
Model Theoretic Methods in Finite Combinatorics,
M. Grohe and J.A. Makowsky eds.,
Contemporary Mathematics, vol. 558,
American Mathematical Society, 2011,
Preprint version
Papers listed in my Google-Scholar profile
Papers listed in the MathSciNet database
Papers listed in the DBLP database
Recent papers and available preprints (in Logic and its applications in CS, and Complexity)
including some papers of my collaborators.
Non-technical publications

Professional Organizations

Member of the Executive Council of the European Association of Computer Science Logic , EACSL, 2010-2015 (President 2004-2009)
Coordinator of the Jury of the Ackermann Award of EACSL, 2010-2011 (Chairman of the Jury 2005-2009)
Member of the Organizing Committee of IEEE Symposium on Logic in Computer Science, LICS

Editorial responsibilities

Editor of Mathematical Logic Quarterly
Editor of Fundamenta Informaticae
Member of the Advisory Board of Journal Logical Methods in Computer Science
Area editor for Mathematical Logic, Journal of Applied Logic
Area editor for Algorithms in Logic and Decision Procedures, Journal of Algorithms, in Cognition, Informatics and Logic

Faculty of Computer Science
Technion - Israel Institute of Technology
Haifa 32000, Israel

Tel: +972-4-8294358 (Office)
e-mail: janos at cs.technion.ac.il
Office: Technion, Taub Building 628
Reception Hours (NEW): By appointment via e-mail.

Home: 3 Ein Gedi, Haifa 34529

Bridging Logic and Computer Science

Symposion on the occasion of the 60th birthday of Janos Makowsky,
Organized by Damian Niwinski, Ugo Dal Lago, Michael Kaminski, and Simone Martini
September 15th 2008, Bertinoro, Italy
followed by CSL'2008 17th EACSL Annual Conference on Computer Science Logic 15th-19th September 2008, Bertinoro, Italy

Joint Special Session at the AMS-ASL Meeting of 2009 January 5-8, 2009, Washington, D.C.

Model Theoretic Methods in Finite Combinatorics

Organizers: Martin Grohe (grohe@informatik.hu-berlin.de, HU, Berlin) and and Johann A. Makowsky (janos@cs.technion.ac.il, Technion, Haifa)

Manifesto on emancipatory aspects of doing mathematics.

My mathematical genealogy

My Co-Authors

Recently published German Prose: Eine haarige Geschichty (Hairy tale) ps-file, pdf-file

Hungarian family history and Family-tree of the David Deutsch family from Trnava (Slovakia).

Fortune cookies

L'Art est fait pour troubler, la Science rassure (G. Braque)
Science is Selfconscious Common Sense (Quine)
A perfection of means, and confusion of aims, seems to be our main problem (Albert Einstein)
Overfunded research is like heroin:
It makes one addicted, weakens the mind and furthers prostitution.
(jam in the Jerusalem Post 19.4.85)