Jay Bagga, a computer science professor, will discuss "Applications of Graph Theory: Network Vulnerability and Formal Software Verification" beginning at 1 p.m. in the L.A. Pittenger Student Center Cardinal Hall A. The presentation is free and open to the public.

Bagga was named Ball State's Researcher of the Year at the university's fall convocation in August 2002.

A scholar of graph theory, graph algorithms and formal methods, Bagga joined Ball State in 1989. He also has served as director of the computer science department's graduate program and will assume the position of department chairperson in the fall.

Bagga's research in graph theory has resulted in numerous publications and more than $600,000 in external grants. In 2000, he received a Fulbright senior scholar appointment to the University of Zimbabwe to strengthen its computer science curriculum and establish a master's of science degree.