2、密码学研究中的Cathy Meadows与相关技术探讨-优快云博客

本文链接：https://blog.youkuaiyun.com/ios99/article/details/153502799

密码学研究中的Cathy Meadows与相关技术探讨

1. 与Cathy Meadows的共事回忆

1989年，我来到美国海军研究实验室（NRL）的形式方法部门工作。当时我还未完成博士论文，本打算完成后去大学任职，但三十年后我仍留在NRL，这很大程度上要归功于Cathy Meadows。尽管她事务繁忙，但总是愿意为我解答研究问题、提供合作建议、解决资金和官僚障碍等方面的反馈。很多次我带着自认为可行的想法找她，结果都被她彻底修改或完善，让我避免了许多失误，走向成功。

早期，除了部门主管John McLean，我们部门的人都在16号楼的一个房间里。我们用临时隔板隔出各自的办公空间。走廊的铁丝笼里有我们猜测是托马斯·爱迪生为NRL制造的第一台自动电梯的电机，按电梯按钮时，办公室里能听到继电器的声音，在走廊还能闻到臭氧味。Cathy成为部门主管一年左右后，拥有了自己的办公室，之前这个办公室放着复印机，从窗户能看到污水处理厂的“沉砂池”建筑。

Cathy虽然不像我和其他一些同事那样张扬，但也是我们奇特内部笑话的积极参与者。比如有一次一位同事关于多态类型的错误评论后，接下来几年里，我们有人犯错时，大家就会说“谢天谢地Luca Cardelli不在这里”。九十年代，我和Cathy在加州参加会议，取车时发现车被升级为金属水蓝色野马，她马上称它为“攻击潜艇”。

Cathy不仅参与了无数会议、研讨会和工作坊的主持，还多次担任程序委员会成员和期刊审稿人。她担任部门经理近三十年，处理了大量官僚事务，但同时还能做出令人钦佩的研究成果。我甚至怀疑她不是普通人，很难找到更合理的解释来形容她的能力。