SE401:Group107:Interim Report
Second Examiner
Dr Jing Sun
Research interest
- Formal Engineering Methods, Semantic Web
- Formal Specification, Validation and Verification
- Semantic Web Service, Ontology Reasoning
- Theorem Proving, Model Checking
Meeting time: 2pm, 22 Apr.
Notes for writing the report:
- His research area doesn't overlap with our project, so more background knowledge need to be explained. e.g. what is rendering, VHDL, FPGA.
- Structure first - plan the structure of the report first. Including the background, proposed work, future work and a rough time planning.
- Identify the problem clearly.
- The format should be as close as the final report.