Michael Gelfond, Ph.D.
Professor
| Office: | EC 313 |
| Phone: | 806.742.3527 |
| Fax: | 806.742.3519 |
| Email: | michael.gelfond@ttu.edu |
Mailing Address:
Texas Tech University
Department of Computer Science
Box 43104
Lubbock, TX 79409-3104
Research Group Websites:
Knowledge Representation & Reasoning
Logic Programming
Personal Website:
Gelfond Website
Research Interests
- Artificial intelligence
- Knowledge representation
- Declarative programming
Personal Information
Curriculum Vitae
Education
- Ph.D., Mathematics, Steklov Mathematical Institute, St. Petersburg, Russia, (1974)
- M.S., Mathematics, St. Petersburg University, St. Petersburg, Russia, (1968)