Honors Professional Development - Computer Science Seminar - Dr. Anish Arora

Date Range:

November 4, 2025 to November 4, 2025

Event Type:

Sponsored

Location:

Engineering Activities Building B, Room 106

Description:

Honors students are invited to sit in on a Computer Science seminar with visitor Dr. Anish Arora from The Ohio State University. Arora is a Chair and Distinguished Professor of Engineering in the Department of Computer Science and Engineering at The Ohio State University College of Engineering. He leads a research group on Dependable Distributed and Networked Systems that works on the foundations of fault-tolerance, security, and timeliness properties; develops design, verification, and implementation methods; and builds prototypes of dependable systems for new application areas. He is especially interested in discovering new methods for scalable dependability, as well as in characterizing the differences between reasoning about system correctness versus reasoning about systems dependability. His group's methods draw from the theory of self-stabilization and exploit formal specifications of and "white box" knowledge about the system. Demonstrations of its work are presently focused on embedded sensor network applications and internet services. In addition, Dr. Arora co-directs TDAI's Smart & Connected Communities and Distributed Sensing community of practice.

Contact Information:

Emily Finbow
Honors Academy
979-845-5749
efinbow@tamu.edu