Koen Claessen is affiliated with Chalmers University of Technology in Sweden and has contributed extensively to the field of computer science. Their research spans several interconnected domains including software, artificial intelligence, hardware and architecture, computational theory and mathematics, and signal processing.
Their main areas of study focus on formal methods in verification, software testing and debugging techniques, logic, programming, and type systems, model-driven software engineering techniques, logic, reasoning and knowledge, advanced malware detection techniques, and embedded systems design techniques.
Claessen has frequently published their work in venues such as Proceedings of the ACM on Programming Languages, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IFAC-PapersOnLine, Formal Methods in System Design, and EPJ Web of Conferences.
Recent publications include:
Frequent collaborators in Claessen's research include Zahra Ramezani, Knut Åkesson, Nicholas Smallbone, Johan Lidén Eddeland, and Martin Fabian.
Koen Claessen;John Hughes
Unknown
Per Bjesse;Koen Claessen;Mary Sheeran;Satnam Singh
Koen Claessen
Per Bjesse;Koen Claessen
Michał H. Pałka;Koen Claessen;Alejandro Russo;John Hughes
Dana N. Xu;Simon Peyton Jones;Koen Claessen
Emil Axelsson;Koen Claessen;Gergely Devai;Zoltan Horvath
Alejandro Russo;Koen Claessen;John Hughes
Koen Claessen;David Sands
Koen Claessen;Moa Johansson;Dan Rosén;Nicholas Smallbone
Koen Claessen
Koen Lindström Claessen;Niklas Sörensson
Koen Claessen;John Hughes
Koen Claessen;Michal Palka;Nicholas Smallbone;John Hughes
Koen Claessen;Nicholas Smallbone;John Hughes
Geoff Sutcliffe;Stephan Schulz;Koen Claessen;Allen Van Gelder
Koen Claessen;John Hughes
Koen Claessen;Mary Sheeran;Bo Joel Svensson
Geoff Sutcliffe;Stephan Schulz;Koen Claessen;Peter Baumgartner
Emil Axelsson;Koen Claessen;Mary Sheeran;Josef Svenningsson
If you think any of the details on this page are incorrect, let us know.
Exploring online degrees in Computer Science opens doors to many high-demand and lucrative tech fields. For students seeking a fast track to employment, there are quick degrees online that pay well, offering practical skills and strong salary prospects in just a short period.
With the rise of Artificial Intelligence, more students are considering degrees in ai. These programs teach foundational knowledge and cutting-edge AI skills for roles like data scientist, machine learning engineer, and more.
Choosing the right course of study is crucial. Check the majors in college that align with emerging job markets for long-term career growth in technology.
For those considering advanced study, there are options for easiest masters degrees that can be completed online. These programs may provide a smoother academic path, while still enhancing your technical expertise and career prospects.
Zhejiang Normal University
Hanyang University
Huaqiao University
The Ohio State University
École Polytechnique Fédérale de Lausanne
University of Electronic Science and Technology of China
Goddard Space Flight Center
Johns Hopkins University
Wellcome Sanger Institute
University of Manitoba
University of Montpellier
RTI International
University of Verona
Southeast University
University College London
Wake Forest University
