جست‌وجوی استاد و پژوهشگر

Danielle McLeanمشاهده پروفایل

پژوهشگر

• Tephrochronology
• Geochronology
• Quaternary Science
• +۳ مورد دیگر

Dr. Danielle McLean is a Postdoctoral Researcher at the Research Laboratory for Archaeology and the History of Art, University of Oxford . She specializes in Tephrochronology , particularly the identification of cryptotephra (microscopic volcanic ash layers) to date and correlate sedimentary records globally. Education : BSc in Geography, MSc (Distinction) in Quaternary Science from Royal Holloway, University of London Doctorate : Completed at University of Oxford (2014-2018) as part of the NERC Doctoral Training Programme, focusing on Lake Suigetsu's sediments Her research combines volcanology , Quaternary science , and human evolution studies through sedimentary analysis. She has developed tephrostratigraphic frameworks for East Asia and established hemispheric-scale correlations between Japanese ash layers and Greenland ice cores. Recent work with her Leverhulme Trust Fellowship (2021-present) focuses on synchronizing archaeological and climate records in NW Africa using tephra layers. She has collaborated with institutions like the Japan Agency for Marine-Earth Science and Technology (JAMSTEC) and contributed to the Suigetsu Varve Sediment Museum in Japan.

• Volcano Infrasound
• Seismology
• Infrasound Propagation
• +۴ مورد دیگر

David Fee serves as a Research Professor at the Geophysical Institute of the University of Alaska Fairbanks (UAF), where he leads cutting-edge research in volcano infrasound and seismology. His work integrates infrasound and seismic data to characterize volcanic eruptions and other explosive phenomena, with significant contributions to hazard mitigation in remote regions. Fee directs the Wilson Alaska Technical Center (WATC) and serves as the Alaska Volcano Observatory (AVO) Coordinating Scientist. His research interests focus on volcano infrasound propagation , seismic monitoring , and nuclear treaty verification . Fee's work bridges geophysics and atmospheric science, examining how volcanic eruptions can illuminate atmospheric properties while developing methods for remote eruption detection. Recent projects emphasize machine learning applications for analyzing infrasound data from explosions and eruptions worldwide. Fee's publication trends reveal three key research thrusts: (1) Advanced array processing techniques for infrasound signal detection, (2) Integration of multi-sensor data (seismic, infrasound, satellite) for eruption characterization, and (3) Development of open-source tools for the seismo-acoustic community. His group maintains active GitHub repositories with widely used processing codes. As an advisor, Fee has mentored numerous graduate students, with former students now at institutions including Los Alamos National Lab, USGS, and Sandia National Lab. His students frequently work with AVO at volcanoes globally. Fee's leadership extends to WATC, which operates International Monitoring System stations across Alaska, Washington, Pacific islands, and Antarctica for nuclear treaty monitoring. Fieldwork constitutes a major component of Fee's research program, with expeditions to volcanoes including Shishaldin, Pavlof, Stromboli, Etna, Sakurajima, and Yasur. His group maintains strong international collaborations, particularly with institutions in Japan, Italy, and Vanuatu.

Denis Artiukhinمشاهده پروفایل

پژوهشگر

• Theoretical Chemistry
• Quantum Chemistry
• Computational Chemistry
• +۳ مورد دیگر

Dr. Denis Artiukhin is a researcher at the Institute of Chemistry and Biochemistry within Freie Universität Berlin , where he leads the Artiukhin Group. His work focuses on theoretical chemistry, quantum chemical methods, and computational modeling of molecular systems. Research Areas: Theoretical Chemistry, Quantum Chemistry, Computational Chemistry, Physical Chemistry, Photochemistry, and Chemical Physics. Key Contributions: Development of quantum chemical software (gmx2qmmm), subsystem density functional theory, frozen-density embedding methods, and studies on proton-coupled electron transfer and potential energy surfaces. Publications: Recent work includes method development for quantum simulations, spin-density calculations in photosynthetic systems, and applications to hydrogen bonding and catalytic processes. Contact: denis.artiukhin@fu-berlin.de

• Seismology
• Volcanology
• Geophysics
• +۳ مورد دیگر

