People

Faculties


Enrico Pontelli (Co-Director)
Homepage: http://www.cs.nmsu.edu/~epontell/
Research Area: Logic Programming, Parallel Processing, Programming Languages, Automated Theorem Proving, Constraint Programming, World-Wide Web, Compiler Construction


Son Tran (Co-Director)
Homepage: http://www.cs.nmsu.edu/~tson/
Research Area: Knowledge Representation and Reasoning, Logic Programming, Commonsense Reasoning, Planning and Plan Verification, and Intelligent Agents.


William Yeoh (Affiliated Faculty Member)
Homepage: http://www.cs.nmsu.edu/~wyeoh/
Research Area: Multi-agent Systems, Planning and Scheduling under Uncertainty, Distributed Cconstraint-based Reasoning, and HeuristicSsearch.

 

 


Graduate Students



Abdulla Alqaddoumi (Ph.D. student)
Research Area: Functional Logic Programming
Homepage:



Ahmad Al-Jarrah (Ph.D. student)
Research Area: Collaborative virtual learning environment
Homepage: http://www.cs.nmsu.edu/~ajarrah/



Antonio Arredondo (Ph.D. student)
Research Area:
Homepage:



Federico Campeotto (Ph.D. student)
Research Area: GPU programming, Constraint Programming
Homepage: http://www.cs.nmsu.edu/~fcampeot/



Ferdinando Fioretto (Ph.D. student)
Research Area: Distributed Constraint Optimization and Constraint Programming, Constraint Programming
Homepage: http://www.cs.nmsu.edu/~ffiorett/



Ping Hou (Ph.D. student)
Research Area: Planning under Uncertainty
Homepage: http://www.cs.nmsu.edu/~phou/



Tiep Le (Ph.D. student)
Research Area: Logic Programming
Homepage: http://www.cs.nmsu.edu/~tlee/



Ben Wright (Ph.D. student)
Research Area: Reasoning about actions and change
Homepage: http://www.cs.nmsu.edu/~bwright/

 


Alumni



Nancy Alajarmeh (Ph.D., graduated: 2014)
Research Area: Planning
Current Employment:
Homepage:



Khoi Nguyen (Ph.D., graduated: 2013)
Research Area: Planning
Current Employment: Microsoft
Homepage:



Dang-Vien Tran (Ph.D., graduated: 2013)
Research Area: Planning
Current Employment:
Homepage:



Hieu Nguyen  (Ph.D., graduated: 2012)
Research Area: Answer Set Programming
Current Employment:
Homepage:



Son Thanh To (Ph.D., graduated: 2012)
Research Area: Planning
Current Employment:
Homepage: