ケヴィン・ハモンド Kevin Hammond

カルダノ用語集

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

👈一覧へ戻る

委任のご検討をお願いします☕️


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

NAME:CoffeePool2☕️
Ticker:CAFFE
Poolid:pool1lugxr82p89qm35spzwccle405t5dfdznhrasyrtr2cyv2vyfud6 

[COFFE] CoffeePool️
pool1r55hyfrd3tw6nzpkvf4rfceh2f04yph92fc462phnd0akp2s5r6