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.
Former Member
William Yeoh (Affiliated Faculty Member)
Research Area: Multi-agent Systems, Planning and Scheduling under Uncertainty, Distributed Cconstraint-based Reasoning, and Heuristic Search.
Currently at Washington St. Louis University
Postdoctoral Researchers
Botros Naseif Hanna
Research Area: Nuclear Engineering
Project: Development of a Nearly Autonomous Management and Control System for Advanced Reactors
Graduate Students
Antonio Arredondo (Ph.D. student)
Research Area:
Homepage:
Van Nguyen (Ph.D. student)
Research Area:
Homepage:
Thanh Nguyen (Ph.D. student)
Research Area:
Homepage:
Poom Pianpak (Ph.D. student)
Research Area:
Homepage:
Quan Do (Ph.D. student)
Research Area:
Homepage:
Ly Ly Trieu (Ph.D. student)
Research Area:
Homepage:
Alumni
Tiep Le (Ph.D. student, graduated: 2018)
Research Area: Logic Programming
Current Employment: Viome
Ben Wright (Ph.D. student, graduated: 2018)
Research Area: Reasoning about actions and change
Current Employment: Postdoctoral Researcher
Abdulla Alqaddoumi (Ph.D. student, graduated: 2017)
Research Area: Functional Logic Programming
Ferdinando Fioretto (Ph.D. student, graduated: 2017)
Research Area: Distributed Constraint Optimization and Constraint Programming, Constraint Programming
Current Employment: Postdoctoral Researcher at Georgia Tech
Ping Hou (Ph.D. student, graduated: 2017)
Research Area: Planning under Uncertainty
Current Company: Uber Pittsburgh
Federico Campeotto (Ph.D. student, graduated: 2016)
Research Area: GPU programming, Constraint Programming Current Employment:
Ahmad Al-Jarrah (Ph.D. student, graduated: 2016)
Research Area: Collaborative virtual learning environment
Current Employment:
Nancy Alajarmeh (Ph.D., graduated: 2014)
Research Area: Virtual learning environment
Current Employment:
Khoi Nguyen (Ph.D., graduated: 2013)
Research Area: Planning
Current Employment: Tableau Research
Dang-Vien Tran (Ph.D., graduated: 2013)
Research Area: Planning
Current Employment: SimQuest
Hieu Nguyen (Ph.D., graduated: 2012)
Research Area: Answer Set Programming
Current Employment: Vinh University, Vietnam
Son Thanh To (Ph.D., graduated: 2012)
Research Area: Planning
Current Employment: Knexus Research
Phan Huy Tu (Ph.D., graduated: 2007)
Research Area: Planning
Current Employment:Microsoft Research, WA