Greg Waite is a Professor in the Department of Geological and Mining Engineering and Sciences at Michigan Tech's College of Engineering. His research integrates seismology with geophysical and geological techniques to study active processes in the Earth's crust and upper mantle. Education: PhD in Geophysics, University of Utah MS in Geophysics, University of Utah BS in Mathematics, St. Norbert College Research Interests: Seismic source mechanisms of tectonic and volcanic earthquakes Mantle and crustal-scale seismic tomography Seismic anisotropy and fluid-strain relationships Triggering of earthquakes by magmatic and hydrous fluid migration Recent Article Trends: His recent work includes studies on volcanic seismicity (Fuego, Pacaya, Stromboli), lahars, infrasound detection, fluid dynamics in volcanic systems, and community-based hazard vulnerability assessments. Notable collaborations involve analyzing eruption dynamics (e.g., Kīlauea 2018, Pacaya 2021) and experimental modeling of volcanic processes. Teaching: Dr. Waite teaches natural hazards, earthquake seismology, and time analysis in geosciences.

• Theoretical astrophysics
• Core-collapse supernovae
• Neutrino transport and oscillations
• +۳ مورد دیگر

Ryuichiro Akaho is a tenure-track Assistant Professor in the Faculty of Science and Engineering, School of Advanced Science and Engineering at Waseda University, Japan. He earned his B.S., M.S., and Ph.D. in physics from the same university and is internationally recognized for developing general-relativistic Boltzmann neutrino transport codes applied to core-collapse supernovae and neutron-star cooling. Education: Ph.D. in Science, Waseda University, 2021–2024 M.S. in Advanced Science and Engineering, Waseda University, 2019–2021 B.S. in Advanced Science and Engineering (Physics), Waseda University, 2015–2019 Research Interests: Akaho’s theoretical work centers on neutrino radiation hydrodynamics in extreme astrophysical environments. He investigates how neutrinos drive supernova explosions, how flavor oscillations modify neutrino spectra, and how fallback accretion affects late-time neutrino emission from protoneutron stars. His simulations incorporate full general relativity, multidimensional transport, and state-of-the-art nuclear physics inputs. His recent studies reveal the universality of collisional flavor instabilities and quantify the detectability of supernova neutrinos by experiments such as Super-Kamiokande. These results bridge nuclear physics, high-energy astrophysics, and multimessenger astronomy. Awards & Honors: Young Scientist Presentation Award, Asia Nuclear Physics Association, 2025 HPCI Achievement Award (高エネルギー天体現象中の量子運動論的ニュートリノ輸送シミュレーション), RIST, 2024 Grants & Projects: PI, JSPS Grant-in-Aid for Early-Career Scientists, “The fate of massive stars explored by the first principle calculations in general relativity with nuclear physics,” 2024–2029 Co-I (completed), JSPS grant on black-hole formation and Boltzmann neutrino transport, 2023–2024 Teaching & Service: Since 2024 he has taught “Science and Engineering Experiment 1A” and “Physics Exercise B” to undergraduates at Waseda. He holds leadership roles in the Astronomical Society of Japan, Japan Physical Society, and two national astrophysical consortia (理論天文学宇宙物理学懇談会 and 宇宙核物理連絡協議会).

• Artificial Intelligence
• Machine Learning
• Probabilistic Reasoning
• +۴ مورد دیگر

Stuart J. Russell is the Smith-Zadeh Professor in Engineering at the University of California, Berkeley, leading the Center for Intelligent Systems and founding the Center for Human-Compatible AI in 2016. His research spans foundational AI domains including: Logical and probabilistic reasoning Knowledge representation Machine learning and reinforcement learning Bounded rationality (pioneering bounded optimality) AI ethics and safety Probabilistic programming (Bayesian logic/BLOG) Russell revolutionized AI education through Artificial Intelligence: A Modern Approach (with Peter Norvig), used in 1,500+ universities globally. His NETVISA algorithm applies Bayesian logic to nuclear explosion detection for treaty verification. He spearheads the international campaign against lethal autonomous weapons, co-creating the viral film Slaughterbots and authoring Human Compatible: AI and the Problem of Control (2019). Major honors include: ACM AAAI Allen Newell Award (2022) for foundational AI contributions ACM Karl V. Karlstrom Educator Award (2005) ACM Fellowship (2003) IJCAI Computers and Thought Award (1995) He has mentored over 45 students/postdocs who now lead AI research in academia and industry, while his advocacy includes UN addresses, Nature commentaries, and global AI community mobilization for ethical frameworks.

