World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
30
Citations
4729
World Ranking
13985
National Ranking
5557

Overview

Nikhil Swamy is primarily affiliated with Microsoft in the United States. Their research spans multiple fields and topics, with a focus on computer science and materials science. The main areas of study include artificial intelligence, materials chemistry, electronic, optical and magnetic materials, industrial and manufacturing engineering, and computer networks and communications.

Their research topics cover a range of subjects, such as logic, programming, and type systems, distributed systems and fault tolerance, security and verification in computing, formal methods in verification, magnetic and transport properties of perovskites and related materials, ferroelectric and piezoelectric materials, and multiferroics and related materials.

Recent publications by Nikhil Swamy include:

  • SteelCore: an extensible concurrent separation logic for effectful dependently typed programs, 2020, Proceedings of the ACM on Programming Languages
  • Steel: proof-oriented programming in a dependently typed concurrent separation logic, 2021, Proceedings of the ACM on Programming Languages
  • Review of Soft Computing Techniques in Monitoring Cardiovascular Disease in the Context of South Asian Countries, 2023, Applied Sciences
  • Duranta erecta leaf Extract-Mediated green synthesis of zinc oxide nanoparticles with antimicrobial applications, 2025, Inorganic Chemistry Communications
  • Artifact for Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic, 2021, Artifact Digital Object Group

Frequent coauthors in their work include Aymeric Fromherz, Denis Merigoux, Guido Martínez, Tahina Ramananandro, and Sarah Fakhoury.

Common publication venues where their research appears include:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • ECS Journal of Solid State Science and Technology
  • Artifact Digital Object Group
  • Applied Sciences

Best Publications

  • Formal Verification of Smart Contracts: Short Paper

    Karthikeyan Bhargavan;Antoine Delignat-Lavaud;Cédric Fournet;Anitha Gollamudi

  • Defeating script injection attacks with browser-enforced embedded policies

    Trevor Jim;Nikhil Swamy;Michael Hicks

  • Dependent types and multi-monadic effects in F*

    Nikhil Swamy;Cătălin Hriţcu;Chantal Keller;Aseem Rastogi

  • Secure distributed programming with value-dependent types

    Nikhil Swamy;Juan Chen;Cédric Fournet;Pierre-Yves Strub

  • Verified Security for Browser Extensions

    Arjun Guha;Matthew Fredrikson;Benjamin Livshits;Nikhil Swamy

  • Fable: A Language for Enforcing User-defined Security Policies

    N. Swamy;B.J. Corcoran;M. Hicks

  • Safe & Efficient Gradual Typing for TypeScript

    Aseem Rastogi;Nikhil Swamy;Cédric Fournet;Gavin Bierman

  • Quantum computing applications of genetic programming

    Lee Spector;Howard Barnum;Herbert J. Bernstein;Nikhil Swamy

  • Finding a better-than-classical quantum AND/OR algorithm using genetic programming

    L. Spector;H. Barnum;H.J. Bernstein;N. Swamy

  • Verifying higher-order programs with the dijkstra monad

    Nikhil Swamy;Joel Weinberger;Cole Schlesinger;Juan Chen

  • Verified Low-Level Programming Embedded in F*

    Jonathan Protzenko;Jean Karim Zinzindohoue;Aseem Rastogi;Tahina Ramananandro

  • Fully abstract compilation to JavaScript

    Cedric Fournet;Nikhil Swamy;Juan Chen;Pierre-Evariste Dagand

  • Probabilistic relational verification for cryptographic implementations

    Gilles Barthe;Cédric Fournet;Benjamin Grégoire;Pierre-Yves Strub

  • Finding and removing performance bottlenecks in large systems

    Glenn Ammons;Jong-Deok Choi;Manish Gupta;Nikhil Swamy

  • Enforcing stateful authorization and information flow policies in fine

    Nikhil Swamy;Juan Chen;Ravi Chugh

  • Implementing and Proving the TLS 1.3 Record Layer

    Antoine Delignat-Lavaud;Cedric Fournet;Markulf Kohlweiss;Jonathan Protzenko

  • Cross-tier, label-based security enforcement for web applications

    Brian J. Corcoran;Nikhil Swamy;Michael Hicks

  • Gradual typing embedded securely in JavaScript

    Nikhil Swamy;Cedric Fournet;Aseem Rastogi;Karthikeyan Bhargavan

  • Everest: Towards a Verified, Drop-in Replacement of HTTPS

    Karthikeyan Bhargavan;Barry Bond;Antoine Delignat-Lavaud;Cédric Fournet

  • Verified implementations of the information card federated identity-management protocol

    Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon;Nikhil Swamy

  • Secure distributed programming with value-dependent types

    Nikhil Swamy;Juan Chen;Cédric Fournet;Pierre-Yves Strub

  • EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

    Jonathan Protzenko;Bryan Parno;Aymeric Fromherz;Chris Hawblitzel

Frequent Co-Authors

Cédric Fournet
Cédric Fournet Microsoft (United States)
Michael Hicks
Michael Hicks University of Maryland, College Park
Karthikeyan Bhargavan
Karthikeyan Bhargavan French Institute for Research in Computer Science and Automation - INRIA
Markulf Kohlweiss
Markulf Kohlweiss University of Edinburgh
Bryan Parno
Bryan Parno Carnegie Mellon University
Benjamin Livshits
Benjamin Livshits Imperial College London
Benjamin G. Zorn
Benjamin G. Zorn Microsoft (United States)
David Walker
David Walker Princeton University
Yuri Gurevich
Yuri Gurevich University of Michigan–Ann Arbor
Gordon Plotkin
Gordon Plotkin University of Edinburgh

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA provides a strong foundation, but exploring related online degrees can expand your opportunities and career pathways. For those seeking advanced qualifications in less time, consider pursuing one of the quickest cheapest masters degree options. These accelerated programs can help you upskill quickly while minimizing tuition costs and time away from work.

If you're aiming for long-term career growth, researching the most useful masters degrees is key. Computer Science consistently ranks among the most in-demand graduate programs, opening doors to roles in artificial intelligence, cybersecurity, data science, and software engineering.

Not ready for a master’s? An online associate degree can be a cost-effective way to enter the IT field, build practical skills, or prepare for further education. Associate programs are typically more affordable and flexible.

If budget is a priority, explore the most affordable online colleges. These institutions offer quality computer science programs designed to work with various budgets, helping you achieve your career goals without excessive student debt.

Best Scientists Citing Nikhil Swamy

Trending Scientists