AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Logic
• Mathematical logic
• Logic in computer science
• Artificial intelligence
• Automated reasoning
• Automated theorem proving
• Predicate logic
• Quantifier
• Andrei Voronkov
• Z3
• Alt-Ergo

Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond

Source URL: www.lsi.upc.edu

• Computer programming
• Software engineering
• Combinatorial optimization
• Matching
• Monad
• Conditional

Abduction by Non-Experts Nikolaj Bjørner2 , Dejan Jovanovi´c1 , Tancr`ede Lepoint1 , Philipp R¨ ummer3 , and 1 Martin Sch¨af 1

Source URL: csl.sri.com

• Theoretical computer science
• Logic in computer science
• Mathematical logic
• Computational complexity theory
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Horn clause
• Clause
• Logic programming

Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research

Source URL: www.lsi.upc.edu

• Logic
• Mathematical logic
• Theoretical computer science
• Model theory
• Logic in computer science
• Logical truth
• Philosophy of logic
• Satisfiability
• Convex function
• Universal quantification
• Boolean satisfiability problem

Correct by Construction Networks Using Stepwise Refinement Leonid Ryzhyk, VMware Research; Nikolaj Bjørner, Microsoft Research; Marco Canini, King Abdullah University of Science and Technology (KAUST ); Jean-Baptiste Je

Source URL: www.usenix.org

Model Checking Software, Solving Horn Clauses and IC3 Nikolaj Bjørner Microsoft Research SAT/SMT Summer School 2014, Semmering

Source URL: satsmt2014.forsyte.at

Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

Source URL: research.microsoft.com

Secure MPC for Analytics as a Web Application Andrei Lapets, Nikolaj Volgushev, Azer Bestavros, Frederick Jansen, Mayank Varia Email: {lapets, nikolaj, best, fjansen, varia}@bu.edu CS Dept., Boston University, 111 Cummin

Source URL: cybersec-prod.s3.amazonaws.com

FACULTY OF SCIENCE UNIVERSITY OF COPENHAGEN Master Thesis Nikolaj Korolev

Source URL: theoretical-quantum-optics.nbi.ku.dk

Data Min Knowl Disc:173–207 DOIs10618Comparing apples and oranges: measuring differences between exploratory data mining results Nikolaj Tatti · Jilles Vreeken

Source URL: eda.mmci.uni-saarland.de

• Statistics
• Statistical theory
• Physics
• Thermodynamic entropy
• Information theory
• Philosophy of thermal and statistical physics
• Thermodynamics
• Entropy
• Principle of maximum entropy
• KullbackLeibler divergence
• Maximum entropy probability distribution