Charles E. Woodwardمشاهده پروفایل

استاد

• Infrared and optical–ultraviolet astrophysics
• Interstellar and circumstellar dust
• Nova explosions and nucleosynthesis
• +۳ مورد دیگر

Charles E. "Chick" Woodward is Full Professor of Astronomy in the School of Physics and Astronomy at the University of Minnesota , and a core faculty member of the Minnesota Institute for Astrophysics (MIfA). He serves as Program Director for the University of Minnesota– Large Binocular Telescope (LBT) / Steward Observatories partnership, Vice-Chair of the LBT Observatory Board of Directors, and Associate Director of the MLOF & OBO observatories. Additional affiliations include membership in the Large Binocular Telescope Observatory (LBTO) consortium. Education: Ph.D. in Physics and Astronomy, University of Rochester, 1987 M.A. in Physics, University of Rochester, 1982 A.B. in Physics, Dartmouth College, 1980 Research Interests: Woodward is an international authority on XUVOIR (X-ray–UV–Optical–IR) observational astrophysics . His work addresses the physics of interstellar and circumstellar dust grains , the energetic and chemical evolution of classical nova explosions , the life cycles of evolved stars , and the thermal and compositional behaviour of comets and small Solar-System bodies . A parallel strand of research involves telescope and instrumentation development , including leadership roles in Spitzer Space Telescope legacy science planning, SOFIA airborne observatory utilisation, and interferometric exoplanet surveys with the LBT Interferometer . Recent Publication Themes (2010–2011): Recent refereed works demonstrate a breadth of inquiry spanning high-redshift galaxy spectroscopy, detailed mid-infrared analyses of cometary fragments, chemical and dust evolution in novae, multi-epoch studies of supernova remnants, and large-scale infrared surveys of evolved stellar populations and asteroids. Honours & Awards: National Science Foundation – White House Presidential Faculty Fellow National Science Foundation – Young Investigator Award Smithsonian Institution Faculty Fellow – Air & Space Museum Ford Foundation Minority Fellow Multiple University of Wyoming teaching awards (1992–1999) Advising, Grants & Infrastructure: Woodward currently mentors one post-doctoral researcher, two graduate students, and three undergraduates within the Minnesota Infrared Lab . Research is supported competitively by the NSF and NASA . The group operates a dedicated 30 TB data server and over 15 client workstations, maintained by an in-house systems administrator, for intensive data reduction and remote telescope control. Labs, Teams & Facilities: The Minnesota Infrared Lab serves as the primary research unit. Extensive access is provided to the Spitzer and SOFIA archives, the Large Binocular Telescope , Gemini Observatory , Steward Observatory facilities, and future James Webb Space Telescope programs. Woodward is also a member of the exoplanet-imaging LEECH collaboration using the LBT Interferometer .

• Impact Engineering
• Composite Materials
• Ballistic Protection
• +۷ مورد دیگر

Professor Jose Antonio Loyola Lorenzo is a Full Professor in the Department of Continuum Mechanics and Structural Analysis at the School of Engineering, Universidad Carlos III de Madrid. His academic career spans over 15 years with consistent research output in structural mechanics and impact engineering. His research interests focus on impact engineering , composite materials , and ballistic protection systems . He has made significant contributions to understanding the mechanical behavior of composite structures under various loading conditions, with particular expertise in helmet design, energy absorption systems, and biodegradable composites for protective applications. Professor Loyola Lorenzo's recent publications (2020-2024) reveal a strategic shift toward sustainable materials while maintaining his expertise in impact engineering. His work increasingly focuses on biodegradable composites (particularly flax/PLA systems), gender-inclusive protective equipment design, and advanced manufacturing techniques for safety applications. He currently leads multiple research projects including: ECOHELMET - Advanced helmet design with biodegradable materials considering gender and age (AEI, 2024-2027) Structural behavior of biodegradable composite elements under low-velocity impact (AEI, 2022-2025) Development of lightweight multilayer ballistic protections (AEI, 2021-2025) His advising approach emphasizes both theoretical understanding and practical implementation, with recent theses covering topics from meshfree modeling of helical piles to mechanical behavior analysis of aramid composites for personal protection. Professor Loyola Lorenzo maintains strong industry connections with defense, aerospace, and safety equipment manufacturers, providing students with valuable professional opportunities.

