Languages and Systems, in Particular Cs442 (programming Languages) and Cs241 (foundations of Sequential Programming)
1 faculty research Languages and Systems, in Particular Cs442 (programming Languages) and Cs241 (foundations of Sequential Programming) on GradNova.
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