Painted portrait and a picture from
January 2008 (by E. Marek).
View of
Mount Hermon
from my office.
Last updated: 05.03.2008
Johann (Janos) A. Makowsky
Professor
-
President of the European Association of Computer Science Logic ,
EACSL
-
Chairman of the Jury of the
Ackermann Award
of EACSL.
-
Member of the Organizing Committee of IEEE Symposium on Logic in Computer
Science,
LICS
-
Member of the Standing Committee of
European Summer School in Logic, Language, and Information (ESSLLI),
organized by
the Association of Logic, Language and Information
FoLLI
-
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
-
Head of the Academic Program in CS and IT, Mar Elias College, Ibillin,
Lower Galilee, Israel
Applied for regognition as an Israeli Academic College.
Under review by MALAG.
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.
Organizers:
Martin Grohe (grohe@informatik.hu-berlin.de, HU, Berlin) and
and
Johann A. Makowsky (janos@cs.technion.ac.il, Technion, Haifa)
Current Research Interests
- 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
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.
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)
