Functional-Logic Development & Implementation Techniques
- Functional and rule-based programming
- Logic-algebraic modeling and verification
- Algebraic compilation techniqes
- Expander2/3 - a workbench for interactive formal reasoning
The results of actual research & develeopment can be found in the reports and slide collections linked here.