• Forensic Chemistry
• Vibrational Spectroscopy
• Explosive Residue Analysis
• +۹ مورد دیگر

Carmen García Ruiz is a Professor in the Department of Analytical Chemistry, Physical Chemistry and Chemical Engineering at the University of Alcalá, where she coordinates the Research group in chemical and forensic sciences. Her academic career spans over two decades with continuous research funding from national and European sources. University of Alcalá (Primary Appointment) Instituto Universitario de Investigación en Ciencias Policiales (IUICP) (Collaborative Research) European Union Research Projects (H2020 RISEN and others) Ministerio de Ciencia e Innovacion (Past Collaborations) Professor García Ruiz's research focuses on applying advanced analytical techniques to forensic problems. Her work centers on vibrational spectroscopy (Raman and FTIR) for analyzing explosive residues, biological fluids, and document evidence. She has pioneered methods using bio-photonic emission studies, mass spectrometry, and chromatographic techniques for forensic applications. Her laboratory integrates traditional forensic chemistry with data mining and artificial intelligence approaches to enhance evidence interpretation. Her recent publications (2020-2023) demonstrate a strong output in high-impact forensic journals covering drug-facilitated sexual assaults, Raman spectroscopy applications, and taphonomic studies. She has authored the textbook 'Introducción a la Química Forense' (2020) and contributed to the 'Manual de Criminalística y Criminología.' Principal Investigator for 2025 project on multiespecies forensic science Co-Investigator on H2020 RISEN project (284,550 euro budget) Multiple national research projects on forensic toxicology and explosive analysis Development of specialized equipment including ultra-weak photon emission spectrometers Professor García Ruiz teaches Forensic Chemistry Laboratory, Chemical Submission, and Fundamentals of Criminalistics Investigation. She has developed innovative teaching methods focused on team-based learning and competency assessment. Her laboratory serves as a hub for forensic analysis, collaborating with law enforcement agencies and international research groups to advance forensic science methodology and application.

Shubham Srivastavمشاهده پروفایل

استاد مهمان

• Supernovae
• Transient Astronomy
• Stellar Explosions
• +۵ مورد دیگر

Dr. Shubham Srivastav is a Visiting Scholar in the School of Mathematics and Physics at Queen's University Belfast, actively contributing to cutting-edge research in astrophysics. His work focuses on transient cosmic phenomena, with particular expertise in supernovae, gamma-ray bursts, and kilonovae. He maintains strong international collaborations and has established himself as a productive researcher with 43 publications between 2020-2025. Dr. Srivastav's research interests center on Supernovae (100%) , Transient Astronomy (60%) , Stellar Explosions , and Spectroscopy . His work analyzes the physical mechanisms behind cosmic explosions, including double detonation models for Type Ia supernovae and the identification of optical counterparts for X-ray transients. He investigates phenomena spanning white dwarf systems, ejecta dynamics, and luminosity variations across different explosion scenarios. His recent publication trend shows significant growth, with 15 papers in 2024 and 6 already in 2025. These works appear in top astrophysics journals including Monthly Notices of the Royal Astronomical Society and The Astrophysical Journal Letters. Dr. Srivastav frequently collaborates on large international projects, often as part of teams with 20+ researchers, indicating strong integration into global astronomy networks. Primary affiliation: School of Mathematics and Physics, Queen's University Belfast Key collaborations: Pan-STARRS survey team, international gamma-ray burst consortia Research methodology: Multi-wavelength observations, spectral analysis, transient detection Dr. Srivastav's research program demonstrates strong momentum with increasing publication output each year. His work addresses fundamental questions in stellar evolution and explosive phenomena, contributing to our understanding of cosmic events that shape galaxies and disperse elements throughout the universe.

Paul Nugentمشاهده پروفایل

استادیار

• Precision Agriculture
• Optical Sensing
• Agricultural Technology
• +۶ مورد دیگر

