School of Engineering
Showing 1-50 of 1,163 Results
-
Shray Alag
Masters Student in Computer Science, admitted Autumn 2022
BioClass of 2025, Computer Science/Computational Biology
Research Publications:
Alag S (2020) Unique insights from ClinicalTrials.gov by mining protein mutations and RSids in addition to applying the Human Phenotype Ontology. PLoS ONE 15(5): e0233438. https://doi.org/10.1371/journal.pone.0233438.
Alag S (2020) Analysis of COVID-19 clinical trials: A data-driven, ontology-based, and natural language processing approach. PLoS ONE 15(9): e0239694. https://doi.org/10.1371/journal.pone.0239694.
Alag, Shray. 2020, July 31. Extracting Unique Insights by Mining Single Nucleotide Polymorphisms from ClinicalTrials.gov and Applying the Human Phenotype Ontology [Presenter]. Society for Clinical Trials.
Proficient in Python, Java, Bash, Octave, Mathlab. -
Leni Aniva
Ph.D. Student in Computer Science, admitted Autumn 2022
Current Research and Scholarly InterestsMy main research interest is Machine-Assisted Theorem Proving, which refers to using machine-learning agents to find proofs of mathematical theorems and conduct reasoning. We are pursuing a hybrid algorithm between neural networks and SMT solvers to solve some of the long standing problems facing machine learning models today such as opaqueness, hallucinations, and information leakage. I also do research on SMT solvers and automatic verifications of programs.
