Michael Hanus is affiliated with Kiel University in Germany. Their work primarily focuses on computer science with a significant number of publications in the subfields of artificial intelligence, computational theory and mathematics, and software. Other areas of interest include computer networks and communications as well as hardware and architecture.
The researcher's main topics of study encompass logic, programming, and type systems, logic, reasoning, and knowledge, formal methods in verification, software testing and debugging techniques, semantic web and ontologies, parallel computing and optimization techniques, and constraint satisfaction and optimization.
Among the recent papers authored by Michael Hanus are the following:
Frequent coauthors collaborating with Michael Hanus include:
Publication venues where Michael Hanus has frequently contributed are:
Michael Hanus has also contributed to academic books published by Springer Science+Business Media. Titles include:
Michael Hanus
Sergio Antoy;Rachid Echahed;Michael Hanus
Michael Hanus
Michael Hanus
Michael Hanus;Sergio Antoy;Herbert Kuchen;Francisco J. López-Fraguas
Sergio Antoy;Michael Hanus
Michael Hanus
Sergio Antoy;Rachid Echahed;Michael Hanus
Elvira Albert;Michael Hanus;Frank Huch;Javier Oliver
M Hanus;H Kuchen;JJ Moreno-Navarro
Sven Efftinge;Moritz Eysholdt;Jan Köhnlein;Sebastian Zarnekow
Sergio Antoy;Michael Hanus
Michael Hanus
Michael Hanus
Bernd Braßel;Michael Hanus;Björn Peemöller;Fabian Reck
Michael Hanus;Christian Prehofer
Michael Hanus
Sergio Antoy;Michael Hanus
Michael Hanus;Sergio Antoy;B. Bra el;Martin Engelke
Sergio Antoy;Michael Hanus
If you think any of the details on this page are incorrect, let us know.
Exploring computer science in the USA opens doors to many related fields and flexible learning opportunities. Many students consider online programs to gain expertise while balancing work or other commitments.
For those interested in the foundations of technology, an online bachelor's degree in physics provides a strong analytical background and can complement computer science skills. Another trending area is data analysis, where earning a data science degree can lead to high-demand roles in tech, finance, and business.
Professionals seeking to level up their technical expertise may benefit from an online master’s in electrical engineering degree. This path enables you to delve deeper into fields such as robotics, embedded systems, or communications.
For a quicker route to career advancement, some opt for easy certifications that pay well. These can boost your resume and unlock entry-level tech jobs with less time invested than a full degree.
With a wide range of flexible and affordable online options, there’s a pathway suited for every goal in the tech industry.
Indian Veterinary Research Institute
University of Campania "Luigi Vanvitelli"
University of Göttingen
China National Center for Food Safety Risk Assessment
Natural History Museum
Naval Medical Research Center
National Institute of Allergy and Infectious Diseases
Université Paris Cité
University of Alcalá
York University
Heidelberg University
London Business School
Australian National University
University of Illinois at Chicago
Technical University of Denmark
University of Colorado Boulder