A couple of science- and teaching- related pictures


April 2005. Visiting Harvey Friedman in Columbus, OH.


May 2005. Group photo of Dagstuhl meeting on ASP.


November 2012. Group photo of Dagstuhl meeting but this time on SAT.


May 2005. With Jeff Remmel at Dagstuhl, ASP meeting.


March 2006, a party during Math and CSP conference in Oxford. Flanked by Georg Gottlob and Moshe Vardi (not bad, not bad...)


With Anil Nerode and Jeff Remmel, during the LFCS in New York City, June 2007. We celebrated 75th birthday of Anil during that meeting. This and a number of pictures below (marked (*)) were taken by Professor Elena Nogina.


(*) 5 years passed; again with Anil Nerode and Jeff Remmel, during the LFCS in La Jolla, CA, January 2013. We celebrated 80th birthday of Anil during that meeting.


(*) With Jeff Remmel, during the LFCS in New York City, June 2007.


Visiting Jan Mycielski in Boulder, CO, November 2007.


I visited Alfred Tarski house in Berkeley, CA in May 2009. Here is a photo with the portrait of Tarski (thanks to Jan Tarski for permission to place this photo on WWW). I am without glasses because of the glare. The portrait of Alfred Tarski was painted by the well-known Polish portraitist Stanislaw Ignacy Witkiewicz (Witkacy) in 1936. Tarski is at the pinnacle of his creative powers, and it shows.


This is an old photo, of Witold Lipski (my student in the 70ies, and then a friend) during his visit in Lexington in Fall 1983. Witek left us in 1985, at the height of his creative powers.


These are four official photos, commissioned by the College of Engineering, University of Kentucky, in November 2006 and November 2008, then one taken by Visualization Center of our University, October 2012 and finally one again commissioned by the College in 2014. Judge the progress (?) yourself...


With Jim Wells (who brought me to Kentucky over 25 years ago), at the Hayden-Neuberger Fest, April 2007.


This is a plaque presented by a group of my friends during Ft. Lauderdale meeting for my 65th birthday. Some photos of the meeting are available at this site.


September 2011. Mirek Truszczynski and I at Departmental picnic


September 2013. Mirek Truszczynski and I at Departmental picnic just two years later, and hatted.


And now it is 2016.


Spring 2012, I am teaching a class on Constraint Satisfaction Problems.


My truly international class of Spring 2013.


And here is my database class of Spring 2014.


Another class of Spring 2014.


And then a year passed, with few students of a class in Spring 2015.


With Jeff Remmel at the LPNMR 2015 conference, in Lexington, KY, September 2015.


Again with Jim Wells (see the picture 10 years ago), but this time at 50th anniversary of the Computer Science Department, April 2017.


Last modified: May 11, 2017