Engineering-Research-Activity2016｜SHINSHU UNIV.

52/80

Non-volatile Memory Based on Spin of ElectronOurresearchisfocusedondevelopingultra-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.XiaoxiLiuProfessorProfile：2013~ Prof., ShinshuUniv.2003~2012, Asso. Prof. ShinshuUniv.2002~2003, Researcher, Glasgow Univ. UKAtomicforcemicroscopyimagesofnanolithographycarriedoutinourLabTypicalmemorycircuitpreparedinourLab写真サイズ高さ4.35cm×幅7.5cm配置位置横11.4cm、縦8.15cmComputerScience &EngineeringAfter GraduationIn the FutureLiuLabWasakiLabFor“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.Katsumi 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.★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 FutureComputerScience &Engineering50

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