Green IoT based on electron spin Ourresearchisfocusedondevelopingultra-fast,high-density,non-volatile,low-power-consumingmemoryandlogicdevicesbasedondirectmanipulationofelectronchargeandspin.Weareparticularlyinterestedincontrollingthespinseitherpointedupordownbydirectlyapplyingelectricalcurrentorvoltage.Ourlaboratoryhasspecializedfacilitiesforfilmdeposition.Lithographyandothernano-sizefabricationfacilitiesinourlaboratoryhavetheabilitytofabricateelementsassmallasone-thousandththewidthofahumanhair.Wealsohavethefacilitiestocharacterizetheelectricalandmagneticpropertiesofthoseelements.Memoryandlogicalelementsarefundamentaldevicesforprocessinginformation.Currentmemoriesandlogicelementsarebasedonelectricalcharge.Withtheincreaseofcapacityanddensityofthedevices,leakagebecameanissue.Spintronicsexploitsboththeintrinsicspinandassociatedmagneticmomentofanelectron,andhasapotentialforthedevelopmentofmemoryandlogicaldevicesbeyondthecurrentCOMStechnologies.Around50%ofourundergraduatestudentsmovedontograduateschools.Someareworkingincompaniesthatdealwithelectronicsystemordevices,andsomeareworkingasgovernmentemployees,et.al.Itisourgoaltofostercreativeandexcellentstudentswithglobalminds.ProfessorProfile：2013~ Prof., ShinshuUniv.2003~2012, Asso. Prof. ShinshuUniv.2002~2003, Researcher, Glasgow Univ. UKAtomicforcemicroscopyimagesofnanolithographycarriedoutinourLabMagneticskyrmionsdrivingbyelectricfield.NanoLett.,2019,19(1),pp353–361,DOI:10.1021/acs.nanolett.8b03983.写真サイズ高さ4.35cm×幅7.5cm配置位置横11.4cm、縦8.15cmAfter GraduationIn the FutureXiaoxiLiuElectrical& Computer EngineeringKatsumi WasakiFor“Dependability”ofinformationsystem,itisveryimportanttoensurethesystem’s"Reliability"and“Safety”representedbyQoSorencryptedcommunicationsnetwork.Wemustdesignwithoutanyerror(bug)withinourabilityinordertoachievehighreliabilityrequiredininformationsystem.For"100%bug-freedesigns,“wedevelopthedesignverificationmethodsand/ortools,forinstancebytargetingtheparallelsystems,toinspectallexhaustivestate-space.Thesoftwareisamysterious,"invisible"industrialproductwhichisstoredintheformof"Information(Bit)"withoutanyweight.Byverifyingthedesignofthesoftware,wecanprovidereliableandwell-functioningproductsandservices.Inthislaboratory,weworkonthebasistheory(theoremproving,modelcheckingsystems)andformalverificationsystem(net-orienteddesign,processalgebraspecificationdesign,etc.)aswellasthemodelingmethodofparallelsystem,upstreamsoftwaredesign,andPetrinetdesign/verificationtool.ProfessorHis current research interests include modeling and analysis of concurrent, parallel and/or distributed processing systems, mathematical model and formal verification of asynchronous circuits, and hardware compiler for model checking systems.★VERIFICATION FIRST!★Foundations of Computer ScienceGraduatesareworkingincommunicationnetwork,softwaredevelopment,systemdesignengineering,andcloudservicescompanies.Totrainourstudentsasengineersandresearcherswithlogicalandindependentthinkingskills,wediscussourresearchprojectsandparticipateinseminaractivitiesonadailybasis.HiPStool : Hierarchical Petri net Simulatorhttp://sourceforge.net/projects/hips-tools/ SPIN Model Checking Tool & iSPINIDEAfter GraduationIn the FutureElectrical& Computer Engineering36
元のページ ../index.html#38