What we’re about

UPDATE:

Dear all,
We'd like to let you know that this meetup group will no longer be active. It's been wonderful to connect here, and we truly appreciate your participation and interest over time.
For those who would like to continue receiving announcements about upcoming miniKanren seminars, we invite you to join our mk-seminar Google Group. To be added, please send an email request to: kajigor@gmail.com.

We hope to see many of you at future seminars!

-----------

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