Thomas Gilray is an Assistant Professor in the Department of Computer Science at the University
of Alabama at Birmingham. He has worked on fundamental problems in static-analysis design, applications including component verification, program modeling, and strategies for parallel implementations on GPUs and networked clusters. He has contributed to the commercial HP Fortify source-code analyzer. He has worked on parallelizing implementations of sparse linear algebra and relational algebra.