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

23/80

Aguirre HernanIn the FutureAfter GraduationEvolutionarycomputationisusedtofindoptimalsolutionstomulti-objective,largescale,complexoptimizationproblems.Evolutionarycomputationsimulatesevolutionanditisappliedtosolveavarietyofdesigninnovationandsustainabilityproblems.Smartpowergrids,intelligentmobilityandtransportationsystems,andintelligentwatergridsarethreekeysystemstowhichevolutionarycomputationcanbeusedtooptimizetheirdesignandimprovetheirsustainabilitytomeettheneedsofthefuture.Additionally,designinnovationinkeyindustries,suchasautomobileandspaceexploration,areareasinwhichevolutionarycomputationwillplayanimportantrole.IntheLaboratorywelearnaboutreal-worldproblem-solvingandoptimizationbycomputationalmeans.Thisrequiresaclearunderstandingoftheproblem,itsmodeling,andthecreationofaprogramtosolveit.Thereisalsoopportunitiestocollaborateinjointresearchwithindustry.Theseactivitiescomplementstheeducationreceivedintheundergraduatecurseandbroadenstheskillsofengineers.ProfessorEcuadorian Engineer. PhD from ShinshuUniversity in 2003. Collaborates actively with in-dustry, promotes international exchange, and conducts joint research with national and international institutions. Evolutionarycomputationusescomputationalmodelsofnaturalevolutiontosolvecomplexproblemsinscienceandengineering.Thecreationofsustainablesystemstomeetourneedswithoutcompromisingfuturegenerationsisasocialchallenge.Itdemandsthedevelopmentofnewtechnologiesandtheredesignofourinfrastructure,balancingenvironmental,economic,andsocietalneeds.Sustainabilityproblemsareintrinsicallycomplex,dynamic,large-scale,spanseveraldisciplines,andrequiremultidisciplinaryeffortsandmethodstosolvethem.Weusethepowerofevolutionarycomputationfordesigninnovationandoptimizationofsolutionstocomplexsustainabilityproblems.Evolutionary Computation for Design Innovation and SustainabilityElectrical& Computer Engineering地デジHiroyuki OkazakiWeconductresearchincryptology.ThecryptologyisoneoftheessentialinfrastructuresthatsupportstheICTsociety.However,itishardtounderstandthecryptologybecausetheitisbasedonvarioustechnicalfieldssuchastheinformationtheory,thecomputationtheoryandmathematics,etc.Ouraimistoprovethesecurityofthecryptosystemsusingthecomputer-aidedformalverificationsystem.Securityproofsforcryptographicsystemsareveryimportant.Theultimateobjectiveofourstudyistoprovethesecurityofcryptographicsystemsusingcomputer-aidedproofcheckingsystems.Wehopeourstudentswillbeengineerswhocanapplytheoriesandknowledgeaftertheygraduate.Assistant 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 Engineering21