Paul Nugent serves as Assistant Professor in the Department of Land Resources and Environmental Sciences within Montana State University's College of Agriculture. He maintains dual affiliations with the Optical Technology Center (OpTec) and the College of Agriculture, positioning his work at the intersection of engineering innovation and agricultural application. His research program bridges advanced sensing technologies with practical farm-level implementation to enhance agricultural productivity and sustainability across Montana. Dr. Nugent's academic foundation includes: B.S. in Electrical Engineering (2005) M.S. in Electrical Engineering (2008) Ph.D. in Engineering (2016) All earned at Montana State University, providing deep institutional knowledge of Montana's agricultural landscape and technical research infrastructure. His educational background uniquely combines electrical engineering rigor with agricultural systems understanding. Research initiatives center on optical sensing systems (remote and proximal), Internet of Things integration, and machine learning applications for precision agriculture. Current projects target optical tools for pest management, soil health monitoring, and crop production optimization, emphasizing producer-engaged research conducted directly in operational farm environments. This approach ensures technologies address real-world adoption barriers while generating actionable insights for agricultural producers. Dr. Nugent's publication record demonstrates consistent contributions to optical remote sensing applications, with recent work spanning hyperspectral weed detection, thermal imaging for environmental monitoring, and multispectral systems for agricultural research. His scholarly output bridges engineering innovation with practical agricultural problem-solving across diverse contexts from crop production to wildlife management. Research funding reflects strong alignment with Montana's agricultural priorities: Evaluating hyperspectral detection of potato virus Y (Montana Department of Agriculture) Barley adaptation to abiotic stress (USDA NIFA) Specialty crops water management network (Montana Department of Agriculture) Spectral response of pulses to soil acidity (Montana Department of Agriculture) Beef production sustainability (National Cattlemen's Beef Association) These projects collectively address critical challenges in Montana agriculture while developing next-generation precision farming tools. Dr. Nugent's work through the Optical Technology Center fosters interdisciplinary collaboration between engineers, agricultural scientists, and producers to accelerate technology transfer and adoption across Montana's diverse farming operations.

• Robotics
• Control Systems
• Machine Learning
• +۷ مورد دیگر

Matteo Saveriano is an Associate Professor at the University of Trento , affiliated with both the Department of Industrial Engineering and the Department of Information Engineering and Computer Science . His work focuses on Robotics , Control Systems , and Machine Learning , with applications in robotic manipulation, locomotion, and human-robot interaction. Email: matteo.saveriano@unitn.it Research interests include antifragile control systems, dynamic movement primitives, reinforcement learning, biomechanical characterisation, and motion planning on discrete manifolds. His teaching covers Automatic Control and Robotics , with a hybrid theoretical-practical approach using Python simulations. Recent publications explore topics such as neuro-symbolic robotics, radiation effects on embedded GPUs, surface defect identification with Bayesian filtering, and reactive navigation using control barrier functions. These works highlight interdisciplinary trends at the intersection of robotics , machine learning , and control theory .

Hans-Hermann Ritzeمشاهده پروفایل

پژوهشگر

• Theoretical Chemistry
• Ultrafast Spectroscopy
• Quantum Dynamics
• +۳ مورد دیگر

Dr. Hans-Hermann Ritze is a theoretical researcher at the Max Born Institute for Nonlinear Optics and Short Pulse Spectroscopy (MBI) in Berlin, Germany, where he leads the Attosecond Theory Group (T1) from House A, room 2.09. Contact is available via hans-hermann.ritze@mbi-berlin.de or +49 30 6392 1239. His work bridges quantum chemistry and ultrafast laser physics with experimental collaborators. His research centers on theoretical modeling of excited-state dynamics in biomolecules and nanostructures using attosecond spectroscopy techniques. Key focus areas include hydration effects on DNA base photostability (thymine, guanosine, adenine), proton transfer mechanisms, and fragmentation dynamics under intense laser fields. He integrates quantum simulations with time-resolved photoelectron spectroscopy to unravel non-adiabatic processes at femtosecond timescales. Analysis of his 2009-2015 publications reveals consistent investigation of photophysical relaxation pathways in aqueous environments, particularly how solvent interactions modulate excited-state lifetimes in nucleobases. His group specializes in simulating liquid-jet photoelectron spectra and modeling laser-induced dynamics in clusters like hydrated adenine and C60 fullerenes. Dr. Ritze has no listed scientific awards in the provided materials. While student advising isn't documented, his collaborative publications span multiple institutions including Fritz Haber Institute and University of Tokyo. He directs the Attosecond Theory Group at MBI, focusing on computational frameworks for electron-nuclear dynamics in photoionization and dissociation processes.

