Under Construction…

Current Projects:

  • 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.