School of Engineering
Showing 81-100 of 2,225 Results
-
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.
-
Gustavo A. Araujo R.
Ph.D. Student in Civil and Environmental Engineering, admitted Winter 2023
Current Research and Scholarly InterestsSeismic hazard and risk analysis.
Nonlinear finite-element modeling of civil structures.
Reinforced concrete wall buildings and moment-resisting frames.
Hybrid mass timber-steel systems. -
Bella Archibald
Ph.D. Student in Bioengineering, admitted Autumn 2021
BioBella works in Professor Jennifer Brophy’s lab, and her research focuses on developing new tools to precisely engineer plants and plant root development. She hopes to create plants that are more drought tolerant and climate resilient, as well as plants with optimized root structures for enhanced bioremediation and resource recovery.
Outside of the lab, Bella loves skiing, hiking, and dancing, and her favorite flower is the Arrowleaf Balsamroot. -
Sarah Arnold
Ph.D. Student in Bioengineering, admitted Autumn 2025
Masters Student in Bioengineering, admitted Summer 2026Current Research and Scholarly InterestsEngineering approaches for understanding and treatment of psychiatric disorders.
