InfoQ Homepage Interviews Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM
Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM
Bio
Adam Wick (@acwpdx ) leads the systems software group at R&D company Galois, Inc. Galois does research in formal methods, programming languages, OS, compiler engineering, and security. Adam has worked in a variety of fields from HW synthesis to web apps, but has recently focused on network and OS security. Amongst his current jobs, he also maintains HaLVM and oversees Galois' projects using it..
About the conference
Software is Changing the World. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.
Jan 08, 2016
Interview with
This content is in the QCon Software Development Conference topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsored Content
-
Popular across InfoQ
-
FastAPI-MCP: Simplifying the Integration of FastAPI with AI Agents
-
Amazon VPC Route Server Generally Available, Providing Routing Flexibility and Fault Tolerance
-
Anthropic's "AI Microscope" Explores the Inner Workings of Large Language Models
-
.NET 10 Preview 3: C# 14 Extension Members, ASP.NET Core State Persistence and Other Improvements
-
Java News Roundup: WildFly 36, Spring Milestones, Betas for Open Liberty, Hibernate, LangChain4j
-
Wenjie Zi on Technology and Organizational Aspects for ML Project Success
-