معرفی
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).
Boris Konev در جاهای دیگر
جستجوهای مرتبط
شاید اینها هم به کارتان بیاید
- MMagdalena OrtizVienna University of Technology · استاد
Boris MotikUniversity of Oxford · استاد- MMartin KnechtelDresden University of Technology · پژوهشگر
Stefan BorgwardtDresden University of Technology · پژوهشگر
Patrick KoopmannVrije University Amsterdam · استادیار- AAlexei LisitsaUniversity of Liverpool · مدرس ارشد