Nneka Chinelo Ene

Research:
Development of tools for the specification, analysis and verification of complex systems (e.g., biochemical systems, financial systems, programming languages, software applications).

Main topics:
Rewrite-based computation models: term and graph rewriting

Software Systems Group

Publications

Journals:

(Work-in-progress)

Events:

• http://www.ki.informatik.uni-frankfurt.de/WPTE17/
  

• https://www.gcm2018.uni-bremen.de/

• http://www.termgraph.org.uk/2018/
  

Teaching:

Currently assisting within the college on an ad-hoc basis