December 6, 2019 (12:50 | room 5.35, 5th floor): CT-Talk with Apoorv Shukla

on "Towards Automatic Runtime Verification of P4 Switches"

Bio:
Apoorv is a final year Phd student in FG INET, TU Berlin where he is supervised by Prof. Anja Feldmann. Apoorv is interested in the network verification and security issues in programmable networks such as P4 networks and SDNs. He is also interested in the issues surrounding policy and regulatory frameworks. Prior to his current position, he obtained a Masters degree in Information Technology from the prestigious Hong Kong University of Science and Technology-Hong Kong. Before, he worked as a Software Developer for WAN protocols in Tata Consultancy Services (TCS) for Cisco project.