“Wise? No, I simply learned to think.” ― Christopher Paolini, Eldest

About WISR

Our group works on various problems dealing with big data, formal verification and machine learning arising at the intersection of systems and networking. Our vision is to make networks and systems "future proof", i.e., perform well and be robust, even as new, disruptive technologies arise, including both hardware and software.