ケヴィン・ハモンド Kevin Hammond

カルダノ用語集

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

👈一覧へ戻る

委任のご検討をお願いします☕️
本稿はカルダノステークプール「CoffeePool☕️」が作成しました。
COFFEの活動を応援いただける方はぜひ、委任(デリゲート)のご検討をお願いいたします😊
 TickerまたはPoolIDをクリック(タップ)するとコピーできます。

NAME:CoffeePool☕️
Ticker:COFFE
Poolid:1d2972246d8adda98836626a34e337525f5206e552715d28379b5fdb 

cexplorer.ioでの情報はこちら↓

タイトルとURLをコピーしました