Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Markov models
• Formal methods
• Graph theory
• Markov chain
• Process calculus
• Semantics
• Stochastic process
• Mathematics

Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev

Source URL: files.sri.inf.ethz.ch

http://plml.ethz.ch Big Code: last 5 years @ ETH • •

Source URL: files.sri.inf.ethz.ch

• Programming language syntax
• Biconjugate gradient stabilized method
• Numerical linear algebra
• Module:Dump

Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

Source URL: dream.inf.ed.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Propositional calculus
• Logic in computer science
• Logical truth
• Linear temporal logic
• First-order logic
• Well-formed formula
• Interpretation
• Intuitionistic logic

Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis

Source URL: files.sri.inf.ethz.ch

• Probabilistic programming language
• Machine learning
• Information retrieval
• Cognition
• Cognitive science

Universität Leipzig Institut für Informatik Diplomarbeit Charakterisierung erkennbarer

Source URL: wwwtcs.inf.tu-dresden.de

Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

Source URL: dream.inf.ed.ac.uk

• Computer programming
• Software engineering
• Computing
• Lisp
• Functional programming
• Data types
• Abstract data types
• Functional languages
• Append
• ACL2
• Cons
• Nqthm

Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science

Source URL: files.sri.inf.ethz.ch

• Computing
• Application software
• Computer science
• Machine learning
• Conditional random field
• Symposium on Principles of Programming Languages
• Programming Language Design and Implementation
• R
• Structured prediction

PDF Document

Source URL: files.sri.inf.ethz.ch