Ivor Spence

• Room: Ground Floor, ECIT Institute
• Phone: +44 28 90971875
• Email: i.spence@qub.ac.uk

Research

• Software for telecommunications (ECIT institute)
• Software product lines(PFERG research group)
• Solvers for Propositional Satisfiability (tts)
• Benchmarks for Propositional Satisfiability (sgen)
• Formal methods for specifying and testing software systems.
• Languages for parallel processing and their implementation.
• Image Processing on parallel processors.
• Publications

Teaching

• Algorithms.
• Software design techniques.

Miscellaneous

• SuDoku as a Satisfiability problem.
• DagCls - Directed Acyclic Graphs for Packet Classification, Filtering and Routing.
• Polygonal wheels.
• Sum Demonstration.