Kevin Hamlen

Dr. Kevin W. Hamlen

I am a Lou­is A. Beech­erl, Jr. Dis­tin­guished Pro­fes­sor (en­dowed chair) of Com­put­er Sci­ence at UTD, and the Ex­ec­u­tive Di­rec­tor of UTD's Cy­ber Se­cu­ri­ty Re­search and Edu­ca­tion In­sti­tute. My re­search con­cerns lan­guage-based se­cu­ri­ty, which le­ver­ag­es pro­gram­ming lang­uage the­o­ry and com­pil­er de­sign to en­force soft­ware se­cu­ri­ty. Tech­ni­cal in­ter­ests in­clude bi­na­ry soft­ware hard­en­ing, cy­ber­de­cep­tion, mal­ware de­fense, cloud/​web/​mo­bile se­cu­ri­ty, mod­el-check­ing, au­to­mat­ed the­o­rem prov­ing, cer­ti­fy­ing com­pil­ers, and type-safe in­ter­me­di­ate lan­guag­es. I re­ceived my M.S. and Ph.D. degrees from Cor­nell Uni­ver­si­ty where my doc­tor­al re­search con­cerned Lan­guage-Based Se­cu­ri­ty For Ma­li­cious Mo­bile Code, and my B.S. de­gree from Car­ne­gie Mel­lon Uni­ver­si­ty where I was in­volved in the Fox Proj­ect.

My re­search is sup­port­ed by grants from the U.S. Air Force Of­fice of Sci­en­tif­ic Re­search (AFOSR), Na­tion­al Sci­ence Foun­da­tion (NSF), Of­fice of Na­val Re­search (ONR), Ar­my Re­search Lab­o­ra­to­ry, De­fense Ad­vanced Re­search Proj­ects Agen­cy (DARPA), Lock­heed Mar­tin, In­tel­li­gent Au­to­ma­tion, Inc., and Siege Tech­nol­o­gies.

Current Ph.D. and Post-doctoral Students

  • Ilan Buzzeti
  • Saquib Irtiza
  • Gilmore Lundquist

Graduated Ph.D. Students

Courses