header
Mooly Sagiv @ TLV
@TelAvivUniのチーフサイエンティスト@CertoraInc兼ソフトウェアシステム委員長