About
Professor Boris Konev is a faculty member at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He holds the academic rank of Professor in Computer Science.
- Description Logics
- Ontologies
- Automated Reasoning
- Temporal Logic
- Formal Verification
- Encrypted Database Applications
His recent research focuses on temporal queries mediated by ontologies, knowledge evaluation agents using large language models, and semantic modularity in description logics. Key sub-fields include LLM applications, encrypted databases, and formal verification techniques.
He has contributed to software development projects and industry partnerships, including design of equine simulators and online services with Racewood Limited. Current teaching includes the Foundations of Computer Science module (COMP109).
Professional roles include guest editorships for AI Communications and program committee membership for the European Conference on Logics for Artificial Intelligence (JELIA).
Find Boris Konev elsewhere
Related Searches
You Might Also Like
- MMagdalena OrtizVienna University of Technology · Professor
- MMartin KnechtelDresden University of Technology · Researcher
Boris MotikUniversity of Oxford · Professor
Stefan BorgwardtDresden University of Technology · Researcher
Patrick KoopmannVrije University Amsterdam · Assistant Professor- AAlexei LisitsaUniversity of Liverpool · Senior Lecturer