Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, and Mobile Ad Hoc Networks.
Abstract 3950: Integrative analysis of acute and late radiotherapy effects using genome-wide transcriptomics and quantitative proteomics
Identifying Molecular Mechanisms of Tumor Radio resistance via High Throughput In Vivo MicroRNA Knock Down Screen
Glioma Invasion Confers Radioresistance
A MicroRNA Link Between Tumor Invasion and Radioresistance in Head-and-Neck Squamous Cell Carcinoma
Beneficial Effects of Combined Antiangiogenesis and Heavy Ion Radiation Therapy