Congratulations to Stephen Freund! The National Science Foundation has awarded him a three-year, $198,993 grant to study techniques for automatically identifying defects in multithreaded software.
Multithreaded programs are those capable of executing more than one task, or thread, simultaneously, explains Freund, whose research focuses on the design and implementation of programming languages and verification of multithreaded programs.
Here’s the full press release.