logic programmingfunctionaltype systemsconstraintssemantics
We work on the formal foundations of computation — logic, functional and constraint programming, type systems and program semantics — toward software that is correct by construction, verifiable and amenable to automated reasoning.
People in Declarative Programming
2 researchers contribute to this area across LIACC units.
