Expert In:

• Compilers
• Abstract Interpretation
• Application security
• Automated program analysis

Expert In:

• Compilers
• Cybersecurity
• Infrastructure integrity
• Lightweight specifications

Expert In:

• Compilers
• Communications and Access
• Computer Architecture
• Connectivity and Internet of Things

Expert In:

• Compilers
• Communications and access
• Computer architecture
• Connectivity and Internet of Things

Expert In:

• FPGA Architecture, applications, and compilers
• Digital systems
• Embedded computing systems
• Reconfigurable computing