Asiri Rathnayake

About

I'm a doctoral research student studying theoretical computer science under the supervision of Dr. Hayo Thielecke.

Research area

My primary research is on operational semantics and abstract machine models for pattern matching and parsing.

Other research interests

  • High-level programming abstractions for multicore / manycore computers
  • Functional programming (with side-effects)
  • Continuations (CPS)

Teaching

I'm currently a demonstrator for the Principles of Programming Languages module and the Models of Computation module.

Publications

  1. Asiri Rathnayake and Hayo Thielecke, Regular Expression Matching and Operational Semantics, Structured Operational Semantics 2011.(PDF)

More