Skip to content

What we’re about

The laboratory carries out research in the areas of programming languages, static and dynamic program analysis, code generation and related topics, namely:

  • Application of LLMs for software engineering:
    • Code validation via differential testing: consistency at all costs
    • Formally verified code generation
    • Converting Gradle to Gradle KTS
  • Weak memory models and concurrency
  • Meta-programming, meta-computations, and partial evaluation
  • Programming language semantics and types
  • Certified programming and mechanized proofs
  • Relational and logic programming
  • Functional programming
  • Formal languages theory