AeroLeads people directory · profile
Md Tawhid Bin Waez, Phd Email & Phone Number
Founder and CEO
at
SysModeler, Inc.
1 work email found
@ford.com
LinkedIn matched
✓ Verified May 2026
4 data sources
Profile completeness 100%
Who is Md Tawhid Bin Waez, Phd? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Md Tawhid Bin Waez, Phd is listed as Founder and CEO at SysModeler, Inc., based in Canton, Michigan, United States. AeroLeads shows a work email signal at ford.com and a matched LinkedIn profile for Md Tawhid Bin Waez, Phd.
Md Tawhid Bin Waez, Phd previously worked as Founder & CEO at Robofication Llc and Stealth Mode – Preparing for RoboFication LLC at Robofication Llc. Md Tawhid Bin Waez, Phd holds Phd, Computer Science from Queen'S University.
Company email context
Email format at SysModeler, Inc.
This section adds company-level context without repeating Md Tawhid Bin Waez, Phd's masked contact details.
*@ford.com
68% confidence
AeroLeads found 1 current-domain work email signal for Md Tawhid Bin Waez, Phd. Compare company email patterns before reaching out.
Profile bio
About Md Tawhid Bin Waez, Phd
As the Founder and CEO of RoboFication LLC, I lead a company transforming systems engineering for safety-critical industries through Generative AI and formal methods. Our mission—“AI Agent as Systems Engineer”—is to revolutionize how complex products are engineered and certified. RoboFication’s platform integrates AI-driven automation with automated formal methods, providing end-to-end automation and precision from high-level requirements to low-level implementation, while reducing errors, costs, and time-to-market for industries like automotive, aerospace, defense and healthcare.With over 15 years of experience in safety-critical system development and research, I have been at the forefront of formal methods-based development since 2006. Throughout my decade-long career at Ford Motor Company, I led the development of ISO 26262-compliant processes, trusted autonomous systems, and software formal methods that improved reliability and precision in automotive systems development. My leadership extended to multi-disciplinary teams and cross-functional collaborations with institutions like MIT, University of Michigan, and the Technical University of Munich. I also collaborated with GM R&D from 2010 to 2014, where I developed correct-by-construction controller synthesis strategies, laying the groundwork for advanced systems engineering practices.At RoboFication, we are taking this expertise further by incorporating Large Language Models (LLMs) to automate traditionally manual systems engineering processes. Our platform combines LLMs with automated formal methods to provide precision at every step of the engineering lifecycle. This approach minimizes human error, ensures compliance with safety and regulatory standards, and reduces time-to-market by automating critical processes such as requirements modeling, implementation, verification, and certification. RoboFication’s platform guarantees that every system meets the rigorous safety standards demanded by industries where failure is not an option.I bring a unique blend of deep technical expertise and strategic leadership to RoboFication. With over 20 publications, including patents, journal papers, and conference papers, I have contributed to both academia and industry in the fields of real-time system modeling, controller synthesis, and formal verification. My experience leading large teams in multi-million-dollar projects, coupled with a track record of successfully delivering safety-critical systems, positions RoboFication as a leader in the next era of systems engineering.
Listed skills include Algorithms, Programming, Software Engineering, Latex, and 37 others.
Current workplace
Md Tawhid Bin Waez, Phd's current company
Company context helps verify the profile and gives searchers a useful next step.
12 roles
Md Tawhid Bin Waez, Phd work experience
A career timeline built from the work history available for this profile.
Founder & Ceo
CurrentAt RoboFication LLC, we’re revolutionizing how safety-critical industries—like automotive, aerospace, and defense—design, develop, and certify complex systems. By integrating artificial intelligence, large language models, and formal methods with advanced engineering practices, we automate the entire systems engineering process, ensuring faster, safer, and.
Jul 2024 - Present
Stealth Mode – Preparing For Robofication Llc
In this period, I was deeply engaged in research, prototype development, and laying the groundwork for RoboFication LLC. While exploring applications in financial markets and gamified AI childcare, I placed a strong emphasis on AI-based automated systems engineering. My work during this time included achieving breakthroughs in prototype functionality.
Jul 2023 - Jul 2024
Research Engineer: Technical Lead Of Av Formal Methods
I led formal active safety efforts for automated driving, focusing on prototyping intelligent and reactive simulation models of road participants to bridge the gap between virtual verification and validation (V&V) and real-world testing for autonomous vehicles. I led a diverse team of 18 engineers across controls, AI/ML, systems, software, simulation.
Jan 2018 - Jul 2023
Research Engineer: Technical Lead Of Software Formal Methods
I was responsible for automating and increasing the precision of Ford's software development systems engineering through automated formal methods. I led the development of company-wide ISO 26262: 6-compliant software V&V processes from 2015 to 2016.Between 2015 and 2017, I identified and resolved issues in over 50% of the requirements for several.
Oct 2014 - Dec 2017
Research Assistant
I was responsible for advancing the precision and scalability of safety-critical automotive systems through innovative modeling, verification, and correct-by-construction controller synthesis methods. I led the development of the Timed Process Automata (TPA) framework, enabling the scalable and precise representation of dynamic, hierarchical real-time.
Sep 2009 - Aug 2015
Teaching Assistant
Responsibilities:Helping the course instructor and the students to successfully continue Software Specification course
Sep 2010 - Dec 2010
Visiting Scientist
Responsibilities:Research on Methods and Tools for Debugging and Verification of Automotive Embedded Software
Sep 2014 - Sep 2014
Visiting Researcher
Responsibilities:Performing research on modelling and formal reasoning of runtime process creation, deletion, and resource allocation in adaptive continuous-time control systems (a.k.a. cyber-physical systems).
Jun 2013 - Jul 2013
Visiting Phd Student
Responsibilities:Performing research on property preservation for timed automata in its implementation and strategy preservation for timed game automata in its implementation
Oct 2012 - Dec 2012
Visiting Researcher
Responsibilities:Performing research on property preservation from real-time formal model to code execution and run-time verification for real-time systems.
Sep 2011 - Aug 2012
Research Assistant
Parallel And Real-Time Research Group, Bishop'S University
I focused on developing advanced methods for improving the safety and reliability of complex software systems, with an emphasis on applications in safety-critical industries. As part of my work, I developed the Communicating Visibly Pushdown Processes (CVP) framework, blending finite-state methods with context-free features to enhance the specification.
Sep 2006 - Apr 2009
3 education records
Md Tawhid Bin Waez, Phd education
Phd, Computer Science
Queen'S University
Msc, Computer Science
Bishop'S University
Bachelor Of Science (Bsc), Computer Science
North South University
FAQ
Frequently asked questions about Md Tawhid Bin Waez, Phd
Quick answers generated from the profile data available on this page.
What company does Md Tawhid Bin Waez, Phd work for?
Md Tawhid Bin Waez, Phd works for SysModeler, Inc..
What is Md Tawhid Bin Waez, Phd's role at SysModeler, Inc.?
Md Tawhid Bin Waez, Phd is listed as Founder and CEO at SysModeler, Inc..
What is Md Tawhid Bin Waez, Phd's email address?
AeroLeads has found 1 work email signal at @ford.com for Md Tawhid Bin Waez, Phd at SysModeler, Inc..
Where is Md Tawhid Bin Waez, Phd based?
Md Tawhid Bin Waez, Phd is based in Canton, Michigan, United States while working with SysModeler, Inc..
What companies has Md Tawhid Bin Waez, Phd worked for?
Md Tawhid Bin Waez, Phd has worked for Sysmodeler, Inc., Robofication Llc, Ford Motor Company, Modeling & Analysis In Software Engineering, Queen'S University, and General Motors.
How can I contact Md Tawhid Bin Waez, Phd?
You can use AeroLeads to view verified contact signals for Md Tawhid Bin Waez, Phd at SysModeler, Inc., including work email, phone, and LinkedIn data when available.
What schools did Md Tawhid Bin Waez, Phd attend?
Md Tawhid Bin Waez, Phd holds Phd, Computer Science from Queen'S University.
What skills is Md Tawhid Bin Waez, Phd known for?
Md Tawhid Bin Waez, Phd is listed with skills including Algorithms, Programming, Software Engineering, Latex, Simulations, C, Linux, and C++.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial