The school's board of trustees voted Monday to name Dennis King as president.

 

The 67-year-old King has been interim president since former president Hank Dunn left in January. King was one of four finalists for the job.

 

King came to the school in 1992 as vice president for student services. He previously was vice president of student services at Lake City Community College. He also has held positions at the Florida Institute of Technology and Jacksonville University.

 

His two-year contract begins Aug. 1. He will be paid $185,000 annually.