Caltech

University of Massachusetts Amherst

Florida State University

Principal Scientist at Galois, Inc.

Sequent Tech

Member of The Board of Advisors

Free & Fair

Principled CEO and Chief Scientist

Galois, Inc.

Principal Scientist

CEO and Chief Scientist.  I perform expert witness and high-end IT consultancy in the areas of applied formal methods and information security, particularly for critical systems that must be correct and secure or there is potential loss of life or extreme financial implications.

KindSoftware

Owner

I help set the technical direction and lead research and engineering on Cryptol.

Formaltech Inc

Principal Engineer

I was a Professor at the Technical University of Denmark and the Head of the Software Engineering Section.

Technical University of Denmark

Professor

I was also a Guest Professor at the IT University of Copenhagen (aka ITU). There I was a member of the Software Development Group and the Programming, Logic, and Semantics Group. I led the KindSoftware research group, co-led the DemTech research project, and was a part of the VARIES research project.

IT University of Copenhagen

Guest Professor

I was an Associate Professor at the IT University of Copenhagen (aka ITU) through the end of August 2012.  Henceforth I am a Guest Professor at ITU.  I am also a member of the Software Development Group, the Programming, Logic, and Semantics Group, an affiliated member of the Center for Computer Games Research, a member of the Software Engineering Cluster, and a member of the Models research group. I lead the KindSoftware research group. I was also a member of the IT Group for ITU which sets strategy, goals, and priorities for IT infrastructure and support for the university. Finally, I was a member of the ITU Board of Directors, which is the superior authority for the university.

Associate Professor

Lero - The Irish Software Engineering Research Centre

Senior Researcher

Conducted and managed research in applying formal methods to software product lines.

Lero

Academic Researcher

Kansas State University

Visiting Researcher

I am a lecturer (effectively, an assistant professor holding a permanent post, for those in North America) in the Department of Computer Science at the National University of Ireland, Dublin (aka University College Dublin).  I perform research, have students, teach courses, etc.

University College Dublin

Lecturer

Lecturer in Computer Science and Informatics

Performed research in software correctness, security, verification, theorem proving, and more.

University of Nijmegen

Postdoctoral Scholar

Dept. of Computer Science, University of Nijmegen

Senior Consultant to Sprint's Internet Division; the project that provided nationwide Internet service. Overall technical consulting lead on entire project.  The ISP was eventually purchased by Earthlink.

Sprint Multimedia/Internet Division

Senior Consultant; Distributed Systems Architect

California Institute of Technology

PhD Candidate

Member of the World Wide Web group of the Research Institute.  Responsible for a variety of internal papers and reviews and contributions to a range of projects.

Joseph Kiniry