Leo Bachmair

Rank/Position Title:

Professor

Home Page:

http://www.cs.sunysb.edu/~leo

Date of original appointment to this faculty, followed by dates and ranks of advancement:

• Initial appointment (Assistant Professor) September 1986
• Associate Professor, September 1991
• Professor, September 2000

Degrees:

Conferences, workshops, and professional development:

• 18 th Int. Conference on Automated Deducation, 2002
• 7 th Int. Conference on Artificial Intelligence and Symbolic Computation, 2004
  

Other related computing experience:

Department, college, and/or university committee membership:

• Computer Science Undergraduate Committee
• Computer Science Accreditation Committee
• CEAS Curriculum and Teaching Policy Committee

Principal publications of the last five years.

• L. Bachmair and H. Ganzinger, A Theory of Resolution, Chapter 2 of vol. I of Handbook of Automated Reasoning, J.A. Robinson and A. Voronkov, eds., pp. 19-99, Elsevier, 2001.
• L. Bachmair, A. Tiwari, and L. Vigneron, Abstract Congruence Closure, J. Automated Reasoning 31(2003):129-168.
• C. Scharff and L. Bachmair, On the Combination of Congruence Closure and Completion, In Proc. 7 th Int. Conf. On Artificial Intelligence and Symbolic Computation, pp. 103-117, Lecture Notes in Artificial Intelligence 3249, Springer-Verlag, Berlin, 2004
• L. Bachmair and A. Tiwari, Abstract congruence closure and specializations, In Proc. 17th Int. Conf. on Automated Deduction, pp. 64--78, Lecture Notes in Artificial Intelligence 1831, Springer-Verlag, Berlin, 2000.

Other scholarly activity: grants, sabbaticals, software development, etc.:

National Science Foundation, Grant CCR-9902031, Saturation-Based Theorem Proving, September 1, 1999 to August 31, 2003.

Scientific, professional, and honor societies of which you are a member:

IFIP Working Group 1.6 on Term Rewriting.

Honors and awards:

Research fellowship, Alexander von Humboldt Foundation.

Courses taught this and last academic year term-by-term:

Academic advising:

As Computer Science Undergraduate Director, I serve as general advisor for current and prospective computer science majors and minors. Students see me during regular advising hours (4 hours per week) or at special advising events, such as Prime Time. I also have one-on-one advising meetings with computer science freshmen in the fall semester, and with computer science juniors in the spring semester.

Brief description of major research and scholarly activities: