Showing 16 of 108 results for "Tenured/Tenure-Track Faculty"
  • Abhi Shelat

    Abhi Shelat is a professor at Khoury College specializing in cryptography and applied security. A recipient of awards from the NSF, Microsoft, Amazon, Google, and the ACM, he uses secure computation protocols to enable mutually distrusting parties, each with private inputs, to jointly compute functions while ensuring maximal privacy and correctness.

  • Weiyan Shi

    Weiyan Shi is an assistant professor in the Khoury College, jointly appointed with the College of Engineering. She is interested in NLP in the context of social influence dialogue systems such as persuasion, negotiation, and recommendation, as well as privacy-preserving NLP applications.

  • Ji-Yong Shin

    Ji-Yong Shin is an assistant professor at Khoury College. His research focuses on formal verification methods that can be applied to system designs, with additional interests in distributed systems, cloud storage systems, and operating systems.

  • Olin Shivers

    Olin Shivers is a professor at Khoury College. By focusing on the interaction between systems and higher-order typed programming languages, he can assist programmers in building robust, complex software.

  • David Smith

    David Smith is an associate professor at Khoury College. His research spans the fields of natural language processing, computational linguistics, information retrieval, machine learning, digital libraries, digital humanities, and political science.

  • David Stein

    David Stein is an assistant professor, jointly appointed between Khoury College and the School of Law. He studies the interplay between emerging technologies and legal institutions, and holds seven patents for digital identity and database management technologies.

  • Ravi Sundaram

    Ravi Sundaram is a professor at Khoury College and the former director of engineering at Akamai Technologies, where he helped build the world’s leading content delivery network. In his network and algorithms research, he devises efficient schemes to improve the performance of network-based applications.

  • Cheng Tan

    Cheng Tan is an assistant professor at Khoury College. His systems and security research focuses on building verifiable outsourced services and certified neural networks.

  • Zhi Tan

    Zhi Tan is an assistant professor at Khoury College. He studies how robots interact with the world and how they can be integrated with human users, each other, and intelligent systems.

  • Frank Tip

    Frank Tip is a professor at Khoury College and a former researcher with IBM and Samsung. He studies a host of software engineering and program analysis topics, including the use of program analysis in tools that make programmers more productive and software more reliable.

  • Alexandra To

    Alexandra To is an assistant professor at Khoury College, jointly appointed with the College of Arts, Media and Design. Her human–computer interaction research aims to uplift marginalized people, allowing them to access joy, play, and justice through tech.

  • Stavros Tripakis

    Stavros Tripakis is an associate professor at Khoury College. His research centers on formal methods, computer-aided verification and synthesis, security, and safety-critical, embedded, and cyber-physical systems.

  • Jonathan Ullman

    Jonathan Ullman is an associate professor at Khoury College whose research centers on the foundations of privacy for machine learning and statistics. Ullman has been recognized with an NSF CAREER award and the Ruth and Joel Spira Outstanding Teacher Award.

  • Alessandro Vespignani

    Alessandro Vespignani is the Sternberg Distinguished University Professor, and an interdisciplinary appointee between Khoury College and the Bouvé College of Health Sciences. He uses statistical and numerical simulation methods to study the behavior of complex biological, social, and technological networks.

  • Emanuele Viola

    Emanuele “Manu” Viola is a professor at Khoury College. Viola’s theoretical computer science research has included a wide variety of areas, including pseudo-randomness, cryptography, data structures, communication complexity, and circuit lower bounds. He has made fundamental contributions to the field, including solving long-standing open problems.

  • Jan Vitek

    Jan Vitek is a professor at Khoury College whose work has yielded advances in modern programming systems, with applications in information security, memory management, and real-time safety critical systems. He led the team that developed the first real-time Java virtual machine to be deployed on a Boeing unmanned aerial vehicle.