张昕是北京大学计算机学院的助理教授，主要研究程序设计语言与软件工程，在程序分析与机器学习的交叉领域有深入研究。根据其研究方向和工作内容，他可能会使用以下一些电脑软件：

• 程序分析工具：
  • SLAM：微软的系统驱动验证器，用于软件质量分析，张昕在研究程序分析技术时可能会对其进行研究和借鉴。
  • Astrée：空客的飞机控制器分析工具，在程序分析领域有成功应用，张昕可能会将其作为案例或参考对象，以启发自己的研究工作。

针对电脑软件打开时出现广告的问题，可通过以下系统化方法逐步解决：

一、从软件自身设置关闭广告

许多软件提供了内置的广告关闭选项：

1. 办公类软件：以 WPS 为例，点击右上角头像进入「设置」，选择「配置和修复工具」→「高级」，在「其他选项」中取消勾选「订阅 WPS 热点及广告推送」。
2. 社交软件：如 QQ，点击底部主菜单（三条横杠）→「设置」，在登录页面去掉「订阅每日精选」等广告勾选。