About
EducationWorkExperienceResumeOther Appointments
Professor Yixiang Chen is Chair of the MoE Key Research Center for Software/Hardware Co-design Engineering and the dean of Department of Embedded Software and Systems in the School of Computer Science and Software Engineering at East China Normal University (ECNU) and directs the research on Foundation of Software Trustworthiness at Software Engineering Institute (SEI)‚ ECNU. He has worked in the field of Formal Semantics and Domain Theory for over twenty years. In 1992 he joined the Department of Mathematics at Shaanxi Normal University as a Research Student and received the PhD degree there in Stable Domain Theory. He was promoted to Post Researcher in1995 in Mathematics at Suzhou University. In 1997 he moved to Shanghai Normal University where he founded the Computer Science Group. In 2006 he moved to East China Normal University and founded the Group of Foundation of Software Trustworthiness and co-directed the Shanghai Key Laboratory of Trustworthy Computing. Professor Chen has published more than 100 papers in various journals‚ e.g.‚ Theoretical Computer Science‚ Information Science‚ Computer and Mathematics with Applications. He also published a research monograph Stable Domain Theory of Formal Semantics (in Chinese‚ Science Press‚ Beijing‚ March 2003 ) and edited three booksin areas of Domain Theory‚ Formal Semantics and Foundation of Software Trustworthiness. Heoriginated both lattice and logical representations of stable domains and domain semantics of possibility computations as well as the metric models for software trustworthiness. Dr. Chen has led several key research projects and nowleads the CNSF-funded project on Multi-attributes-based Measurement Models of Software Trustworthiness for the key project on Trustworthy Software Foundation. He is an associate Editor of Frontier of Computer Science in China‚ Program co-Chair of ISDT99 and 09 on Domain Theory‚ FICS08 on Foundation of Informatics‚ Computing and Software and QL&QS09 on Quantitative Logic and Quantification of Softwares. His research interests includes Real-time System‚ Formal Models‚ Formal Semantics of Programming‚ Foundation of Computations and Trustworthy Network. His research was suported by funds as follows: (1) Basic Research on Formal Theory and Methodology for Software with Spatial-Temporal Consistency, NSFC (2) Study on Software Physicalization‚ 973 Project (3) Measurement Model of Software Trustworthiness‚ 863 Project, NSFC (4) Based on multi-attributes Software Trustworthiness‚ NSFC (5) Semantics of Programming with Fuzziness‚ NSFC
Research Fields(1) Formal Methods of Programming Languages (2) Internet of Things and Smart Technology (3) Software Trustworthiness (4) Software/Hardware Co-Design
Enrollment and TrainingCourseScientific ResearchAcademic AchievementsBook: The stable domain theory of formal semantics, Science Press, Beijing, June 2003. Papers: [22] HengyangWu,YixiangChen:CoalgebrasforFuzzyTransitionSystems.Electr.NotesTheor.Comput.Sci.301:91-101(2014) [21] , Yuanrui Zhang, A Hybrid Clock System Related to STeC Language, SSCPS 2014. [20] HengyangWu,n,MinZhang.On Denotational Semanticsof Spatial-Temporal Consistency Language STeC.2013 International Symposiumon Theoretical Aspects ofSoftware Engineering,pp.113-120,2013 [19] YanwenChen,.Real-TimeSchedulinginCyber-PhysicalSystems.Control Engineering and applied informatics,13(3):41-50,2011 [18] YanwenChen,,EricMadelaine.Timed-pNets:A formal communication behaviormodel for real-time CPS system. [17] HaiyuPan,MinZhang,n. Bisimilarity for Fuzzy Doubly Labeled Transition System.2012 International Conference on Quantitative Logic and Soft Computing,pp.207-214.doi:10.1142/9789814401531_0030 [16] HaiyuPan,MinZhang,Lattice-Valued Kripke Structures Basedon Complete Residuated Lattice.In the proceeding of 2012 IEEE Sixth International Conference on Software Security and Reliability Companion (SERE2012).Pp.137-143.2012.DOI10.1109/SERE-C.2012.29 [15] HaiyuPan,MinZhang,.BisimulationforLattice-valuedTransitionSystems.In：TASE2012 pp.279-282,2012 [14], STeC: a location-trigged Specification language for Real time Systems, The Proceeding of 15th International Symposium on Object/Component/Service Oriented Real Time Distributed Computing Workshops, Page 1-5, March 2012. [13] Yanwen Chen, , and Eric Madelaine, TimedpNets: A formal communication behaviormodel for real-time CPS system, published in the workshop of Trustworthy Cyber-Physical Systemsin conjunction with CONCUR 2012, September 3 , 2012, Newcastle ,UK. [12] Yanwen Chen, , Task Assignment and on-line real-time scheduling in Cyber Physical System, Journal of Control Engineering and Applied Informatics Vol.13, No.3, pp. 41-50, 2011.
[11] Yanwen Chen‚ Fabrice Huet and ‚ Implementation and Optimization of RDF QueryUsing HADOOP‚ First International Conference on CloudComputing and Services Science (CLOSER 2011)‚ May 7-9‚ 2011‚ Noordwijkerhout‚ The Netherlands. [10] Hongwei Tao‚‚ A New Metric Model for Trustworthiness of Softwares‚ TelecommunicationSystems‚ 2011‚ (Accepted). [9]‚ Tianming Bu‚ Min Zhang and Hong Zhu. Measurement of Trust Transitivity in Trustworthy Networks‚ Journal of Emerging Technologies in WebIntelligence 2010--Vol 2 (4):319-325. [8] Henyang Wu‚ ‚ A Duality Theorem for QuantitativeSemantics‚ Electronic Notes in Theoretical Computer Science‚2010--Vol 257:87-97. [7] ‚ Xinxing Wu‚ Success Measurement of Web Services withBPEL‚ SOSE2010:86-90‚ IEEE Computer Society. [6] Hongqwei Tao‚‚ Another Metric Model for Trustworthiness of Softwares Based onPartition‚ AISC 2010--Vol 82:695-705. [5] ‚ Min Zhang‚ Hong Zhu‚ Tianming Bu‚ Average Transitive Degrees for Trustworthy Network. Lecture Notes in Computer Science‚ Vol. 5589: 682-689‚2009 [4] & Heng-Yang Wu‚ Domain Semantics of Possibility‚ 《Information Science》‚178：2661-2679（2008）‚http://dx.doi.org/10.1016/j.ins.2008.01.016
[22] HengyangWu,YixiangChen:CoalgebrasforFuzzyTransitionSystems.Electr.NotesTheor.Comput.Sci.301:91-101(2014) Honor |
|
Chenyixiang |