工学部_研究紹介_2019_英語版

40/84

MiyaoLabNowadays,tabletPCsandsmartphonesareusedeverywhereandareequippedwithtouchscreenandpendevices.Inmylaboratory,wehavedevelopedapplicationsoftwarewhichfunctionsbyusingtheseinterfaces.Forexample,intheirapplications,objectshandwrittenwithapendevicecanbesequentiallyrecognized,arranged,andoutputtedbyacomputerautomatically.WecollaboratecloselywithProf.Maruyama’sgroupandDr.Shirai’sgroup,sopleaserefertotheirdescriptionofhislaboratories.Weareplanningtoconstructanenvironmenttoenhancehumancreativitybycomputer.Forexample,whenauserwritesanoteoramusicsymbol,thecomputercreatesitonthescreenwithoutinterruptingtheflowoftheuser’sthoughtsbyusingautomaticsymbolrecognitiontechniques.HidetoshiMiyaoAssociateProfessorHe received the Ph.D. from Shinshu University in 1997. His research interests are pattern recognition and human computer interaction.Handwritten flowchart recognition system and handwritten music score recognition system with a pen device.Information Processing for Pen and Touch InterfacesSimilar image search system by using a touch interface on a smartphone.Aboutthehalfofthealumniandalumnaegoontograduateschools,andtheotherhalfworkinindustriesassoftwaredevelopers,systemengineers,etc,usingtheirexperiencesinmylaboratory.After GraduationIn the FutureElectrical& Computer Engineering地デジOkazaki LabWeconductresearchincryptology.ThecryptologyisoneoftheessentialinfrastructuresthatsupportstheICTsociety.However,itishardtounderstandthecryptologybecausetheitisbasedonvarioustechnicalfieldssuchastheinformationtheory,thecomputationtheoryandmathematics,etc.Ouraimistoprovethesecurityofthecryptosystemsusingthecomputer-aidedformalverificationsystem.Securityproofsforcryptographicsystemsareveryimportant.Theultimateobjectiveofourstudyistoprovethesecurityofcryptographicsystemsusingcomputer-aidedproofcheckingsystems.Wehopeourstudentswillbeengineerswhocanapplytheoriesandknowledgeaftertheygraduate.Hiroyuki OkazakiAssistant ProfessorHe received his Doctor of Engineering from Kyoto Institute of Technology. His research interests include, cryptology, formal verification Formal Verification of CryptosystemsAfter GraduationIn the FutureElectrical& Computer Engineering38