Painted portrait and a picture from
January 2008 (by E. Marek).
from my office.
Last updated: 15.04.2014
Grandfather of Boaz Makowsky, born 21. May 2010
to Lucinda Makowsky-Mitchell and Amichai Makowsky in New York.
Boaz at four .
Pictures 2010 .
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).
Recent results in maths and logic I like a lot
Learn: How to read mathematics.
Invited Lectures 2013/14
P=NP over arbitrary structures
ESSLLI 2014 Lectures
slides (posted, 06. Aug. 2014), and
ISLA 2014 Lectures
slides (posted, 20. Jan. 2014, disabled 15. Aug. 2014),
Use ESSLLI slides
Courses given at the
26th European Summer School in Logic, Language and Information
ESSLLI 2014 (together with K. Meer)
(ESSLLI-2014) and the
Indian School of Logic and Applications
The Budapest Lecture, April 29, Spring 2014
slides (posted, 1. May 2014),
On the location of roots of graph polynomials
- Graduate Courses on Graph Polynomials
The Vienna EMCL Lectures Spring 2014 (in progress)
slides (posted, 1. April 2014),
Course given at the TU Wien as part of the
The Prague Lectures October 2014
slides (posted, 16. October 2014),
Course given at KAM (Charles University, Prague) as part of the
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)