Skip to content

Chris Banks

  • LFCS, University of Edinburgh
  • 2PublicationsNumber of items in Chris's My Publications folder on Mendeley.
  • 4Followers

Recent publications

  • A Logic of Behaviour in Context

    • Banks C
    • Stark I
    N/AReaders
    N/ACitations
    Get full text
  • Stochastic modelling of the Kai-based circadian clock

    • Banks C
    • Clark A
    • Georgoulas A
    • et al.
    N/AReaders
    N/ACitations

Education

Ph.D. Foundations of Computer Science

LFCS, University of Edinburgh

October 2010 - Present

M.Sc. Computer Science

University of Edinburgh

September 2009 - July 2010(10 months)

Research interests

functional and concurrent programming languagescomputational systems biologyperformance modellingdistributed and parallel computingsoftware engineering and formal methodsmodel checkinglogicprocess calculifoundations of concurrency

Followers (4)

Following (7)

Explore network