#import "../libs.typ": *

#let interest(env) = {
  
  cv-content(env, {
    multiLang(env, en: [== Research Interests])
    [
      - _Implementation of dependently typed programming languages_ , focusing on features such as pattern matching.
      - _Semantic models of type theories_, especially categorical semantics, leveraging categorical perspectives to grasp the essence of new language features quickly.
      - _Semantics-based approaches for programming languages_, such as normalization-by-evaluation and logical relations.
      - _Dependent version of practical type systems_, such as gradual typing and effect systems.
    ]
  })
}
