Gerard Holzmann

Research interests: software safety, software analysis, formal verification, metrics, logic model checking, distributed systems, multi-threaded software, static analysis, swarm testing, code review methods, requirements capture and analysis, algorithms, user interface design, graphic design, text processing, image processing, technology transfer