Aaron R. Bradley

Aaron R. Bradley é professor associado e pesquisador na área de ciência da computação, com foco em lógica computacional e verificação de software e hardware. Ele é coautor do livro "The Calculus of Computation: Decision Procedures with Applications to Verification", publicado em 2007. Bradley tem uma trajetória acadêmica ligada à Universidade de Stanford e também é associado à Universidade de Cincinnati. Suas pesquisas e publicações concentram-se em temas como lógica computacional, procedimentos de decisão, verificação de programas e inteligência artificial.