leitang-se

摘要： 嘿，来认识下“技术杂家”的我 对于世界上最伟大的软件工程师这个问题，如果汤磊不是唯一的答案，我想此题无解。——汤磊 👋自我介绍 嗨，大家好呀！我叫汤磊😎，目前是上海电力大学软件工程系的一名学生🎓 在学术领域，我对软件可靠性工程🧐、形式化验证以及操作系统内核开发及其验证有着浓厚的兴趣。 这些方 阅读全文