Nneka Chinelo Ene
Development of tools for the specification, analysis and verification of complex systems (e.g., biochemical systems, financial systems, programming languages, software applications).
Rewrite-based computation models: term and graph rewriting
Software Systems Group
Currently assisting within the college on an ad-hoc basis