21 experts in "program analysis" found:

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:

• Program analysis and optimization
• Computer architecture
• Computer security
• Information technology for development

Expert In:

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

Expert In:

• Cost-effectiveness analysis
• Program evaluation and cost-benefit analysis
• Community psychology
• Health psychology

Expert In:

• Cooperative mobility program
• Social trend analysis
• Aging trend
• Automobile and environment

Expert In:

• Pointer analysis
• Program verification
• Static analysis
• Compilers

Expert In:

• Foreign workers program
• Labour market analysis
• Human capital
• Labor economics

Expert In:

• Occupational analysis development
• Program competency profile development
• Adult education
• Computer based training

Expert In:

• Aerospace industry analysis
• Global airline industry program
• Aerospace systems
• Air transportation economics

Expert In:

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

Expert In:

• Information systems analysis
• Programming languages

Expert In:

• Hyperbolic programming
• Numerical analysis and algebra
• Algorithmic problems
• Convex optimization

Expert In:

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

Expert In:

• Linear programming
• Numerical analysis
• Finite element method
• Mathematical biology

Expert In:

• Data analysis
• Programming
• Mechanical
• Numerical simulation

Expert In:

• Embedded system design with field programmable gate array
• Multi-channel analysis of electroencephalogram
• Classification of heart murmur
• Linear and nonlinear modeling of time series

Expert In:

• Marx's analysis of wages and business cycle
• Structural reform programs
• Economic reform in Latin America
• Foreign direct investment in Argentina

Expert In:

• Approximate dynamic programming
• Operations strategy and performance analysis
• Business analytics
• Innovation management

Expert In:

• Economics of transfer programs
• Policy and analysis
• Econometrics
• Economics of government tax

Expert In:

• Institutional analysis
• Microcredit programs in United States
• Collaborative governance
• Common-pool resource governance