实验室有人用服务器挖矿该怎么办?

我认为如果实验室发现有人在使用服务器进行挖矿，可以考虑采取以下措施：

1. 审查实验室计算资源的使用情况：实验室可以定期审查计算资源的使用情况，了解服务器的实时负载情况，以及是否出现异常的高负载情况。

2. 加强安全性控制：实验室可以在服务器上安装安全性控制组件，通过对网络流量和进程流量进行监控，及时发现和阻止非授权挖矿行为。

3.建立明确的使用规范：实验室应该明确规定服务器的使用规范，明确规定不允许在服务器上进行任何形式的挖矿行为，以及非法的程序执行行为，并严格执行使用规范。

4. 协调处理：如果发现实验室成员在违反规定使用服务器，应及时与相关人员协商，采取合适的处理措施，如限制服务器资源的使用，或者禁止该成员在服务器上进行任何操作。

最终目标是保护实验室计算资源的安全和可靠性，并维护实验室的良好管理秩序。