Building PL/formal methods-based technology, in combination with GenAI, to automate the synthesis of test input generators.

View Michael Hicks’ academic publications by year or category, plus links to DBLP and Google Scholar.

Research on fuzzing, property-based testing, and their combination to improve software quality and security.

Research on measuring and improving cybersecurity practices, developer behavior, and end-user impact.

The Cedar policy language for authorization, and verification-guided development methodologies for building high-assurance systems.

Information about Michael Hicks’ research group, including previous students, postdocs, and collaborators.

Michael Hicks’ professional service activities, including conference committees, editorial roles, and leadership positions.