Nneka Chinelo Ene

PhD Computer Science Candidate
Department of Informatics
Faculty of Natural and Mathematical Sciences
King's College London
nneka.ene at kcl.ac.uk




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 Modelling and Applied Logic Group

Publications

 

Journals:

Events:




Teaching:

Currently assisting within the college