Kai Engelhardt

Friedrich-Alexander-Universität Erlangen-Nürnberg, UNSW Sydney

Papers

Total Citations

H-Index

About

Kai Engelhardt is a researcher whose work bridges the fields of optical metrology and formal verification, demonstrating a rare versatility across engineering and computer science. In his early career, Engelhardt made a notable contribution to 3-D shape measurement, developing a novel technique for acquiring three-dimensional data by combining focus sensing with the moiré effect of CCD cameras. His 1991 paper on this method, which has accumulated 15 citations, introduced a grid projection approach with confocal observation and local grating contrast evaluation, offering a new way to reconstruct the surface geometry of diffusely reflecting objects. This work provided a practical alternative to traditional stereo or laser-scanning methods, particularly valuable for industrial inspection and machine vision. Later, Engelhardt shifted his focus to formal methods in computer science, where he co-authored a seminal 2000 paper on program refinement that integrates reasoning about knowledge and time. With 11 citations, this work addresses the challenge of verifying distributed and concurrent systems, where agents must coordinate actions based on partial information. By embedding epistemic and temporal logic into a refinement calculus, Engelhardt helped lay the groundwork for rigorous, correctness-by-construction software development in safety-critical domains. His dual contributions—spanning physical optics to logical systems—highlight a career dedicated to precision, whether in measuring the physical world or ensuring the reliability of the digital one.