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
bulletSoftware Testing and Formal Methods

Teaching

Fall 2013

bulletData Structures and Algorithms
Master Students (Graduated)

bullet  Songqing Liu (2013): Software Fault Detection via Grammar-based Test Case Generation
bullet  Sayan Sen (2013): Probabilistic Symbolic Production Grammar for Automatic Test Generation
bullet  Anup Niroula (2012): Smart Spreadsheet in Java
bullet  Wen Zheng (2009, CSG Systems): Consistency checking for LSC specifications
bullet  Ezana N. Beyenne (2007, DTN): Spreadsheet computing with finite domain constraint enhancements
bullet  Miao Liu (2006, Northern Natural Gas): Logic proramming with solution preferences, A declarative method. 
Recent Activities
 
bulletWorkshop Chair: 30th International Conference on Logic Programming (ICLP), Vienna, July 19-22, 2014
bulletPC member: 23rd International Symposium on Logic-Based Program Synthesis and Transformation, Madrid, Spain, September 18-20, 2013
bulletPC member: 28th International Conference on Logic Programming, BUDAPEST, HUNGARY, September 4-8, 2012
bulletPC member: The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering, 4-6 July 2012, Beijing, China
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

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

This site was last updated 05/07/2013