David Sands

About the Author

David Sands is a distinguished computer scientist and professor renowned for his pioneering contributions to programming language theory, security, and formal methods. With a career spanning over three decades, he has shaped the understanding of information flow security and trust models in software systems. Sands holds a PhD from the University of Edinburgh and has held positions at leading institutions, including Chalmers University of Technology in Sweden, where he continues to mentor the next generation of researchers. His work bridges theoretical foundations with practical applications, influencing standards in cybersecurity and software verification worldwide. Sands is a frequent speaker at international conferences and a committed advocate for open-source initiatives in academic computing.