Martin Burtscher
Professor Site-PI
about
Faculty at Texas State, Site-PI of Collaborative Grant “CIVIC”
email burtscher@txstate.edu
website cs.txstate.edu/~burtscher/
Ganesh Gopalakrishnan
Professor Site-PI
about
Faculty at Utah, Site-PI of Collaborative Grant “CIVIC”
email ganesh@cs.utah.edu
website cs.utah.edu/~ganesh
Stephen Siegel
Associate Professor Site-PI
about
Faculty at Delaware, Site-PI of Collaborative Grant “CIVIC”
email siegel@cis.udel.edu
website vsl.cis.udel.edu/siegel.html
John Jacobson he/him
PhD Student
about
PhD Student at University of Utah, under advisement of Prof. Ganesh Gopalakrishnan. Interest in formal methods for concurrent programs, and any applications of theoretical mathematics to computing.
email jjacoiii@cs.utah.edu
website johniii.org
Tanmay Tirpankar he/him
Software Tinkerer and Verification/Parallel Programmer Ph.D student
about
Resident expert at messing around with systems stuff. Affected by a curious bug of tinkering with what should not be tinkered. My research interest lies in verification of concurrent programs and floating point error analysis. Please reach out if you need help with anything or have anything work/non-work related stuff to discuss
website tanmaytirpankar.com
Yiqian Liu
PhD Student
about
PhD Student at Texas State University, under advisement of Prof. Martin Burtscher. My research focuses on the parallelization of irregular programs for GPUs.
email y_l120@txstate.edu
website userweb.cs.txstate.edu/~y_l120/
Andrew Osterhout he/they
Better than your avg UGRA, Lab IT, Specialist of random domains. Undergrad Research Assistant
about
I do alot of things here, on a lot of projects. Primary work ahs been with the romp Random Walker & Random State Exclusion Murphi Model Checker “romp”.
website osterhoutan.dev