Boudewijn’s research focusses on conformance checking. Conformance checking is considered to be anything where observed behavior, needs to be related to already modeled behavior. Conformance checking is embedded in the larger contexts of Business Process Management and Process Mining. Boudewijn aims to develop techniques and tools to analyze databases and logs of large-scale information systems for the purpose of detecting, isolating, diagnosing and predicting misconformance in the business processes supported by these systems. The notion of alignments play a seminal role in conformance checking and the AIS group is world-leading in the definition of alignments for various types of observed behavior and for various modelling languages.