荔枝视频

Education

• Professor 1990, tenured 1994 Dr. Marek Suchenek
• Ph.D. Technical Sciences with Distinction, Warsaw University of Technology, 1979
• M.Sc. Mathematical Engineering, Warsaw University of Technology, 1973

Professional Interests听

• Logical Foundations of Computer Science
• Deductive Databases
• Reasoning About Knowledge
• Nonmonotonic Logic
• Theoretical Computer Science

荔枝视频 Campus-wide Directory of Awards, Scholarly Work and Creative Activities

Summary of Publications

• 2 books
• 16 peer-refereed journal publications
• 12 peer-refereed other publications
• 28 presentations (not included in the above 12) at professional conferences, symposia, colloquia, and other meetings
• 20 non-refereed publications (not included in the above 28)
• 10 reviews

Summary of External Grants

1988-1990 $262,525.00, Principal Investigator, Federal Aviation Administration

Academic Honors and Awards

• 1994 - 1998 Chapter President of Sigma Xi, The Scientific Research Society
• 1995 Listed in "Who's Who in the World", 13th Ed., 1996
• 1994 Listed in :Who's Who in America", 49th Ed., 1995
• 1982 Minister of Science, Higher Education and Technology鈥檚 Prize for doctoral dissertation "Notes on Computational Logic"
• 1979 Council of the Faculty of Electronics' Best Doctoral Dissertation Award

Student Assistants:

听1. 2010 - present

• 听Alex Soneriu (TA, Spring 2016)
• 听Ashley Dorris (TA, Fall 2015)
• 听Shawn Her Many Horses (TA, AY 2014-2015)听
  听
• 听Payman Khani (GTA, Spring 2014)听
  
• 听Miguel Huerta (TA, Fall 2013)听
  听
• 听Joseph Aramburo (TA, AY 2012-2013)
• 听Cory Moody (TA, Spring 2012)
• 听William Laolagi (TA, Fall 2011)听
  听
• 听Timothy Beyer (TA, AY 2010-2011)听
  听

2. Before year 2001

• 听Armando Gomez (SA)
• 听Ronald Underwood (SA)听
• 听Tolu Makinde (SA)
  听
• 听Johnny Chan (SA)
• 听Ehren Evans (SA)
• 听Henrietta Okeke (SA)听
  

GTA - Graduate Teaching Assistant

TA - Teaching Assistant

SA - Student Assistant, Research and other non-instructional