Augusto Sampaio とは

Augusto Cezar Alves Sampaioは、ブラジルのコンピュータ科学者であり、正式な方法と言語のセマンティクスを扱います。
ブラジル、ペルナンブコのレシフェのAugusto Sampaio。彼は、ペルナンブコ連邦大学(UFPE)のセントロ・デ・インフォマティカ(CIn)(1985年にはBSc、1988年には修士号を取得)を卒業しました。オックスフォード大学コンピューティングラボラトリー(1993年に修了)のTony Hoare教授の監督の下、PhDの研究に従事しました。 2016年7月、Sampaioは英国ヨーク大学でHonoris Causa博士号を取得しました。
Sampaioは、ペルナンブコ連邦大学の教授です。彼の主な貢献は、モデル変換と正式なモデルからのテストの自動生成の分野です。