![](https://img-blog.csdnimg.cn/20201014180756754.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
My PhD Studies
ClassicWuHao
Research: Metamodel instance generation, UML/OCL, ATL, SAT/SMT Solvers, Metrics, Model Checking, Compiler.
展开
-
Jamopp Semantics Analysis
Tomorrow I will talk about one of the Jamopp features which is semantics analysis with James and Rosemary. Based on recent my intensive research, the Java1.5 semantics analysis consists of serveral re原创 2009-09-23 06:39:00 · 271 阅读 · 0 评论 -
CS424
下星期一要代导师给大四的学生上一节课CS424 (Programming Language Semantics),好紧张啊. Type and Programming Languages的第20章(Recusive Types). 这两天在每天晚上积极备课,让自己尽快找回运用lambda calculus的感觉. 后天要去UCD参加一个小型座谈会,关于applied formal methods.原创 2009-11-18 06:54:00 · 281 阅读 · 0 评论 -
JML
上周太忙碌了, 和Rosemary一起去了UCD参加了JML的座谈会,有幸结识了Gary Leavens, JML幕后的科学家. 座谈会一共大概来了13个人左右,里面我的Level最低,基本都是Dr.或Professor,只有我刚刚开始PhD. 上午作了一些关于Applied Formal Methods的演讲,以及各自在这块的研究方向.下午就是几个科学家凑在一起写Specification,针原创 2009-11-24 07:41:00 · 380 阅读 · 0 评论