Viktor Kunčak (PhD MIT, 2007) is an associate professor at EPFL leading @epfl-lara group.
-
EPFL
- Switzerland
- lara.epfl.ch
Highlights
- Pro
Block or Report
Block or report vkuncak
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
epfl-lara/stainless
epfl-lara/stainless PublicVerification framework and tool for higher-order Scala programs
-
epfl-lara/leon
epfl-lara/leon PublicThe Leon system for verification, synthesis, repair
-
epfl-lara/ScalaZ3
epfl-lara/ScalaZ3 PublicDSL in Scala for Constraint Solving with Z3 SMT Solver
-
-
epfl-lara/comfusy
epfl-lara/comfusy PublicImplementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.