Jay Grateمشاهده پروفایل

استاد پژوهشی

• Chemical Microsensors
• Analytical Fluidics
• Chemically Selective Materials
• +۹ مورد دیگر

Jay Grate serves as a Lab Fellow and Chemist in the Materials Sciences division at Pacific Northwest National Laboratory (PNNL), a U.S. Department of Energy national laboratory operated by Battelle. With over three decades of research experience, he has established himself as a leading expert in chemical sensing technologies and analytical methodologies. His work bridges fundamental science with practical applications in national security, environmental monitoring, and industrial processes. Dr. Grate received his educational foundation with a BA in Chemistry (summa cum laude) from Rollins College in 1978, followed by an MS in 1980 and PhD in Chemistry from the University of California, San Diego in 1983. His academic training provided the foundation for his subsequent groundbreaking work in analytical chemistry and materials science. His research interests focus on the development of chemically selective materials, chemical microsensors, and analytical fluidics systems. Dr. Grate's work integrates chemical sciences, material sciences, and measurement sciences to create innovative microanalytical principles, methods, and systems. He has made significant contributions to chemical vapor sensing, biological toxin and pathogen detection, radionuclide sensing, and the application of nanostructured materials in analytical chemistry and catalysis. His research spans from basic scientific investigations to prototype detector development for real-world applications. Analysis of his publication record reveals a consistent trajectory of innovation in sensor development and analytical methodologies. His work demonstrates expertise across multiple domains including polymer chemistry for sensing applications, radiochemical analysis techniques, microfluidic systems, and advanced chemometric methods for data interpretation. The interdisciplinary nature of his research connects materials science with analytical chemistry, environmental science, and national security applications. R&D 100 Award (2004) for work in developing rationally designed polymers for chemical threat detection ACS Northwest Regional Industrial Innovation Award (2007) Battelle Distinguished Inventor recognition (2009) Dr. Grate has authored or co-authored over 100 peer-reviewed journal articles and more than a dozen book chapters, demonstrating significant scholarly impact. He holds 17 patents, several of which have been commercially licensed, indicating the practical value of his research. His work has been featured in prominent scientific journals and has appeared on the covers of Analytical Chemistry, Chemical Reviews, and Polymer News, reflecting the significance of his contributions to the field. His research has received coverage in major scientific news outlets including Chemical and Engineering News, Science, and Physics Today.

Matteo Camilliمشاهده پروفایل

دانشیار

• Software Engineering
• Software verification
• Automated testing
• +۴ مورد دیگر

Matteo Camilli is an Associate Professor in the Department of Electronics, Information and Bioengineering (DEIB) at Politecnico di Milano, Italy, where he leads research in software engineering and verification. His academic journey includes positions as Assistant Professor at Free University of Bozen-Bolzano and postdoctoral research at the University of Milan and University of Bergamo. His educational background includes a PhD in Computer Science (2015), MSc in Computer Science (2012), and BSc in Computer Science (2009), all from the University of Milan. His doctoral research focused on combining advanced abstraction techniques and big data approaches to address state explosion problems in formal verification. Camilli's research primarily centers on software verification, testing, and methods to improve dependability of autonomous, cyber-physical, service-based, and ML-enabled critical systems. His work spans formal methods, model-based testing, uncertainty quantification, and design-time/runtime verification with applications to complex distributed systems. His recent publications reflect a growing focus on explainable self-adaptation, quality assurance for LLM-based systems, and managing uncertainty in adaptive systems. His publication record includes papers in top journals (TOSEM, TAAS, JSS, EMSE) and conferences (ICSE, ISSRE, ICST, ICSA). He serves on program committees for prestigious conferences including ICSE, ICSA, ICST, and ECSA, and is on the steering committee for the International Workshop on Formal Approaches for Advanced Computing Systems (FAACS). Camilli actively contributes to the academic community through conference organization, including serving as Program Committee Member for numerous conferences and as Program Co-Chair for the Software Architecture track at ACM SAC. He also serves as guest editor for special issues on automated testing and dependable AI systems. His teaching portfolio at Politecnico di Milano includes Software Engineering 2, Software Engineering for Automation, and Distributed Software Development. Previously at Free University of Bozen-Bolzano, he taught Systems Engineering and Verification and Reliability for Dependable Systems.