Michael Zakharyaschev is affiliated with Birkbeck, University of London in the United Kingdom. Their research primarily focuses on areas within Computer Science, with a particular emphasis on Artificial Intelligence. They have published extensively, contributing to subfields such as Computer Networks and Communications, Computational Theory and Mathematics, Signal Processing, and Pulmonary and Respiratory Medicine.
Their main research topics include Semantic Web and Ontologies, Advanced Database Systems and Queries, Logic, Reasoning, and Knowledge, Data Management and Algorithms, semigroups and automata theory, DNA and Biological Computing, and Logic, programming, and type systems.
Recent papers authored or coauthored by Michael Zakharyaschev cover several developments in ontology-mediated queries and linear temporal logic. These include:
Frequent coauthors collaborating with Michael Zakharyaschev include Frank Wolter, Vladislav Ryzhikov, Agi Kurucz, Alessandro Artale, and Yury Savateev.
Most of their publications appear in leading venues such as arXiv (Cornell University), Artificial Intelligence, Journal of Artificial Intelligence Research, European Urology, and venues from Leibniz-Zentrum für Informatik (Schloss Dagstuhl).
Michael Zakharyaschev
Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev
Holger Sturm;Nobu-Yuki Suzuki;Frank Wolter;Michael Zakharyaschev
Dov M Gabbay;Agi Kurucz;Frank Wolter;Michael Zakharyaschev
Alessandro Artale;Diego Calvanese;Roman Kontchakov;Michael Zakharyaschev
Guohui Xiao;Diego Calvanese;Roman Kontchakov;Domenico Lembo
Oliver Kutz;Carsten Lutz;Frank Wolter;Michael Zakharyaschev
Oliver Kutz;Frank Wolter;Michael Zakharyaschev
C. Lutz;F. Wolter;M. Zakharyashev
Ian M. Hodkinson;Frank Wolter;Michael Zakharyaschev
Brandon Bennett;Anthony G. Cohn;Frank Wolter;Michael Zakharyaschev
Frank Wolter;Michael Zakharyaschev
Mariano Rodríguez-Muro;Roman Kontchakov;Michael Zakharyaschev
R. Kontchakov;C. Lutz;D. Toman;F. Wolter
F Wolter;Michael Zakharyaschev
R. Kontchakov;C. Lutz;D. Toman;F. Wolter
A. Artale;D. Calvanese;R. Kontchakov;V. Ryzhikov
Roman Kontchakov;Frank Wolter;Michael Zakharyaschev
Roman Kontchakov;Martin Rezk;Mariano Rodríguez-Muro;Guohui Xiao
Frank Wolter;Michael Zakharyaschev
If you think any of the details on this page are incorrect, let us know.
Exploring computer science in the USA opens up diverse opportunities to specialize through online learning. Whether you’re interested in programming, security, design, or management, there are flexible options to match your goals.
Choosing online accredited colleges is essential for ensuring your degree is recognized by employers and can lead to wider career prospects. Accreditation guarantees a high-quality curriculum and can improve credit transferability if you continue your studies.
For those drawn to creative technology, video game design programs offer specialized courses in animation, game mechanics, and interactive storytelling. These programs can launch careers in game development, graphics, and virtual reality.
Security is another rapidly growing field. With the increasing demand for digital safety skills, enrolling in online cybersecurity master's programs prepares students for roles in threat analysis, network defense, and IT compliance.
Additionally, those interested in integrating tech with leadership can pursue an online construction management degree. This pathway blends project management, business, and technology, creating many opportunities in the booming construction technology sector.
Claude Bernard University Lyon 1
University of California, Davis
University of California, Berkeley
Heidelberg University
Oregon State University
Natural History Museum
Nihon University
The Colum Group
The University of Texas at Austin
KU Leuven
Karlsruhe Institute of Technology
Nanjing University
Florida State University
World Bank
HealthPartners
Oregon Health & Science University
