Dejan started following the work of Zorka Milin, Yale University, International Relations.
Dejan started following the work of Marija Kotur, Stony Brook University, Physics and Astronomy.
Dejan started following the work of 3 people.
Primary
view all (26)
- Abstract Interpretation
- Algorithms
- Automated Deduction
- Automated reasoning
- Computational Logic
- Formal Methods (Formal Verification)
- Formal methods
- Linear Programming
- Linear programming (Optimization Techniques)
- Logic And Foundations Of Mathematics
- Mathematical Logic
- Mixed-integer Linear Programming
- Model Checking
- Program Analysis
- Program Semantics
- Programming Language Semantics
- Programming Languages
- Proof Theory
- SAT Solver Design
- Satisfiability Modulo Theories
- Static Analysis
- Temporal Logics
- Temporal and Modal Logic
- Theorem Proving
- Verification (Computer Science)
Graduate Student, Computer Science
The Cahn Fellows Program is seeking a dynamic and experienced professional to serve as its New York City Program Director.
Columbia University









