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
