T. M. Brookes is an author at Czech Academy of Sciences, Institute of Computer Science specializing in formal verification, engineering, and information security.