World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
5506
World Ranking
9415
National Ranking
170

Overview

Viktor Kuncak is affiliated with the École Polytechnique Fédérale de Lausanne in Switzerland. Their research is situated principally within the broader field of Computer Science, with significant contributions in multiple subfields including Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Computer Networks and Communications, and Software.

The main topics addressed in their work encompass:

  • Logic, programming, and type systems
  • Formal Methods in Verification
  • Security and Verification in Computing
  • Logic, Reasoning, and Knowledge
  • Software Testing and Debugging Techniques
  • Parallel Computing and Optimization Techniques
  • Advanced Malware Detection Techniques

Kuncak has published extensively, contributing to prominent venues such as arXiv (Cornell University), where they have 11 papers, the Proceedings of the ACM on Programming Languages with 2 papers, and the Journal of Logical and Algebraic Methods in Programming also with 2 papers. Additional publications appear in Lecture Notes in Computer Science and EPiC Series in Computing.

Recent scholarly works include:

  • Proving and Disproving Equivalence of Functional Programming Assignments, 2023, Proceedings of the ACM on Programming Languages
  • Orthologic with Axioms, 2024, Proceedings of the ACM on Programming Languages
  • On algebraic array theories, 2023, Journal of Logical and Algebraic Methods in Programming
  • Succinct ordering and aggregation constraints in algebraic array theories, 2024, Journal of Logical and Algebraic Methods in Programming
  • Coming to Terms with Your Choices: An Existential Take on Dependent Types, 2020, arXiv (Cornell University)

The frequent collaborators with whom Kuncak has co-authored multiple publications include Simon Guilloud, Samuel Chassot, Jad Hamza, Mario Bucev, and Rodrigo Raya.

Best Publications

  • Full functional verification of linked data structures

    Karen Zee;Viktor Kuncak;Martin Rinard

  • Test generation through programming in UDITA

    Milos Gligoric;Tihomir Gvero;Vilas Jagannath;Sarfraz Khurshid

  • Complete functional synthesis

    Viktor Kuncak;Mikaël Mayer;Ruzica Piskac;Philippe Suter

  • Sound compilation of reals

    Eva Darulova;Viktor Kuncak

  • Role analysis

    Viktor Kuncak;Patrick Lam;Martin Rinard

  • Complete completion using types and weights

    Tihomir Gvero;Viktor Kuncak;Ivan Kuraj;Ruzica Piskac

  • Counterexample-Guided Quantifier Instantiation for Synthesis in SMT

    Andrew Reynolds;Morgan Deters;Viktor Kuncak;Cesare Tinelli

  • CrystalBall: predicting and preventing inconsistencies in deployed distributed systems

    Maysam Yabandeh;Nikola Knezevic;Dejan Kostic;Viktor Kuncak

  • Satisfiability modulo recursive programs

    Philippe Suter;Ali Sinan Köksal;Viktor Kuncak

  • Software verification and graph similarity for automated evaluation of students' assignments

    Milena Vujošević-Janičić;Mladen Nikolić;Dušan Tošić;Viktor Kuncak

  • Synthesis modulo recursive functions

    Etienne Kneuss;Ivan Kuraj;Viktor Kuncak;Philippe Suter

  • Decision procedures for algebraic data types with abstractions

    Philippe Suter;Mirco Dotta;Viktor Kuncak

  • Disjunctive Interpolants for Horn-Clause Verification

    Philipp Rümmer;Hossein Hojjat;Viktor Kuncak

  • Towards a Compiler for Reals

    Eva Darulova;Viktor Kuncak

  • Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

    Viktor Kuncak;Martin Rinard

  • Induction for SMT Solvers

    Andrew Reynolds;Viktor Kuncak

  • Synthesizing Java expressions from free-form queries

    Tihomir Gvero;Viktor Kuncak

  • A Verification Toolkit for Numerical Transition Systems

    Hossein Hojjat;Filip Konečný;Florent Garnier;Radu Iosif

  • An overview of the Leon verification system: verification by translation to recursive functions

    Régis Blanc;Viktor Kuncak;Etienne Kneuss;Philippe Suter

  • Verifying a File System Implementation

    Konstantine Arkoudas;Karen Zee;Viktor Kuncak;Martin C. Rinard

  • On Induction for SMT Solvers

    Andrew Reynolds;Viktor Kuncak

Frequent Co-Authors

Dejan Kostic
Dejan Kostic Royal Institute of Technology
Andreas Podelski
Andreas Podelski University of Freiburg
Rupak Majumdar
Rupak Majumdar Max Planck Institute for Software Systems
Andrey Rybalchenko
Andrey Rybalchenko Microsoft (United States)
Sumit Gulwani
Sumit Gulwani Microsoft (United States)
Darko Marinov
Darko Marinov University of Illinois at Urbana-Champaign
Cesare Tinelli
Cesare Tinelli University of Iowa
Sarfraz Khurshid
Sarfraz Khurshid The University of Texas at Austin
Rachid Guerraoui
Rachid Guerraoui École Polytechnique Fédérale de Lausanne

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees related to Computer Science can open fresh career pathways and offer flexibility for working professionals. For those interested in data analysis or AI, pursuing one of the cheapest online data science masters programs can provide a cost-effective way to break into this high-demand field.

If you’re drawn to blending technology with real-world applications, consider an online building construction degree. This pathway integrates computational skills with industry expertise in project management, architecture, and engineering.

For those wishing to step into leadership or entrepreneurial roles, exploring online mba programs affordable can boost managerial skills and open doors across tech industries. Accelerated learning is also an option, with 1 year masters degree online programs allowing students to fast-track their career advancement.

No matter your professional goals, these related online degrees offer diverse options for advancement alongside or beyond a traditional Computer Science pathway.

Best Scientists Citing Viktor Kuncak

Trending Scientists

Recently Published Articles