Engineering-Research-Activity2015｜SHINSHU UNIV.

59/75

KaijiriLabSupport efficient software development Wearesoftwareengineers,andourobjectiveistoapplytheengineeringdisciplinetosoftwaredevelopment.Ourcurrentresearchinterestsaretraceabilityandmetrics.Traceabilityistherelationbetweensoftwaredocuments,andbytracingtheserelations,wecanunderstandandmaintainthesoftware.Thepurposeofmetricsistovisualizethecurrentsoftwarestatusandtoenablethepredictionofthefuturestatus.Wearecooperatingwithseveralenterprises.Kenji KaijiriI have studied and developed software for about forty years. Software is changing drastically, but the fundamental discipline has not changed.Softwarehasrelationswithvarioussystems,soitrequiresknowledgeofotherdomainsinordertodevelopeachsystem.However,thefundamentalknowledgeisthesame.Andthisfundamentalknowledgeisatthebasisofsoftwareengineering.Thusyoucandevelopanykindofsoftware,ifyoufullyunderstandthisknowledge.Softwarewillchangetheworld,sowehopethatourgraduatesdevelopnovelsoftwarethatcanchangetheworldA variety of documents are created, and they are measured. Based on these measurements, software processes are predicted.A variety of documents have many relations with each other. These relations are key factors in software maintenanceComputer Science &EngineeringAfter GraduationIn the Future地デジOkazaki LabWeconductresearchincryptology.ThecryptologyisoneoftheessentialinfrastructuresthatsupportstheICTsociety.However,itishardtounderstandthecryptologybecausetheitisbasedonvarioustechnicalfieldssuchastheinformationtheory,thecomputationtheoryandmathematics,etc.Ouraimistoprovethesecurityofthecryptosystemsusingthecomputer-aidedformalverificationsystem.Securityproofsforcryptographicsystemsareveryimportant.Theultimateobjectiveofourstudyistoprovethesecurityofcryptographicsystemsusingcomputer-aidedproofcheckingsystems.Wehopeourstudentswillbeengineerswhocanapplytheoriesandknowledgeaftertheygraduate.Hiroyuki OkazakiAssistant ProfessorHe received his Doctor of Engengineeringfrom Kyoto Institute of Technology. His research interests include, cryptology, formal verification Formal Verification of CryptosystemsComputerScience &EngineeringAfter GraduationIn the Future57

※このページを正しく表示するにはFlashPlayer10.2以上が必要です