+1 Eugene has been very active Hyades/TPTP committer since 2003 and is the new TPTP Architecture Group (AG) Lead.
Voting summary: http://portal.eclipse.org/ _______________________________________________ tptp-tracing-profiling-tools-dev mailing list tptp-tracing-profiling-tools-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev
