ACM Fellows
USA - 2013
citation
For contributions to algorithmic approaches to program reliability, bioinformatics, and for service to the computer science research community.
citation
For contributions to algorithmic approaches to program reliability, bioinformatics, and for service to the computer science research community.