Andrew Bate
Greater London, England, United Kingdom
1K followers
500+ connections
Experience
Education
Publications
-
Consequence-Based Reasoning for SRIQ Ontologies (Doctoral Thesis)
University of Oxford
-
Extending Consequence−Based Reasoning to SRIQ
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference (AAAI Press)
-
Extending Consequence−Based Reasoning to SHIQ
28th International Workshop on Description Logics
-
Scalable Performance for Scala Message−Passing Concurrency
Communicating Process Architectures 2013
-
Consequence−Based Reasoning for SHIQ
University of Oxford (Technical Report)
-
A Debugger for Communicating Scala Objects
Communicating Process Architectures 2012
-
Query Answering via Query Rewriting (Master's Thesis)
University of Oxford
Courses
-
Advanced Data Structures and Algorithms
-
-
Applied Mathematics
-
-
Building a Business (Saïd Business School)
-
-
Compilers
-
-
Computational Complexity
-
-
Computational Linguistics
-
-
Computational Linguistics
-
-
Computer Architecture
-
-
Computer Graphics
-
-
Computer Security
-
-
Concurrent Programming
-
-
Database Systems Implementation
-
-
Databases
-
-
Design and Analysis of Algorithms
-
-
Digital Hardware
-
-
Discrete Mathematics
-
-
Formal Methods for Concurrency
-
-
Functional Programming
-
-
Geometric Modelling
-
-
Imperative Programming
-
-
Intelligent Systems
-
-
Knowledge Representation and Reasoning
-
-
Linear Algebra
-
-
Logic and Proof
-
-
Models of Computation
-
-
Networks and Operating Systems
-
-
Object Oriented Programming
-
-
Probabilistic Modelling Checking
-
-
Probability and Computing
-
-
Reasoning about Information Update
-
-
Theory of Data and Knowledge Bases
-
Projects
Honors & Awards
-
Best Student Paper Prize for the paper Scalable Performance for Scala Message−Passing Concurrency
Communicating Process Architectures 2013 conference
Other similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore More