XiaoMi-AI文件搜索系统
World File Search Systemzhang
Tianhang Zhang
• 2021 年第九届隧道安全国际研讨会 (ISTSS) 最佳论文奖 • 2020 年香港研究资助局 (RGC) 香港博士研究生奖学金计划 • 2018 年中华人民共和国教育部国家奖学金 (研究生) • 2018 年浙江大学优秀研究生奖 • 2018 年浙江大学优秀研究生带头人奖 • 2017 年浙江省教育厅浙江省优秀毕业生 • 2016 年中华人民共和国教育部国家奖学金 (本科) • 2016 年浙江大学优秀学生一等奖学金 • 2016 年浙江大学科研创新奖学金 • 2015、2016 年浙江大学优秀学生带头人奖
Hongce Zhang
会议：•Yu Zeng，Bo-Yuan Huang，Hongce Zhang，Aarti Gupta，Sharad Malik，从RTL设计中产生建筑级别的处理器，用于处理器和加速器的RTL设计，第一部分：确定建筑变量的建筑变量，在计算机上设计（ICCAD），ICCAD（ICCAD），ICCAD•MAKEAI MAKIAN MAKIEN LONS，AHMEDERIAI，AHMEDERIAL LONS，AHMEDERIAL LONS，AHMED AHMEDERIAL LONS，AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED AHMED MARGAIN Yang, Hongce Zhang , Kristopher Brown, Aarti Gupta and Clark Barrett, Pono: A Flexible and Extensible SMT-based Model Checker, in Computer-aided Verification (CAV) , 2021 • Hongce Zhang , Aarti Gupta and Sharad Malik, Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking, in Verification Model Checking and Abstract解释（VMCAI），2021。•Hongce Zhang，Maxwell Shinn，Aarti Gupta，Arie Gurfikel，Nham Le和Nina Narodytska，通过可及性分析进行认知任务的复发性神经网络的验证，在欧洲人工智能（ECAI）的欧洲大会上，2020年。•Nina Narodytska，Hongce Zhang，Aarti Gupta和Toby Walsh，在国际学习表现会议（ICLR）中寻找卫星友好的二进制神经网络建筑（ICLR），2020年。•Hongce Zhang，Weikun Yang，Grigory Fedyukovich，Aarti Gupta和Sharad Malik，在验证模型检查和抽象解释（VMCAI）中，用于模块化硬件验证的环境不变性（VMCAI），2020年。Bo-Yuan Huang，Hongce Zhang，Aarti Gupta和Sharad Malik，Ilang：SOC的建模和验证平台，使用指令级抽象，用于系统构建和分析的工具和算法（TACAS）（TACAS），2019年。Bo-Yuan Huang，Hongce Zhang，Aarti Gupta和Sharad Malik，Ilang：SOC的建模和验证平台，使用指令级抽象，用于系统构建和分析的工具和算法（TACAS）（TACAS），2019年。•Hongce Zhang，Caroline Trippel，Yatin A. Manerkar，Aarti Gupta，Aarti Gupta，Margaret Martonosi和Sharad Ma-Maik，Ila-MCM：Ila-MCM：将记忆一致性模型与指导级抽象与异构系统 - chiper-chip chip chip verii chiperifienforcation in-in-chiperforcation in-in-chip-chip-chiperforcation in Sumper-nor-clander/in gramcaded in of Computer-aver-aver-aver-aver-aver-aver>•Jangseop Shin，Hongce Zhang，Jinyong Lee，Ingoo Heo，Yu-Yuan Chen，Ruby B. Lee和Yunheung Paek，这是一种基于硬件的技术隐性信息流动跟踪，在国际计算机辅助设计（ICCAD）的国际会议上（ICCAD），2016
Lijin Zhang
数据分析与心理学，教育和医学日期研究实验室的合作·莱万特项目，语言与认知实验室，斯坦福大学2024年 - 目前·咆哮项目，脑发育与教育实验室，斯坦福大学2023年 - 现任·Chariot Program，Chariot计划，Lucile Packard儿童医院，Stanford University，Stanford University [4，7，7，7，7，7，7，7，7，7，7，7，7，7，9，11]斯坦福大学[29] 2024·中国广东的福祉研究所科学[16] 2021-2022·Ni Lab，Tsinghua ni Lab，Tsinghua深兴国际国际研究生院2020·Pang Lab，国际关系学院
Yufei Zhang
我的演讲•第二届ETH-HKG-ICL数学金融研讨会，香港，4月22日至25日，2025年。•ISOR座谈会，维也纳大学，维也纳，奥地利，3月。31，2025。•统计研讨会系列，Collegio Carlo Alberto，意大利，意大利，2月12日至14日，2025年。•建模，学习和理解：金融数学，金融技术与金融经济学之间的现代挑战，班夫，11月10日至15日，2024年。•第12届Bachelier Bachelier Finance Society，Rio de Janeiro，7月8日至12日，2024年。•随机差异游戏中的新趋势和挑战，班夫，6月23日至28日，2024年。•伦敦，伦敦，伦敦，埃德·恩基 - 帝国的数学金融研讨会。•机器学习研讨会的概率，牛津，2024年6月12日。•数学金融研讨会，比勒菲尔德，2024年6月5日。•巴黎，巴黎的单身研讨会，2024年4月17日。•fields-CFI训练营在定量金融中的机器学习，多伦多，4月25日至26日，2024年。•随机控制，机器学习和定量金融的最新进展，上海，2024年4月15日至19日。•IMSI关于决策和不确定性的研讨会，芝加哥，2024年2月2-9日。•2024年1月30日，Cityu-Nus MFG/MFC研讨会。•第16届ERCIM WG关于计算和方法统计的国际会议，柏林，2023年12月16日至18日。•伦敦第七伦敦 - 巴里斯·巴里斯（London-Paris），伦敦，伦敦，9月18日至19日，2023年。•8月28日，第二次HKSIAM双年展会议，香港。 1，2023。•随机分析与数学金融研讨会，柏林，2023年6月22日。•20023年8月27日至30日，香港定量金融的最新进展。•Bielefeld，6月26日至30日，第11届金融会议的高级数学方法。•柏林概率座谈会，柏林，2023年6月21日。•北英国概率研讨会，爱丁堡大学，2023年6月14日。•埃塞克斯大学数据科学研讨会，2023年5月11日。•伦敦帝国学院的PDES机器学习第二届研讨会，4月3-4，2023。•概率研讨会，巴斯大学，2023年1月9日。•世界上关于金融机器学习的世界在线研讨会，虚拟，2022年11月22日。•机器学习和最佳控制，皇家统计学会，虚拟，2022年10月19日。•悉尼大学的金融和随机研讨会，2022年10月11日。•伦敦 - 巴黎班赛车关于数学金融的Bachelier研讨会，法国巴黎，9月15日至16日，2022年。•PDES的机器学习，英国伦敦，9月6日至8日，2022年。
Jason Y. Zhang
- NSF研究生研究奖学金2020 - 2023 - 2019年春季一般奖学金中的最高区别 - 杰出的研究生讲师奖2019年春季 - 计算机科学系荣誉论文荣誉论文2018年秋季2018年Quantedge Awarde Awarding for Actorical Excellence for Actorical Excellence for for 2017 fall 2017 - ERDS数字：3
Haolun（Harry）ZhangHaolun（Harry）Zhang
•伯克利。Deep Reinforcement Learning (CS 285) , Linear Systems Theory (EE 221) , Non- linear Systems Theory (EE 222) , Computer Vision (CS 280) , 3D Vision (EE 290) , Convex Optimization (EE 127) , Machine Learning (CS 189) , Artificial Intelligence (CS 188) , Model Predictive Control (ME 231A) , Advanced Robotics (CS 287) , Deep学习（CS 182）。
(Fisher) Yumin Zhang
章节标题：“手性超材料的理论、实验和应用”（第 1 章）书名：《材料科学研究进展》，第 28 卷。编辑：Maryann C. Wythers。Nova Science Publishers，纽约州霍帕格，2017 年。ISBN：978-1-53610-892-7。章节标题：“具有多个元素的动态系统”（第 5 章）书名：《系统思维：基础、用途和挑战》。编辑：M. Frank、S. Kordova 和 H. Shaked。Nova Science Publishers，纽约州霍帕格，2016 年。ISBN：978-1-63485-241-8。
CV -Jesse Zhang
[C2] Jesse Zhang，Jack Sullivan，Vasudev Venkatesh PB，Kyle Tse，Andy Yan，John Leyden，Kalya-Naraman Shankari和Randy H Katz。“ Tripaware：通过移动应用鼓励可持续运输的情感和信息性方法”，第六届ACM节能建筑，城市和运输系统系统会议论文集，2019年
