An innovator specialized in programming tools for the design, analysis and parallelization of multi-core software