Anduo Wang View

Anduo Wang is an Associate Professor at Temple University, where she specializes in improving network state management using formal methods, databases, knowledge representation and reasoning, and logic programming. She received her Ph.D. from UPenn in 2013 and was a postdoctoral researcher at UIUC with Matthew Caesar and Brighten Godfrey before joining Temple University in 2016. Anduo has been the recipient of three NSF grants as a single-PI investigator, including the CRII in 2017, CNS core small in 2019, and CAREER in 2022. She has served in various networking venues, including as the General Chair for the ACM SOSR conference in 2020 and as a member of the ACM SIGCOMM Executive Committee as the SIGCOMM Information Services Director from 2017 to 2021.

Anduo Wang

Posts by Anduo Wang

Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions

For years, networks have been seen as hard to manage and hard to evolve. They are hard to manage because even small networks are complex, with multiple devices and protocols interacti...

In formal methods, programming languages, By Nate Foster, Arvind Krishnamurthy, Ratul Mahajan, Todd Millstein, David Walker, Anduo Wang, Pamela Zave, Nov 27, 2023