소개

Hillel Wayne은 미국 시카고를 기반으로 활동하는 소프트웨어 컨설턴트, 정형 기법(Formal Methods) 교육자이자 기술사 연구자입니다.

소프트웨어 산업계에 정형 명세 및 검증 기법을 대중화한 대표적 인물로, 저서인 『실전 TLA+(Practical TLA+)』와 『프로그래머를 위한 논리학(Logic for Programmers)』으로 잘 알려져 있습니다. TLA+ 및 Alloy를 활용하여 복잡한 분산 시스템과 동시성 모델을 결함 없이 설계하도록 기업들을 돕고 있으며, 전통 공학과 소프트웨어 공학의 역사적 비교 연구로도 큰 주목을 받았습니다.

개인 블로그 hillelwayne.com을 통해 정형 기법, 속성 기반 테스트(Property-based Testing), 타입 시스템 및 소프트웨어 개발 문화에 관한 깊이 있고 명쾌한 글을 꾸준히 공유하고 있습니다.