Hai-Feng Guo

Associate Professor
Computer Science Department
College of Information Science & Technology
University of Nebraska at Omaha

Office: PKI 282C, (402) 554-2852
haifengguo $A$T$ unomaha.edu

 
Home
About Me
Research
Teaching
Publication
Photo Gallery
Favorites

 

Welcome to my Web site!

Research

bulletComputational Logic and Artificial Intelligence
bulletOptimization and Implementation of Programming Languages
bulletParallel and Distributed Processing
bulletFormal Methods and Software Engineering
bulletInformation Reuse and Data Mining

Teaching

Fall 2008

bulletCSCI 8000: Advanced Concepts in Programming Languages
bulletCSCI 3660: Theory of Computation
Office hours: MW 3:30-4:30pm
Master Students

bullet  Miao Liu (2006, Northern Natural Gas): Logic proramming with solution preferences, A declarative method. 
bullet  Ezana N. Beyenne (2007, DTN): Spreadsheet computing with finite domain constraint enhancements
bullet  Wen Zheng (2009, CSG Systems): Consistency checking for LSC specifications
Recent Activities
 
bulletPC member: PC member: The 26th International Conference on Logic Programming, Edinburgh, July 16-19, 2010
bulletPC member: the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM), Madrid, Spain, Jan 20-22, 2010
bulletPC member: Twelfth International Symposium on Practical Aspects of Declarative Languages, Madrid, Spain, Jan 18-19, 2010
bulletPC member: Workshop on Declarative Aspects of Multicore Programming (DAMP), Madrid, Spain, Jan 20-22, 2010
bulletPC member: The IEEE International Symposium on Ubisafe Computing (UbiSafe), Chengdu, China, Dec. 12-14, 2009
bulletCo-General Chair: The 25th International Conference on Logic Programming, Pasadena, CA, July 2009

Home | About Me | Research | Teaching | Publication | Photo Gallery | Favorites

This site was last updated 08/13/07