Charles Tirone

MD

Charles Tirone.

Charles Tirone

MD

Charles Tirone

MD

Research Topics

Software; IT systems

Biography Research

Research Areas

  • Programming Languages and Software Engineering
    10/15/21
    Programming Language research focuses on type systems, program logics, language-based and differential privacy and security; language, compiler, and run-time design for reliable systems; static and dynamic analyses for real-time Android; run-time visualization and verification; adaptive memory management; language concepts for database programming; logic- and constraint-based systems.