|
(Ph.D. in Mathematics/Computer Science, Cornell University, 1990) is the Chief Scientist and a Founder of STILMAN. In the 90s, before joining STILMAN full time in 2002, Dr. Yakhnis has got substantial R&D experience at IBM, Sandia National Laboratories, and at Rockwell Science Center. He has 42 research publications. He contributed to foundations and applications of LG, gaming algorithms, formal methods for object-oriented software development, program correctness for concurrent and sequential programs, and validation of software requirements. Dr. Yakhnis is a recipient of research awards including grants and contracts from DOE, DARPA, MDA, Rockwell Collins, Boeing, and Fujitsu (Japan). In the past, on a number of projects, Dr. Yakhnis served as an industry and defense operations liaison to STILMAN. During the DARPA JFACC project, he served as a focal point for integration of software from three different vendors, Rockwell Science Center, BBN, and Interna, with STILMAN software. On Boeing/AFRL (Air Force Research Laboratory) projects he served as a major link between Subject Matter Experts, Boeing/AFRL Task Experts, and STILMAN software developers. | 