Electrical& Computer Electrical& Computer Electrical& Computer Electrical& Computer Ourresearchisfocusedondevelopingultra-fast,high-density,non-volatile,low-power-consumingmemoryandlogicdevicesbasedondirectmanipulationofelectronchargeandspin.Weareparticularlyinterestedincontrollingthespinseitherpointedupordownbydirectlyapplyingelectricalcurrentorvoltage.Ourlaboratoryhasspecializedfacilitiesforfilmdeposition.Lithographyinourlaboratoryhavetheabilitytofabricateelementsassmallasone-thousandththewidthofahumanhair.Wealsohavethefacilitiestocharacterizetheelectricalandmagneticpropertiesofthoseelements.For“Dependability”ofinformationsystem,itisveryimportanttoensurethesystem’s"Reliability"and“Safety”representedbyQoSorencryptedcommunicationsnetwork.Wemustdesignwithoutanyerror(bug)withinourabilityinordertoachievehighreliabilityrequiredininformationsystem.For"100%bug-freedesigns,“wedevelopthedesignverificationmethodsand/ortools,forinstancebytargetingtheparallelsystems,toinspectallexhaustivestate-space.Memoryandlogicalelementsarefundamentaldevicesforprocessinginformation.Currentmemoriesandlogicelementsarebasedonelectricalcharge.Withtheincreaseofcapacityanddensityofthedevices,leakagebecameanissue.Spintronicsexploitsboththeintrinsicspinandassociatedmagneticmomentofanelectron,andhasapotentialforthedevelopmentofmemoryandlogicaldevicesbeyondthecurrentCOMStechnologies.Around50%ofourundergraduatestudentsmovedontograduateschools.Someareworkingincompaniesthatspecializedinelectronicsystemordevices,andsomeareworkingasgovernmentemployees,et.al.Itisourgoaltofostercreativeandexcellentstudentswithglobalminds.Thesoftwareisamysterious,industrialproductwhichisstoredintheformof"Information(Bit)"withoutanyweight.Byverifyingthedesignofthesoftware,wecanprovidereliableandwell-functioningproductsandservices.Inthislaboratory,weworkonthebasistheory(theoremproving,modelcheckingsystems)andformalverificationsystem(net-orienteddesign,processalgebraspecificationdesign,etc.)aswellasthemodelingmethodofparallelsystem,upstreamsoftwarenetdesign/verificationtool.design,Graduatesareworkingincommunicationnetwork,softwaredevelopment,systemdesignengineering,andcloudservicescompanies.Totrainourstudentsasandengineersandindependentthinkingskills,wediscussourresearchprojectsandparticipateinseminaractivitiesonadailybasis.researchers"invisible"andPetrilogicalwithAtomicforcemicroscopyimagesofnanolithographycarriedoutinourLabMagneticskyrmionsdrivingbyelectricfield.NanoLett.,2019,19(1),pp353–361,DOI:10.1021/acs.nanolett.8b03983.HiPStool : Hierarchical Petri net Simulatorhttp://sourceforge.net/projects/hips-tools/ SPIN Model Checking Tool & iSPINIDEXiaoxiLiuProfessorProfile：2013~ Prof., ShinshuUniv.2003~2012, Asso. Prof. ShinshuUniv.2002~2003, Researcher, Glasgow Univ. UKKatsumi WasakiProfessorHis 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.In the FutureAfter GraduationIn the FutureAfter GraduationEngineeringEngineeringEngineeringEngineeringGreen IoT based on electron spin ★VERIFICATION FIRST!★Foundations of Computer Science
元のページ ../index.html#38