Dark Mode

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
Lipen
Follow
Working from home

Konstantin Chukharev Lipen

Working from home

Organizations

Block or report Lipen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user's behavior. Learn more about reporting abuse.

Report abuse
Lipen/README.md

Researcher in formal methods at ITMO University, specializing in SAT/SMT solving, symbolic execution, and program analysis. I develop educational materials and teach discrete mathematics, focusing on practical applications of formal verification in software engineering.

Projects

  • kotlin-satlib -- SAT solvers library for JVM
  • sat-nexus -- SAT solvers library for Rust
  • discrete-math-course -- Supplementary materials for Discrete Mathematics
  • formal-methods-course -- Educational resources for Formal Methods
  • USVM -- Symbolic execution engine for automated program analysis (core contributor)
  • JacoDB -- Java bytecode analysis framework with interprocedural analysis (core contributor)

Tech Stack

Pinned Loading

  1. discrete-math-course discrete-math-course Public

    Supplementary materials for Discrete Math course at ITMO University

    Typst 113 17

  2. formal-methods-course formal-methods-course Public

    Materials for the course "Formal Methods in Software Engineering" at ITMO University

    Typst 6

  3. kotlin-satlib kotlin-satlib Public

    SAT solver wrappers for Kotlin

    Kotlin 11 2

  4. sat-nexus sat-nexus Public

    SAT solver wrappers for Rust

    Rust 5

  5. kotlin-bdd kotlin-bdd Public

    Binary Decision Diagrams for Kotlin

    Kotlin 1

  6. ananke ananke Public

    Decision Diagrams for Rust

    Rust 4