CONTACT US
Home > Programming Languages Expert #26452

Texas Programming Languages Expert #26452

I have 10 years of experience, and specialize in the field of high assurance software with specific knowledge in the areas of type systems, semantics and program analysis. I have published on such topics as program generation, advanced type systems and hardware description languages. I am the developer of the multi-stage programming paradigm, which is now part of .Net languages.

Request this expert witness

More Texas Expert Witnesses

Or Click On Your State Below

CALL US NEAR YOU

Dallas, TX
(214) 785-8955