Below, you will find the research areas and contact information of our professors. If you are interested in doing research, please contact the professor directly.
|Strategic Reasoning Group
|Exploring how to reason and make decisions in the presence of multiple-agents, including teammates or adversaries. Evaluating performance of agents in these situations.
|Bioinformatics and Family History
|Phylogenetic Analysis applied to diagnosing Alzheimer’s disease from DNA samples, and developing Relative Finder and Descendancy Explorer.
|AI, Machine Learning, Multi-Agent Systems
|Developing machines and algorithms that learn from and collaborate with people to solve challenging problems.
|Network Measurement and Anti-Abuse of Internet
|Directs the Internet Measurement and Anti-Abuse Laboratory at BYU. Focuses on aspects of the Domain Name System.
|Real-time 3D Computer Graphics, Object-oriented Graphics, Vector field tools for CS and the Creation and Navigation of Virtual Environments.
|Fine-Grained Visual Categorization
|Training computers to find the highly-localized and often subtle characteristics that allow precise identification at the level of fine-grained categories.
|DRAGN Lab focuses on neural architectures for Conversational AI, in addition to machine learning, neural language models, and natural language understanding.
|Designing more powerful ways to mechanically analyze higher-order programs for correctness and performance. Also designing domain-specific languages which offer programmers domain-specific guarantees about their programs.
|Robotic Swarms and GUIs
|Simulated robotic swarms to assess steering effectiveness and energy expenditure, and GUIs for selecting trade-offs in multi-objective optimization problems.
|Emerging Technologies and User Experience
|Interactive computing in hiking and prototyping with 3D printers, circuits and software.
|Improved learning mechanisms for deep neural networks, document recognition and classification, and automatic composition of music.
|Test and Verification
|Test and verification in software engineering by pursuing automatic techniques for program verification for concurrent and sequential systems.
|Computer vision with cross-overs into image processing, computer graphics, robotics, machine learning and high-performance computing.
|Advanced Information Retrieval Applications
|Recommending items for children using the collaborative-filtering approaches and developing interactive game systems designated for children/adults with autism.
|Internet Security Research
|Designs and evaluates security tools including; secure email, secure chat, two-factor authentication, key management, certificate revocation and TLS security.
|Applied Machine Learning
|Semi-supervised machine learning that allows users to give feedback as the machine picks topics for documents, to interact and gain information from large quantities of text.
|Engineering Intelligent Systems
|Focuses on engineering and supporting distributed, high-throughput, low latency systems.
|Investigates algorithms for solving problems in computational biology, chemistry and physics. Finding efficient algorithms that can be run on parallel computers.
|His main areas of interest include neural networks, machine learning, artificial intelligence, evolutionary computation and computational creativity.
|Focuses on fundamental relationships between information, uncertainty and complexity. Key issues include approximation, learning, control, verification and optimization.
|Perception, Control, and Cognition Lab
|Their goal is to build agents that perform at human levels in complex tasks; improved depth estimation for augmented reality and high-level linguistic planning.
|Security and Usability
|Measuring the prevalence of proxies that intercept TLS connections, and developing operating system services for authenticating and securing internet connections.