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

Invited Lectures 2013/14

Teaching Fall 2013/14

  • Topics in Automated Theorem Proving (last given in 2006) 236714

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

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



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)