One former Miami Hurricanes player says Butch Davis and Mario Cristobal appear to be the leading names in the school’s search for a new head football coach.

Joaquin Gonzalez, who was a key member of the Hurricanes’ offensive line from 1997-2002, tweeted on Thursday to say he was interviewed by the consultants conducting the search for the program’s next head coach. Gonzalez shared that Butch Davis and Mario Cristobal are the leading names for the job. He also mentioned Rob Chudzinski and Greg Schiano.