Expert In:

• Program analysis
• Automated testing
• Computer security
• Formal methods

Expert In:

• Automated program analysis
• Program Verification
• Abstract Interpretation
• Application security

Expert In:

• Static and dynamic program analysis
• Programming languages
• Autonomous vehicles
• Blockchain

Expert In:

• Pointer analysis
• Program verification
• Static analysis
• Compilers

Expert In:

• Comprehensive Engineering program
• Failure analysis, modelling, and projection
• Advanced and nano- materials
• Authentic technical teaching and assessment modalities

Expert In:

• Energy Policy Analysis
• Math Programming Models of Market Equilibrium
• Decomposition of Equilibrium Models
• Electricity Market Models

Expert In:

• Data analysis
• Programming
• Mechanical
• Numerical simulation