Asiri Rathnayake

About

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

Research area

I'm primarily interested in higher level abstractions for multicore / manycore computing architectures.

Other research interests

  • Operational semantics
  • Regular expressions matching
  • Functional programming (with side-effects, call-by-value camp)
  • 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