- CPA(H) : Conformant Planning based on Approximation Project Page
- FIASCO : Fragment-based Interactive Assembly for protein Structure prediction with COnstraints.
Student: Khoi Nguyen
- Software Page : CpA(H) and GC_LAMA. The conformant planner based on Generate-And-Complete Approach.
Student: Abdulla Alqaddoumi
- This project plans to implement a parallel virtual machine of the multi-paradigm functional logic language Curry. The evaluation strategy employed by the virtual machine is based on definitional trees and needed narrowing for deterministic operations, while non-deterministic operations will depend on the graph transformation, bubbling.