uwendi (original) (raw)

Hello! I’m Wendi, a safety & software engineer based in Tokyo, Japan.

I have an educational background in software engineering and computer science. Early in my career, I engaged in teaching and research focused on formal methods for software construction, contributing to the development of tools for program refinement, formal verification, and proofs of correctness. Later, I transitioned to embedded-software development and software safety, initially in the railways industry, then in the automotive sector.

I have a strong interest in software tools (their development, quality, impact on safety, obsolescence management, etc.) , and in particular, compiler frameworks like LLVM. They are the glue between my previous experience (around people working on programming languages theory, compilers, algorithms and discrete structures, formal methods, and mathematical logic) and functional safety, where I’ve been growing in for more than a decade.

Let’s connect on LinkedIn! - https://www.linkedin.com/in/uwendi/