Research

Publications

Journal

  • E. Fairweather, M. Fernández: Typed Nominal Rewriting
    ACM Transactions on Computation Logic, February 2018
  • V. Curcin, E. Fairweather, R. Danger, D. Corrigan: Templates as a Method for Implementing Data Provenance in Decision Support Systems
    Journal of Biomedical Informatics, November 2016

Conference

  • P. Alper, E. Fairweather, V. Curcin: Simulated Domain-Specific Provenance
    International Provenance and Annotation Workshop, July 2018
  • E. Fairweather, P. Alper, T. Porat, V. Curcin: Architecture for Template-Driven Provenance Recording
    International Provenance and Annotation Workshop, July 2018
  • S. Xu, E. Fairweather, T. Rogers, V. Curcin: Implementing Data Provenance in Health Data Analytics Software
    International Provenance and Annotation Workshop, July 2018
  • S. Xu, T. Rogers, E. Fairweather, A. Glenn, J. Curran, V. Curcin: Application of Data Provenance in Healthcare Analytics Software: Information Visualisation of User Activities
    Proceedings of the AMIA 2018 Informatics Summit, March 2018
  • E. Fairweather, M. Fernández, N. Szasz, A. Tasistro: Dependent Types for Nominal Terms with Atom Substitutions
    Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, July 2015
  • E. Fairweather: Type Systems for Nominal Terms
    Ph.D. thesis, October 2014, [.pdf]
  • E. Fairweather, M. Fernández, M. J. Gabbay: Principal Types for Nominal Theories
    Proceedings of the 18th International Symposium on Fundamentals of Computation Theory, August 2011

Awards

  • EPSRC Doctoral Training Account Studentship

Past Projects

Links