While there may be debate about who technically holds the title, Meltzer is widely recognized for her pioneering work in the field. Her dissertation focused on "Methods for Synthesizing Programs from Their Specifications," which is a significant contribution to the field of software engineering.