list the scientists whose doctoral advisor is harry r . lewis and are known for computability theory ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_doctoralAdvisor dbr_Harry_R._Lewis sep_dot var_uri dbp_knownFor dbr_Computability_Theory sep_dot var_uri a dbo_Scientist brack_close