Kevin Wang

1PUBLICATIONS
5CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Nov 12, 2022
Simulated redistricting plans for the analysis and evaluation of redistricting in the United States.

Cory McCartan, Christopher T Kenny, Tyler Simko

Pageof 1