Alex Groce

About Alex Groce

Computer scientist with a focus on research, teaching, and practical application and engineering of software testing and model checking technologies. Current interests include- Broadly, fuzzing and mutation generation (but not just for suite evaluation!) are the main things I\'m focused on at the moment, but I have a number of other interests- Smart contract analysis and testing- Practical tools for making automated testing worth the effort for the non-research-oriented developer, using popular programming languages (DeepState, TSTL)- Understanding how to evaluate testing methods and suites most effectively- Exploiting mutation testing for novel purposes (distance between executions, fault categorization, code similarity metrics, improving systems software test suites)Longer term interests- Automated debugging and error explanation- Program state space visualization and understanding- Writing good code- Knowing whether code is any goodSpecialties: Smart contract analysis, compiler testing, file system testing, random testing, test framework development and design, model checking technology, heuristic search, static analysis, dynamic analysis, program slicing, automated verification methodsBest way to see what I\'ve been up to is probably just to look at DBLP or Google Scholar, really.

Experience

1. Consulting Security Engineer

   Trail Of Bits

   Aug 2019 — Present

Education

• Carnegie Mellon University

  PhD, Computer Science

  1999 — 2005

• North Carolina State University

  BS, Computer Science

  1994 — 1999

• North Carolina State University

  BS, Multidisciplinary Studies

  1994 — 1999