Parallel Computing and Optimization Techniques
919 faculty research Parallel Computing and Optimization Techniques on GradNova.
G
E. David Cronon Professor; Vilas Research Professor
G
Associate Professor, Teaching Stream
Gradual Typing: Languages Which Combine Typed and Untyped Code
Just-In-Time Compilation: Compilers Which Compile Code While It's Running, Allowing for Advanced Profiling
Languages and Systems, in Particular Cs442 (programming Languages) and Cs241 (foundations of Sequential Programming)
Security and Verification in Computing
+4
P
Associate Professor, Electrical and Computer Engineering
W
Associate Professor, Electrical and Computer Engineering
M
Assistant Professor, and Canada Research Chair in Minimizing Human Error in Modern Networks
Networked Systems, With a Focus on Software Defined Networking (sdn) and Programmable Data Planes
Recent Focus on How to Exploit Programmability to Create Networks That Are Verifiably Robust Across the Stack, From the Protocols Themselves Down to the Switch and Network Interface Card (nic) Hardware That Processes Packets
Software-Defined Networks and 5G
Software System Performance and Reliability
+3
P