Serdar Tasiran

Title: The Innovations of Serdar Tasiran

Introduction

Serdar Tasiran is a notable inventor based in New York, NY (US). He has made significant contributions to the field of software development, particularly in the area of software verification. With a total of 4 patents to his name, Tasiran is recognized for his innovative approaches to transitioning legacy software and automating software verification processes.

Latest Patents

One of Tasiran's latest patents is focused on transitioning legacy software to be provably correct. This patent outlines a software development process that supports the transition from unverifiable, legacy code to verifiable code that is provably correct by construction. The process involves developing a behavioral model for legacy software that includes various behavioral criteria. Source code implemented in a verifiable language is then verified using this behavioral model. Once the source code is complete and verified, a new verified implementation is compiled and executed alongside the legacy software to identify behavioral differences. These differences are fed back into the behavioral model and the new source code, allowing for an iterative process until the behavioral differences are resolved.

Another significant patent by Tasiran is an automated software verification service. This method involves determining when a new version of the source code is available and selecting one or more verification tools for its verification. A plurality of verification tasks is automatically determined from a verification specification associated with the source code. These tasks are then performed using the selected verification tools, ultimately determining whether the new version of the source code is verified.

Career Highlights

Serdar Tasiran is currently employed at Amazon Technologies, Inc., where he continues to innovate in the field of software development. His work focuses on enhancing the reliability and correctness of software systems, which is crucial in today's technology-driven world.

Collaborations

Throughout his career, Tasiran has collaborated with talented individuals such as Sean McLaughlin and Neha Rungta. These collaborations have contributed to the advancement of his projects and the successful implementation of his innovative ideas.

Conclusion

Serdar Tasiran's contributions to software development and verification are noteworthy. His patents reflect a deep understanding of the challenges in transitioning legacy systems and ensuring software correctness. His work continues to influence the field and pave the way for future innovations.