如您所知，Solidity 是一个**开源社区项目**，主要由核心团队开发和维护。
今天，我们想向大家介绍一些团队成员，并分享他们专业背景的见解，他们主要负责 Solidity 的哪些部分，他们希望未来在 Solidity 和生态系统中看到什么等等！由于我们几乎所有的工作都发生在 Github 上，因此您可以在每个团队成员的名字旁边找到他们的 Github 账号。
在我们深入了解之前，应该注意的是，我们非常感谢所有社区的贡献！我们的一些核心团队成员甚至是从社区贡献者开始的，不用说，Solidity 真正依赖于其开发者和贡献者社区的反馈、错误报告、功能请求、工具和对语言设计的意见。如果您想了解更广泛的社区贡献者，您可以在Solidity 5 岁生日帖子中找到我们部分顶级贡献者的集合，也可以浏览Solidity Github 仓库.
现在，让我们开始认识 Solidity 背后的部分成员吧！我们很幸运能将这个规模虽小但国际化、友好且充满智慧的群体称为我们的团队。
Alex - @aarlt
你的专业背景是什么？
在加入 Solidity 之前，我主要在汽车行业担任软件工程师，专门从事嵌入式系统。我从事 AUTOSAR 的工作——汽车行业中使用的标准化软件架构。我帮助开发了 AUTOSAR RTE——AUTOSAR SWC（软件组件）的运行时环境（或中间件）。我还实现了一些基本的 AUTOSAR BSW 模块。除此之外，我还从事基于 V2X 的通信技术。V2X 用于指代“车辆到一切”通信，包括车到车、车到基础设施等等。这类通信技术对于提高安全性以及支持自动驾驶特别有用。通过这项技术，车辆不仅限于使用自己的传感器数据，还可以访问周围车辆、基础设施实体（例如交通信号灯）、行人等发送的信息。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
我从 2018 年开始在空闲时间为 Solidity 做贡献。今年 2 月，我加入了团队。现在，我不会说我只专注于某一部分。过去我从事过不同的工作：我从事过构建系统，对测试基础设施进行了一些工作，修复了一些错误，从事过代码生成器。最近，我正在为我们的语义测试添加对 ewasm 的支持。因此，除了针对经典的 evm1 虚拟机执行我们的测试之外，还可以使用 ewasm 虚拟机来验证生成的 evm1 代码的语义与生成的 ewasm 代码的语义是否相同。
你希望未来在 Solidity 中看到什么？
我认为 Solidity 需要尽快支持对更复杂表达式和函数的编译时求值。如果结果可以在编译时计算出来，就没有必要在昂贵的链上环境中执行该计算。所有可以在编译时完成的事情都应该在编译时完成。
Alex - @axic
你的专业背景是什么？
我一直对开源感兴趣。在我“职业生涯”之前，我曾是 MPlayer 和FFmpeg的早期贡献者，因此我最初的付费职位也围绕着多媒体展开。准确地说，主要是关于视频编码和流媒体，主要是在嵌入式资源受限的设备上。在某个时候，我转向金融软件（支付系统）工作了很多年，不幸的是，是在封闭源代码的环境中。这为我在比特币创业公司工作奠定了良好的基础，最终在 Frontier 发布后的 2015 年底来到了以太坊。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
我主要负责设计讨论和作为联合负责人协助管理相关工作。当时间允许并且我有机会编写代码时，我通常会发现自己正在处理 Yul 或最近的 SMTChecker。
由于我参与了以太坊的其他部分，我试图弥合其他技术团队和 Solidity 之间的差距。
你希望未来在 Solidity 中看到什么？
短期目标：使用新的 Yul IR 编译 Eth2 存款合约、Uniswap V2 和 Gnosis Safe，并能够使用 SMTChecker 对其进行“验证”。
长期目标：希望该语言能够从以继承为中心的的設計中发展。在使用 Rust 后，我真的很喜欢 Rust 的某些方面，特别是 trait、枚举和部分模块系统。去年年底，我分享了一些混合 Rust-Solidity 语言的示例代码，但考虑到我们的特殊需求，完全照搬 Rust 并不明智。我们已经就这些主题进行了大量的讨论，所以我非常有希望。
Bhargava - @bshastry
你的专业背景是什么？
我毕业于柏林工业大学，获得计算机科学博士学位。我的博士论文重点研究开发技术，以更快地发现开源软件中的安全漏洞。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
在 Solidity 团队中，我的职责是帮助团队尽快发现错误和安全问题，最好是在即将发布之前。更具体地说，我为不同的编译器子系统（例如，编译器前端、优化器等）开发语义模糊测试器。
你空闲时间喜欢做什么？
我喜欢查找流行的开源软件实现中的安全问题，并在我的个人博客https://bshastry.github.io/blog上发表我的经验。我还喜欢随着正在播放的电子音乐的节奏敲打最近的家具。
Chris - @chriseth
你的专业背景是什么？
在学习期间，我从事过与维基百科和生物多样性相关的不同小型开源项目。在我获得计算复杂性理论博士学位后，我从事多目标优化和结构复杂性理论的研究，并在传统的封闭源代码软件行业积累了一些经验。2014 年，我启动了 Solidity 项目，并且非常享受专业自由软件世界的开放协作，其精神与研究社区非常相似。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
在 Alex Beregszaszi 的帮助下，我领导着 Solidity 团队。这意味着我做了很多代码审查和设计工作，但也有足够的时间来编写代码。我最喜欢的项目部分是 Yul 优化器，因为您可以通过微小但经过深思熟虑的组件产生很大影响。
你希望未来在 Solidity 中看到什么？
对我来说，最大的回报是看到人们在你自己的工作的基础上构建对人类有益的东西。从广义上讲，我认为我们应该简化重用其他人创建的安全且经过测试的 Solidity 代码。因此，我认为泛型或模板等功能应该是 Solidity 的下一个重点。
Christian - @christianparpart
你的专业背景是什么？
多年来，我从事过各种各样的工作，从印刷行业的 C++ 开发人员开始，到其他语言，如 C#/.NET、C（在 Solaris 上），然后是 Ruby，再到 Linux 数据中心相关的工作，专注于高可用性相关的项目，最后转向中层管理。使用 C++ 编程和编译器相关主题是我一直以来最喜欢的。所以转向下一步工作感觉很自然。在那条道路上，我做的一件事是实现一个专有的命令行解释器，以及从语言设计到编译器实现到自定义虚拟机的特定领域语言。我真的很享受，现在，我很高兴能参与 Solidity 编译器的工作。
你在 solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
虽然修复错误始终很重要，但我最喜欢的是句法分析。此外，Yul IR 非常有趣，我期待着帮助推动我们的 Yul 代码生成器。有一些很有趣的日常任务，但也包括将编译器的 C++ 标准从 C++11 移动到 C++14，并在去年年底将其移动到 C++17，这是一项艰巨的任务。除此之外，我还开发了一个概念验证的 Solidity 语言服务器，我希望它将来能够成为 Solidity 项目的正式一部分。
你希望未来在 Solidity 中看到什么？
在过去的几年里，我深入研究了函数式编程语言，尤其是 F#。这段经历深刻地改变了我今天使用 C++ 的方式。我希望 Solidity 也能具备一些通常在函数式编程语言中找到的功能，例如：默认不可变、代数数据类型和模式匹配。
Daniel - @ekpyron
你的专业背景是什么？
我受过数学训练，但在学习期间，我就开始兼职担任软件开发人员。其中，我为现场电子音乐的交互式实时可视化项目构建了 3D 图形引擎，以及 3D 手机游戏的引擎，还在大型分子动力学模拟软件和机器学习方面工作，然后才加入 Solidity 团队（同时我还在兼职撰写我的博士论文）。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
我认为到目前为止，我已经以某种方式接触过编译器的几乎每个组件。最近，我发现自己审查的代码比实际编写的代码多，但我仍然喜欢讨论和实现新的语言功能，帮助完成新的 IR 代码生成路径，特别是设计和实现 Yul 优化器的新优化步骤，以及基本上出现的任何其他事情。
你希望未来在 Solidity 中看到什么？
我正在进行的博士论文是关于“计算形而上学”（即应用自动化、计算机化的形式推理技术于抽象哲学理论），所以基本上我是在为哲学家进行形式验证。Leo 目前正在通过 SMTChecker 将形式化方法直接集成到 Solidity 编译器中，但我们也在考虑为 Yul 优化器赋予形式化推理能力，我认为在这一领域还有更多有趣的创新，无论是用于可证明正确的优化还是编译器中的代码生成，还是作为语言中的构造来帮助推理，所以我希望看到更多这样的发展。还有copyof。以及功能完整的 Yul IR 代码生成和 Yul 内存对象。
Đorđe - @mijovic
你的专业背景是什么？
我的职业背景非常有趣。我最初在一家小型公司工作，为意大利VLT市场开发赌场游戏。之后，我在微软Office Sway团队工作。然后，我决定尝试在InsideMaps和Wolf3d这样的创业公司工作环境中工作。在这两家公司，我一直在从事计算机视觉算法的工作。我的区块链之旅始于2020年2月加入Solidity团队。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
到目前为止，我主要从事Solidity的IR部分工作，实现了将Solidity源代码转换为中间表示（Yul）的新功能。最近，我开始更多地参与SMTChecker（Solidity的形式化验证工具）的工作，这对我来说非常有趣。个人而言，我希望尽快完成IR和SMT，覆盖所有Solidity功能。
是什么促使你加入Solidity团队的？
第一次参与开源项目对我来说非常有动力，尤其是结合了像区块链这样令人兴奋且潜力巨大的环境。
Franzi - @franzihei
你的专业背景是什么？
在学习国际商务管理之后，我加入了innogy创新部门，担任项目经理，后来担任投资组合经理，专注于分布式技术和区块链（以及它们对能源行业的影响）。作为其中一部分，我参与了几个能源与区块链项目，例如Co-tricity和Share&Charge。之后，我成为区块链开发工作室brainbot的传播主管，然后决定加入Solidity团队。 :)
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
我为团队提供沟通和项目管理方面的支持。这包括维护所有沟通渠道，例如@solidity_lang Twitter和Solidity博客，组织会议和黑客马拉松，例如今年的Solidity峰会和即将举行的Solidity Underhanded竞赛，以及探索各种促进Solidity核心团队与更广泛的Solidity生态系统之间更好交流的工具。这些工作主要侧重于促进语言设计过程，例如通过solidity-users论坛进行语言设计讨论和更新。
你希望未来在Solidity生态系统中看到什么？
我们正在构建一个强大的Solidity生态系统，由工具构建者、审计师、安全研究人员、超级用户和贡献者组成，他们都会定期参与相关的语言设计讨论。我希望看到这个生态系统稳步发展，并希望我们找到良好的互动模式来加强不同利益相关者之间的交流。我还希望我们能够不断发展，并最终为语言设计定义一个透明且轻量级的流程，从而促进协作和创新。
Hari - @hrkrshnn
你的职业背景是什么？
我最近获得了数学学位（我喜欢几何、拓扑、双曲几何等）。在学习期间，我还曾在Zuse研究所参与线性规划求解器的开发工作。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
现在，我非常喜欢Yul优化器的工作。它很有趣，因为它最终是一个开放性的问题，并且有很大的改进空间。
你希望未来在Solidity生态系统中看到什么？
如果能看到为EVM创建的新编程语言以Yul为目标，那将是非常棒的。这意味着很多Yul工具将变得更加重要。此外，了解外部研究如何改进优化器等内容也会很有趣。
Kamil - @cameel
你的专业背景是什么？
多年来，我参与了各种软件项目，我并没有一个特别擅长的领域。我的第一份工作是在一家视频后期制作公司，负责推出其自己的内部视频后期处理和特效编辑器。它使用C++实现，并且是首批利用GPGPU功能的此类程序之一，当时这还是一项新技术。后来，我经常参与多个基于Python的复杂Web应用程序的后端开发，涉及统计建模、视频处理、化学逆合成或与区块链的交互等方面。在此过程中，我有机会熟悉网络编程和面向管理员/DevOps的技术，包括Shell脚本、Web服务器、容器和云服务。最近，我对区块链相关技术特别感兴趣。到目前为止，我参与的该领域最大项目是为Golem设计和实现的服务。几年前，我共同创办了一家名为Code Poets的软件公司，目前我负责公司的技术方面。不过，我仍然最享受编程。在不同规模的不同角色中工作后，我发现我更喜欢底层挑战，而不是高级系统设计或整体项目管理。作为Solidity团队的一员工作，是一个让我能够以有意义的方式运用我的经验，同时了解更多关于以太坊生态系统知识的好方法。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
到目前为止，我最大的任务是实现yul-phaser——一个基于遗传算法的内部工具，它将帮助我们微调Yul优化器，一旦代码生成器完成并支持所有Solidity功能。除此之外，我还试图熟悉编译器的各个部分。到目前为止，我主要从事IR代码生成器、wasm代码生成器以及存储库的支持基础设施方面的工作，包括彻底修改了旧编译器二进制文件托管和夜间构建的方式。
你认为Solidity最大的挑战是什么？
在我看来，最大的挑战之一是获得对语言最终应该是什么样子的清晰而连贯的愿景。该语言仍在不断发展，并且有许多计划中的功能，其中一些功能可能会从根本上影响人们编写智能合约的方式。例如，模板/泛型、合约不变式、Rust风格的枚举、默认情况下不可变的变量、范围类型、基于范围的循环、定点变量等等。还有一些广泛使用的模式可能最终会在语言中得到支持，但目前尚不清楚是否以及如何支持——可升级合约就是一个例子。最终确定语言规范需要做出许多关于哪些内容应该包含在内、哪些内容不应该包含在内的艰难决定。实现这一目标需要大量的设计工作。在完成之前，我们仍然严重依赖能够定期引入向后不兼容的更改，以避免最终得到一个语言的化石存根，在这种存根中，你必须寻找“好的部分”并忽略其余部分。幸运的是，随着今年团队规模的扩大，即使是较旧的设计问题也终于得到了急需的关注，希望这能让我们在不久的将来更接近发布Solidity 1.0。
Leo - @leonardoalt
你的专业背景是什么？
我的学术背景是逻辑和理论计算机科学。在攻读博士学位期间，我从事SMT求解器和逻辑的研究，并将它们应用于符号模型检查。在加入Solidity团队之前，我从事微处理器形式化验证（FV）的工作。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
我主要从事SMTChecker的工作——编译器中的一个FV组件，用于静态检查断言违规和其他问题——以及语言设计。我还作为以太坊基金会形式化验证团队的一部分，参与Act和其他主题的工作。
你认为Solidity最大的挑战是什么？
主要挑战之一是在不每天使用语言的情况下设计语言。有时我们很难了解语言中哪些地方存在问题/不好/好，并且难以收集大量的反馈。
Mathias - @marenz
你的专业背景是什么？
我为一家数据分析公司工作了九年，主要使用D编程语言。我的主要项目之一是编写和维护一个软件，该软件可以实时处理大量数据并将其聚合到数据库中。
你在 Solidity 团队中的角色是什么？你主要负责 Solidity 的哪些部分？
我没有固定的角色。甚至没有一个我工作最多的部分。我几乎接触了Solidity的所有部分，除了SMT代码，这对我来说仍然是一个新的领域。
你希望未来在 Solidity 中看到什么？
我希望看到更多关注如何使语言更易于使用，同时保持其安全性和易读性和可验证性。这两个概念有时会相互冲突，但通常不会冲突，或者可以找到一个好的折衷方案。
想了解更多关于我们的信息？
关注@solidity-lang Twitter | 加入solidity-users 论坛