ケヴィン・ハモンド Kevin Hammond

IOGのテクノロジーマネージャー。関数型プログラミングでは35年の経験を持ち、グラスゴー大学で世界初のHaskellコンパイラを実装したことで知られ、その後も「グラスゴーHaskellコンパイラ」の設計と実装に携わる。
Haskell Committeeのメンバーであり、これまで130以上の研究論文を発表。関数型プログラミング、タイプ、リソース解析に関する研究で高い評価を得ている。
2019年からIOHKに参画。フォーマルメソッドとCardanoの実装チームの主要メンバーとして活躍。毎月配信されるIOGのアップデートで技術担当として度々登場する。

👈一覧へ戻る

委任のご協力をお願いします🙇‍♂️
●本稿はカルダノステークプール「Coffee Pool」が作成しました。 COFFEの活動を応援いただける方はぜひ、COFFEへの委任をいただけたらと思います!
NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb
cexplorer.ioでの情報はこちら↓