Description: formal methods in software engineering
formal methods (46) kindsoftware (1)
Joe Kiniry starts work as a Principal Investigator at Galois in Portland, Oregon.
Joe Kiniry resigns his professorship at DTU to return to the USA and industry. In January he will be a Principal Investigator at Galois in Portland, Oregon.
A paper " Formal Model-based Validation for Tally Systems " by Joseph Kiniry and Dermot Cochran has been accepted to VoteID'13 . A paper " A Rigorous Methodology for Analyzing and Designing Plug-Ins " by Marie Fasie, Anne Haxthausen , and Joseph Kiniry has been accepted to TOPI'13 .