Nagy Stefan
Stefan Nagy
Assistant Professor
snagy@cs.utah.edu
MEB 3446
Website | Google Scholar
Research Interests
Security / Privacy (Systems Security)
Nagarajan Vijay
Vijay Nagarajan
Professor
WEB 2897
Website | Google Scholar
Research Interests
Computer architecture, Programming Languages and Computer Systems with a focus on: Consistency Models, Coherence Protocols, Replication protocols, Language support for microarchitecture design, Correct-by-construction system design.
Marasovic Ana
Ana Marasovic
Assistant Professor
ana.marasovic@utah.edu
MEB 2166
Website | Google Scholar
Research Interests
Artificial Intelligence (Natural Language Processing)
Makarem Nabil
Nabil Makarem
Assistant Professor, Lecturer
nabil@cs.utah.edu
MEB 3124
Research Interests
Internet of Things, Congestion Control, CoAP
Isaacs Kate
Kate Isaacs
Associate Professor
kisaacs@sci.utah.edu
WEB 4660
Website | Google Scholar
Research Interests
Visual Computing (Visualization)
Greenman Ben
Ben Greenman
Assistant Professor
blg@cs.utah.edu
MEB 3252
Website | Google Scholar
Research Interests
Programming languages, gradual type systems, formal methods, human factors
Ricci Robert
Robert Ricci
Research Associate Professor
ricci@cs.utah.edu
MEB 3490B | 801.581.8354
Website | Google Scholar
Research Interests
High-Performance Computing (Scalable Systems); Systems (Networking, Scalable Systems); Security / Privacy (Systems Security)
Eide Eric
Eric Eide
Research Associate Professor
eeide@cs.utah.edu
MEB 3476 | 801.585.5512
Website | Google Scholar
Research Interests
High-Performance Computing (Scalable Systems); Systems (Networking, Scalable Systems); Programming Languages (Formal Verification and Testing); Security / Privacy (Systems Security)