Members
Individual group members can be reached by sending email to their email alias @cs.york.ac.uk.
Current Members
|
Former Members
Jason Reich, Research Student.
|
Marco Perez Cervantes, Research Student.
|
Firas Moalla, Research Student. |
Jose Calderon, Research Student.
|
Christopher Bak, Research Student.
|
Chris Poskitt, Postdoctoral Researcher (ETH Zürich).
|
Nuno Amálio, Research Student.
- interests: Formal software engineering.
Adam Bakewell, Research Associate.
- www: http://www.cs.ox.ac.uk/people/Adam.Bakewell/
- interests: Operational semantics, program analysis, graph transformation.
- interests: Formal methods and information security.
- publications: via group publication list, Google Scholar, or DBLP.
Tang Bo, Research Student.
- interests: Graph transformation.
- email: [11]
- interests: Vehicle networks
Néstor Cataño, Research Associate.
- interests: Verification and validation of software systems using model checking and symbolic techniques.
Olaf Chitil, Teaching Fellow.
- www: http://www.cs.kent.ac.uk/people/staff/oc/
- interests: Programming languages, functional programming, tools, compilation, types, semantics.
Kieran Clenaghan, Visiting Researcher.
- interests: Algebra for algorithm calculation.
Jonathan Ezekiel, Research Student.
- interests: Model checking.
Guanhua He, Research Student.
- interests: Machine-supported reasoning about Functional Programming.
- subgroup: Functional Programming group
Paritosh Ingole, Research Student.
- interests: Parallel functional programming, tracing tools, cryptography.
Stephane Konstantaropoulos, Research Student.
- interests: Open source software, C programming language.
Gerald Luettgen, Reader.
- interests: Reactive-systems design, concurrency theory, model checking.
John Lusty, Research Student.
- interests: Coordination models.
- interests: Graphs, Graph-based programming languages and tools.
Neil Mitchell, Research Student.
- www: http://community.haskell.org/~ndm/
- email: [12]
- interests: Static analyses to check whether programs could fail at run-time
- subgroup: Functional Programming group
Jan Tobias Mühlberg, Research Student.
- interests: Software verification, model checking.
- www: https://sites.google.com/site/mattfn/work
- interests: Functional programming and computer architecture.
- publications: via group publication list or DBLP.
Michael O'Neill, Undergraduate Intern.
- email: [13]
- interests: Functional programming and karting.
Fiona Polack, Senior Lecturer.
- www: http://www.cs.york.ac.uk/~fiona/
- email: [14]
- interests: Software development processes; formal and informal system models.
Anuja Ranjan, Visiting Research Student.
- institute: IIT Kanpur (Indian Institute of Technology)
- length of visit: May-July 2011.
- interests: Graph transformation, Graph Programs.
Tom Shackell, Research Student.
- interests: Implementing functional programming languages.
- subgroup: Functional Programming group
Ambuj Singh, Visiting Intern Student.
- institute: IIT Kanpur (Indian Institute of Technology)
- length of visit: May-June 2010.
- interests: Graph Transformation and GP.
- interests: Theory and application of graph transformation, graph-based programming languages and tools.
Nur Izura Udzir, Research Student.
- interests: Capability-based coordination.
- interests: Domain-specific language design, functional programming, visualisation, debugging/tracing, profiling, optimisation, embedded systems.
Lesley Wevers, Visiting Research Student.
- institute: University of Twente
- length of visit: May-July 2011.
- interests: Programming methods (languages, paradigms, model based, etc.); algorithms for program verification.
Andrew Wilkinson, Research Student.
- interests: Types and coordination.
- interests: Capability systems.
- publications: via group publication list or DBLP.