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

bullet

Computational Logic and Artificial Intelligence

bullet

Optimization and Implementation of Programming Languages

bullet

Parallel and Distributed Processing

bullet

Software Testing and Formal Methods

Teaching

Spring 2014

bullet

Java Programming

bullet

Theory of Computation

Recent Activities
 

bullet

Program co-Chair: 16th International Symposium on Practical Aspects of Declarative Languages (PADL), San Diego, January 20-21, 2014

bullet

Workshop Chair: 30th International Conference on Logic Programming (ICLP), Vienna, July 19-22, 2014

bullet

PC member: 23rd International Symposium on Logic-Based Program Synthesis and Transformation, Madrid, Spain, September 18-20, 2013

bullet

PC member: 28th International Conference on Logic Programming, BUDAPEST, HUNGARY, September 4-8, 2012

bullet

PC member: The Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering, 4-6 July 2012, Beijing, China

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

This site was last updated 05/07/2013