Painted portrait and a picture from
January 2008 (by E. Marek).
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.
Johann (Janos) A. Makowsky
Current Research interest
- Mathematical Logic and its interaction with Combinatorics,
Graph Theory and Knot Theory
Graph Polynomials Project
- Mathematical Logic and its interaction with Computer Science
- Finite Model Theory and Descriptive Complexity
Finite Model Theory Homepage
- Database Theory
- History of Logic.
One of the earliest
textbooks of Logic
was written by Maimonides (RAMBAM).
Invited Lectures 2013/14
The ISLA 2014 Lectures
slides (posted, 20. Jan. 2014),
P=NP over arbitrary structures
Course given at the Indian School of Logic and Applications
in Tezpur, Assam, India
The Legacy of A. Mostowski (1913-1975)
slides (corrected version, 18. Oct. 2013),
Plenary Adress given at the
A. Mostowski Centenary Conference
, Warsaw, 11-13 October, 2013
Teaching Fall 2013/14
Topics in Automated Theorem Proving (last given in 2006)
Teaching Spring 2013
Introduction to Database Systems
The millennium question NP = P over the real numbers and other fields and rings
Teaching in previous semesters
Member of the Executive Council of the European Association of Computer Science Logic ,
- 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
Faculty of Computer Science
Technion - Israel Institute of Technology
Haifa 32000, Israel
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
17th EACSL Annual Conference on
Computer Science Logic
15th-19th September 2008,
Joint Special Session at the AMS-ASL Meeting of 2009
January 5-8, 2009, Washington, D.C.
Martin Grohe (email@example.com, HU, Berlin) and
Johann A. Makowsky (firstname.lastname@example.org, Technion, Haifa)
Manifesto on emancipatory aspects of doing mathematics.
My mathematical genealogy
Recently published German Prose: Eine haarige Geschichty (Hairy
of the David Deutsch family from Trnava (Slovakia).
- 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
- Overfunded research is like heroin:
It makes one addicted, weakens the mind and furthers prostitution.
(jam in the Jerusalem Post 19.4.85)