IOGのテクノロジーマネージャー。関数型プログラミングでは35年の経験を持ち、グラスゴー大学で世界初のHaskellコンパイラを実装したことで知られ、その後も「グラスゴーHaskellコンパイラ」の設計と実装に携わる。
Haskell Committeeのメンバーであり、これまで130以上の研究論文を発表。関数型プログラミング、タイプ、リソース解析に関する研究で高い評価を得ている。元セント・アンドリュース大学教授。
2019年からIOHKに参画。フォーマルメソッドとCardanoの実装チームの主要メンバーとして活躍。毎月配信されるIOGのアップデートで技術担当として度々登場する。
本稿はカルダノステークプール「CoffeePool☕️」「CardanoKissa☕️」が作成しました。
COFFEの活動を応援いただける方はぜひ、委任(デリゲート)のご検討をお願いいたします😊
TickerまたはPoolIDをクリック（タップ）するとコピーできます。
NAME：CardanoKissa☕️
Ticker：KISSA
[KISSA] CardanoKissa
pool1lugxr82p89qm35spzwccle405t5dfdznhrasyrtr2cyv2vyfud6
————————————————–
NAME：CoffeePool☕️
Ticker：COFFE
[COFFE] CoffeePool️
pool1r55hyfrd3tw6nzpkvf4rfceh2f04yph92fc462phnd0akp2s5r6
————————————————–
🗳️「DRep ID」もぜひご検討ください！（クリックでコピーできます↓）
DRep NAME ： hix_coffeepool
【新IDの場合はこちら↓】
drep1ygnh2uf4wkc8ldgfxwz7rzuga3m8jtqew9xh5g3n587mg6g3ge0sj
【旧IDの場合はこちら↓】
drep1ya6hzdt4kplm2zfnshschz8vweujcxt3f4azyvaplk6xjyw262e
初心者でも長期ホルダーでも、楽しくカルダノ について語り合える discordスペースを作りました😊☕️
・なりすましやscam対策のためXアカウント認証で運営😊
・初心者ホルダーさん大歓迎！☕️
SPOも続々参加しています！ ぜひお気軽にお立ち寄りください。
参加方法は☟
discord.gg/TNy7QNua7c
