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

• Power System Operation
• Smart Grids
• Digital Power System Protection
• +۵ مورد دیگر

Irina Oleinikova is a Professor at the Norwegian University of Science and Technology (NTNU) in the Department of Electric Energy, Faculty of Information Technology and Electrical Engineering. She leads the Power System Operation and Analysis research group and serves as the NTNU Smart Grid Team Leader. She is a steering committee member of the European Energy Research Alliance (EERA) Joint Programme on Smart Grids and an expert in the International Smart Grid Action Network (ISGAN) WG6. Research Interests : Power System Operation, Digital Power System Protection and Control, Grid Resilience, Energy Flexibility, Cybersecurity in Power Systems, and Hydrogen Technology Integration. Her work focuses on advancing smart grids, grid flexibility, and cybersecurity through projects like FME CINELDI, HONOR, ASAP, and ZeroKyst. Key Projects : CINELDI : Developing intelligent electricity distribution grids. HONOR : Cross-sectoral energy flexibility markets. ASAP : Next-generation system protection schemes. ZeroKyst : Hydrogen and charging infrastructure along Norway’s coast. COSPAT : Stability of AC/DC transmission grids via co-simulation. Advising & Grants : Supervises PhD students in digital protection and cybersecurity. Active in projects funded by RCN, STATNETT, and EU Horizon 2020. Leads the Power System Operation and Analysis group and collaborates with SINTEF and industry partners. Labs/Teams : NTNU Smart Grid Team and the Power System Operation research group.

Laura L. Van Eerdمشاهده پروفایل

استاد

• Sustainable Soil Management
• Agriculture
• Cover Crops
• +۳ مورد دیگر

Dr. Laura L. Van Eerd is a Professor of Sustainable Soil Management at the University of Guelph Ridgetown Campus, affiliated with the School of Environmental Sciences. Her research focuses on biogeochemical cycling of nitrogen and carbon in agroecosystems, emphasizing cover crops, soil health, and sustainable agriculture. She holds a BSc (Env), MSc, and PhD from the University of Guelph. Her research addresses: (1) cover crop roles in soil health and productivity, (2) nitrogen use efficiency, and (3) mitigating environmental impacts of agricultural practices. Current projects include cover crop nitrogen losses, remote sensing for crop nitrogen deficiency, and pest control product environmental impacts. She has published over 50 peer-reviewed articles, including the 2018 Best Paper in the Canadian Journal of Plant Science. Education: BSc (Environmental Science), University of Guelph MSc, University of Guelph PhD, University of Guelph Her awards include recognition as one of Canada’s Influential Women in Agriculture (2020), the Dr. Ron Pitblado Teaching Excellence Award (2016), and the OAC Distinguished Extension Award (2011). Her work bridges research, teaching, and extension to support Ontario’s agricultural sector. Advising and grants: Laura leads research teams at Ridgetown Campus, focusing on vegetable production systems and sustainable soil management. Her grants include funding for cover crop nitrogen dynamics and soil health indicator studies. Labs/teams: Active in Ridgetown Campus’s agricultural research initiatives, collaborating with growers and government to develop practical solutions for soil health and environmental sustainability.

• Computational Linguistics
• Computer Science
• Machine Learning
• +۱ مورد دیگر

Noah A. Smith is an Adjunct Professor of Computer Science and Engineering at the University of Washington. His work focuses on computational linguistics, machine learning, and natural language processing. He holds a Ph.D. in Computer Science from Johns Hopkins University (2006). His research explores ethical AI applications, multimodal systems, and foundational aspects of language models. Key research areas include: Ethical considerations in NLP, such as detecting rights abuses through text analysis Efficient decoding and alignment strategies for large language models Large-scale evaluation frameworks for multitask and multimodal generation Understanding pretraining dynamics and data composition effects Recent work emphasizes transparency in language models (e.g., tracing outputs to training data) and improving alignment through human feedback. He has contributed to open-source projects like OLMo and Dolma, advancing reproducibility in NLP research. No awards explicitly listed in provided texts. No specific advising or grant details available, though extensive publication output indicates active research involvement.

Stephen Y. Chouمشاهده پروفایل

استاد

• Nanotechnology
• Bioengineering
• Nanophotonics
• +۷ مورد دیگر

Stephen Y. Chou is the Joseph C. Elgin Professor of Engineering and Professor of Electrical and Computer Engineering at Princeton University. He is affiliated with the Princeton Materials Institute (PMI) and leads the Nano, Meta, and Bio-Health Laboratory (NMBH Lab), previously known as the Nanostructures Lab. His work spans nanotechnology, bioengineering, and photonics, integrating interdisciplinary approaches to address challenges in health, electronics, and manufacturing. Ph.D., Massachusetts Institute of Technology, 1986 M.A., Physics, State University of New York at Stony Brook, 1982 B.S., Physics, University of Science and Technology of China, 1978 Chou's research focuses on nano-bioengineering for diagnostics and health, nanophotonics (meta-optics and subwavelength elements), and nanofabrication techniques. His work has revolutionized nanoimprint lithography, enabling breakthroughs in semiconductor devices, optical sensors, and biomedical tools. The NMBH Lab's innovations include ultra-sensitive biosensors (D2PA), the iMOST™ diagnostic platform, and foundational contributions to gate-all-around (GAA) transistors for sub-3 nm CMOS technology. His publications reflect advancements in plasmonic biosensors, organic solar cells, nanofluidics, and scalable nanoimprint methods. Key themes include nanoscale light manipulation, low-cost diagnostic systems, and quantum electronic devices. Member, National Academy of Engineering (2007) IEEE Cledo Brunetti Award (2004) IEEE Nanotechnology Pioneer Award (2014) Nanoimprint Pioneer Award (2015) Packard Fellow (1991) Fellow, IEEE (2000) Inductee, New Jersey High Tech Hall of Fame (2004) MIT Technology Review Emerging Technologies (2003, 2007) Chou has founded three companies (Nanonex, NanoOpto, Essenlix) and co-founded BioNano Genomics (NASDAQ: BNGO). His work bridges academic research and industrial impact, with over 700 publications (H-index 97) and 400 patents, influencing global nanotechnology and diagnostics. The NMBH Lab develops transformative technologies in nano-bioengineering, nanophotonics, and nanofabrication, emphasizing practical applications for healthcare and electronics.

Azad J Naeemiمشاهده پروفایل

استاد

• Nanotechnology
• Nanoelectronics
• Spintronics
• +۵ مورد دیگر

Azad J Naeemi is a Professor holding the Dean's Professorship in the School of Electrical and Computer Engineering at the Georgia Institute of Technology. He serves as Editor-in-Chief of the IEEE Journal on Exploratory Computational Devices and Circuits and Associate Director for Computation of the NSF-supported National Nanotechnology Coordinated Infrastructure (NNCI). His educational background includes a B.S. in Electrical Engineering from Sharif University (1994) and M.S./Ph.D. in Electrical and Computer Engineering from Georgia Tech (2001/2003). Prior to academia, he worked as a design engineer in Tehran (1994-1999) and as a research engineer at Georgia Tech's Microelectronics Research Center (2004-2008). Professor Naeemi's research spans nanotechnology with focus on emerging nanoelectronic devices, spintronics, ferroelectric devices, and design technology co-optimization for CMOS/beyond-CMOS technologies. His work bridges materials, devices, circuits, and systems, particularly investigating integrated circuits based on nanoscale devices and interconnects. Educational research includes experiential learning environments for engineering education. Recent publications (2024-2025) demonstrate strong emphasis on spin-orbit torque MRAM, ternary content addressable memories, ferroelectric/antiferroelectric devices, and plasmonic circuits. Key trends include energy-efficient hardware accelerators, neuromorphic computing applications, and compact modeling for advanced technology nodes. His scientific honors include: IEEE Solid-State Circuits Society James Meindl Innovators Award (2022) IEEE Electron Devices Society Paul Rappaport Award (2008) NSF CAREER Award (2013) SRC Inventor Recognition Award (2010) Multiple Georgia Tech teaching awards Professor Naeemi leads research supported by NSF (including NNCI infrastructure) and SRC. His editorial role with IEEE JXCDC positions him at the forefront of exploratory computational devices. He previously served as General Co-Chair for the IEEE International Interconnect Technology Conference (2013). His work connects with Georgia Tech's Microelectronics Research Center and national nanotechnology initiatives through the NNCI network, focusing on computational infrastructure for nanoscale device characterization and design.

Xiaozhuo Weiمشاهده پروفایل

پژوهشگر

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

Xiaozhuo Wei is a Postdoctoral Scholar Research Associate in Geophysics at the California Institute of Technology (Caltech), affiliated with the Division of Geological and Planetary Sciences and the Department of Geophysics. His research focuses on geophysical monitoring of volcanic and tectonic processes, employing advanced techniques like fiber-optic geodesy, seismic tomography, and machine learning. He specializes in studying seismicity associated with volcanic eruptions, magma dynamics, and slow slip events in subduction zones, with significant contributions to understanding the 2018 Kīlauea eruption and Iceland's Reykjanes Peninsula eruptions. Key affiliations: Caltech’s Geophysics Department, Division of Geological and Planetary Sciences Research tools: Distributed Acoustic Sensing (DAS), ambient noise tomography, and offshore seismic arrays Field areas: Kīlauea Volcano (Hawaii), Iceland’s Reykjanes Peninsula, and Alaska’s subduction zones Wei’s work integrates multidisciplinary approaches to investigate crustal deformation, magma storage, and seismic hazard assessment. He has contributed to improving earthquake catalogs using offshore data and analyzing post-eruption seismicity patterns. His recent studies explore the spatial-temporal evolution of volcanic systems and the mechanics of dike intrusions using high-resolution geophysical methods. His research emphasizes real-time monitoring of volcanic processes and has advanced understanding of how seismic velocity changes reflect magma movement. Collaborations involve deploying ocean-bottom seismometers and machine learning algorithms to detect slow slip events in subduction zones, enhancing earthquake prediction capabilities. Notable projects include the 2023–2024 Reykjanes eruptions study and the analysis of the 2018 Kīlauea eruption’s seismic aftermath. His work bridges observational seismology with theoretical models of volcanic and tectonic systems, contributing to both fundamental science and practical hazard mitigation strategies.

• Resources Engineering
• Geology
• Physical Geography and Environmental Geoscience
• +۹ مورد دیگر

Ji-Quan Shi is a Research Fellow in the Department of Earth Science & Engineering at Imperial College London's Faculty of Engineering. His affiliations include the Energy Futures Lab, Minerals, Energy and Environmental Engineering, and Petroleum Geoscience and Engineering. His research focuses on geomechanical and coupled THM (thermo-hydro-mechanical) modeling for CO2 storage, geothermal energy systems, and mining-induced seismicity. Key interests include induced seismicity risk assessment, reservoir simulation, and fracture mechanics in subsurface energy systems. Education background not explicitly stated in text, but his expertise spans geoscience, civil engineering, and environmental systems. Research areas emphasize interdisciplinary approaches to subsurface energy challenges, including carbon capture and storage (CCS), geothermal reservoir management, and coal mining hazards. His work combines field observations, numerical modeling, and laboratory experiments to address challenges like CO2 plume tracking, fault activation mechanisms, and microseismic event forecasting. Recent studies focus on Iceland's geothermal fields (Hellisheiði) and North African CO2 storage sites (In Salah). He has pioneered methods for integrating microseismic data with reservoir models to improve safety and efficiency in subsurface operations. Notable contributions include probabilistic frameworks for hazardous microseismicity prediction in coal mines and coupled modeling of thermal effects on induced seismicity. His research also explores innovative monitoring technologies like distributed fiber optic sensing for CO2 plume tracking.

Biondo Biondiمشاهده پروفایل

استاد

• Seismic Imaging
• Geophysics
• Computational Geosciences
• +۶ مورد دیگر

Biondo Biondi is the Barney and Estelle Morris Professor of Geophysics at Stanford University, affiliated with the School of Earth Sciences. He leads the Stanford Exploration Project and holds roles such as Chair of the Geophysics Department (2019–2022) and Director of the Stanford Earth Imaging Project (1998–Present). His research focuses on seismic imaging algorithms, computational geophysics, and fiber-optic sensing technologies. He earned his Ph.D. (1990), M.S. (1987) in Geophysics from Stanford, and M.Sc. in Electrical Engineering from Politecnico di Milano (1984). Dr. Biondi's research emphasizes improving seismic data imaging through advanced computational methods. He pioneered urban seismic monitoring using preexisting telecommunication fibers, enabling cost-effective subsurface analysis. His work integrates machine learning and high-performance computing to address challenges in reservoir imaging, CO2 monitoring, and infrastructure health. Key research areas include distributed acoustic sensing (DAS), ambient noise tomography, and inverse theory applications. He has authored over 180 publications and received awards like the SEG Honorable Mention (2019, 2016, 2009) and the Distinguished Instructor Short Course (2007). His teaching includes courses like 3-D Seismic Imaging and Reflection Seismology, and he advises graduate students in geophysics and computational science. Collaborations span industry (e.g., Schlumberger, Saudi Aramco) and global institutions. Biondi’s administrative contributions include co-directing the Stanford Earth Sciences Algorithms and Architectures Initiative and serving on editorial boards like the SIAM Journal on Imaging Sciences. His lab’s innovations bridge geophysics with emerging technologies, advancing both academia and industry applications in energy, environment, and urban infrastructure.

Samuel Chengمشاهده پروفایل

دانشیار

• Information Theory
• Signal and Image Processing
• Remote Sensing
• +۴ مورد دیگر

Dr. Samuel Cheng is an Associate Professor at the Gallogly College of Engineering , University of Oklahoma , specializing in Electrical and Computer Engineering . He holds a Ph.D. in Electrical Engineering from Texas A&M University (2004), preceded by M.S. and M.Phil. degrees from the University of Hawaii and Hong Kong University of Science and Technology. Education: B.S. (University of Hong Kong, 1995), M.Phil. (HKUST, 1997), M.S. (University of Hawaii, 2000), Ph.D. (Texas A&M, 2004) Professional Experience: Senior Research Engineer at Advanced Digital Imaging Research (2004-2005), prior internships at Microsoft Asia and Panasonic Technologies His research focuses on Information Theory , Signal and Image Processing , and Pattern Recognition , with applications in remote sensing, urbanization analysis, and disaster monitoring. His publications span topics including urban impervious surface mapping , nighttime light analysis , and machine learning for environmental data . His work often integrates multi-source datasets (e.g., Landsat, LiDAR, social media) for spatiotemporal modeling. Technical Expertise: Spectral unmixing, machine learning, thermal remote sensing, GIS integration Key Applications: Power outage detection, vegetation-crime correlation, PM2.5 estimation, smart meter data fusion Dr. Cheng holds three US patents in digital watermarking and is affiliated with IEEE, Sigma Xi, and AAAS. His recent articles demonstrate a trend toward leveraging AI for remote sensing challenges and analyzing urbanization impacts on ecosystems.

Cheuk Wai Taiمشاهده پروفایل

پژوهشگر

• Structure-Property Relationships
• Functional Materials
• Electron Microscopy
• +۶ مورد دیگر

Cheuk Wai Tai is a Senior Staff Researcher at Stockholm University's Department of Environmental and Materials Chemistry since 2009. He manages the transmission electron microscopes and sample preparation equipment at the Electron Microscopy Center and serves as Section Editor for the Journal of Electronic Materials. His work focuses on quantitative structure characterization in functional materials research, particularly within nanoscience and nanotechnology contexts. Education: Ph.D. in Applied Physics, The Hong Kong Polytechnic University, 2004 M.Phil. in Applied Physics, The Hong Kong Polytechnic University, 2001 M.Sc. in Physics, The Chinese University of Hong Kong, 1998 B.Sc. (Hons) in Engineering Physics, The Hong Kong Polytechnic University, 1997 Dip. in Mechanical Engineering (Computer Aided Engineering), Institute of Vocational Education (formerly Haking Wong Technical Institute), Hong Kong, 1992 His research centers on structure-property relationships in functional materials through advanced electron microscopy techniques. Current specializations include Pair Distribution Function (ePDF) & Diffuse Scattering, Energy Materials characterization, and EM sample preparation methodology development. The group maintains strong focus on translating structural data into functional performance metrics for nanomaterials. Recent publications (2013-2019) demonstrate consistent emphasis on electron microscopy applications for energy storage materials (batteries, photocatalysts) and functional ceramics. Key trends include structural disorder analysis in piezoelectrics, development of quantitative TEM methods like SUePDF, and nanoscale characterization of electrocatalyst surface phases. His work bridges materials chemistry with advanced imaging techniques. Scientific recognition includes: Fellow of The Royal Microscopical Society (U.K.) Senior Member of IEEE Marie Curie Fellowship (2007-2009) from European Commission Sir Edward Youde Memorial Fellowship (2003/2004) from Hong Kong S.A.R. Government He teaches Solid State Chemistry (KZ7003) and leads Introduction to Analytical Electron Microscopy (KZ8009), having previously taught Advanced Transmission Electron Microscopy (KZ8010) before 2011. Major grants supporting his work include: "Quantitative structural characterisation using 3D electron-based pair distribution function" (Swedish Research Council) "A Multidimensional Toolkit for Modern Electron Microscopy" (Swedish Foundation for Strategic Research) "Mitigating Ni-rich Li-ion cathode side-reactions" (Swedish Energy Agency, Co-applicant) He leads the Cheuk-Wai Tai group within Stockholm University's chemistry department and oversees operations at the Electron Microscopy Center, where his team develops and applies advanced characterization techniques for functional materials research.

David A. Mullerمشاهده پروفایل

استاد

• Electron Microscopy
• Materials Science
• Nanoscale Science
• +۳ مورد دیگر

David A. Muller serves as the Samuel B. Eckert Professor of Engineering in the School of Applied and Engineering Physics at Cornell University and co-directs the Kavli Institute at Cornell for Nanoscale Science. His research group focuses on developing quantitative electron microscopy methods to understand materials properties at the atomic scale, with particular emphasis on sustainable energy applications and quantum materials. Muller's laboratory utilizes some of the world's highest resolution electron microscopes housed in specially designed, environmentally isolated rooms. Muller received his undergraduate education at the University of Sydney and earned his Ph.D. in Physics from Cornell University in 1996. Between 1997 and 2003, he was a member of the technical staff at Bell Laboratories, where he applied his expertise in imaging single atoms and atomic-scale spectroscopy to determine the physical limits of transistor miniaturization. In 2003, he returned to Cornell as a faculty member, where he has since established himself as a leader in advanced electron microscopy techniques. Muller's research spans multiple frontiers in materials science, with particular focus on understanding how electronic-structure changes at the atomic scale control macroscopic behavior in diverse systems like turbine blades, fuel cells, and transistors. His current work emphasizes the physics of renewable energy materials, atomic-scale control of materials to create electronic phases that cannot exist in bulk, and developing hardware and algorithms for 'big data' acquisition from high-bandwidth pixelated electron microscope detectors. His group's work bridges theoretical physics and experimental techniques, requiring researchers who can think in both real and reciprocal space while considering both fundamental principles and practical applications. Analysis of Muller's recent publications reveals a strong trend toward advancing electron ptychography and 4D-STEM techniques for atomic-scale imaging. His group has pioneered methods for 3D atomic-scale metrology, strain mapping, and imaging of radiation-sensitive materials. The research spans applications from semiconductor technology to quantum materials and energy storage systems, demonstrating the versatility of his microscopy approaches across multiple scientific domains. Top 100 Young Innovator by Tech Review Magazine (2003) Burton Medal from Microscopy Society of America (2006) Ernst Ruska Prize of German Society for Electron Microscopy (2021) John Cowley Medal from International Federation of Societies for Microscopy (2023) Fellow of American Physical Society Fellow of American Association for the Advancement of Science Fellow of Microscopy Society of America Muller has mentored an extensive group of students and postdocs who have gone on to successful careers in academia and industry. His former students hold faculty positions at institutions including Rice University, University of Southern California, Seoul National University, Colorado School of Mines, and the University of Michigan, among others. His research has been supported by substantial grants, including a $22.5M NSF grant that accelerates materials discovery. The Muller lab maintains close collaborations with the Kavli Institute at Cornell and PARADIM (Platform for the Accelerated Realization, Analysis, and Discovery of Interface Materials). The Muller lab operates at the forefront of electron microscopy, housing specialized instrumentation including high-resolution transmission electron microscopes in environmentally isolated rooms. The group collaborates extensively with other research teams at Cornell and worldwide, focusing on understanding materials atom by atom. Current research directions include applying machine learning to electron microscopy data analysis, developing cryogenic techniques for studying low-melting-point materials, and exploring quantum phenomena in engineered materials systems.

Kaiyang Liuمشاهده پروفایل

استادیار

• Distributed Cloud/Edge Computing
• Data Center Networks
• Distributed Machine Learning
• +۳ مورد دیگر

Kaiyang Liu is an Assistant Professor at the Department of Computer Science, Memorial University of Newfoundland. He holds a Ph.D. from Central South University (2019) and was a Postdoctoral Fellow at the University of Victoria, Canada. His research focuses on distributed cloud/edge computing, data center networks, and distributed machine learning, emphasizing optimization for data-intensive services. He is an IEEE Senior Member and has received prestigious awards, including the NSERC Discovery Grants and IEEE TCCLD Outstanding Ph.D. Thesis Award. Education: Ph.D. in Information Science and Technology, Central South University (2014–2019) M.Sc. in Information Science and Technology, Central South University (2012–2014) B.Eng. in Information Science and Technology, Central South University (2008–2012) Research Assistant at the University of Victoria (2016–2018) Research Interests: Kaiyang’s work bridges AI and cloud computing, exploring optimization strategies for next-generation systems. Key areas include learning-based congestion control, energy-efficient resource management, and scalable distributed storage solutions. His research has been published in top-tier journals like IEEE Transactions on Parallel and Distributed Systems and conferences such as IEEE ICDCS. Awards & Grants: NSERC Discovery Grants & Discovery Launch Supplement (2024) IEEE TCCLD Outstanding Ph.D. Thesis Award (2020) CSC-UVic Fellowship (2016–2018) Teaching: He teaches courses on Computer Networks, Advanced Computer Networks, and Operating Systems at Memorial University and previously at the University of Victoria. Labs & Teams: His research group focuses on Space Edge Computing, leveraging LEO satellites for resilient, low-latency networks. Ongoing projects include optimizing distributed systems for AI workloads and satellite-based data centers.

Geoffrey S.D. Beachمشاهده پروفایل

استاد

• Spintronics
• Magnetic Materials
• Nanotechnology
• +۳ مورد دیگر

Geoffrey S.D. Beach is the Toyota Professor in Materials Processing and Professor of Materials Science and Engineering at MIT, and Co-director of the Materials Research Laboratory . His research focuses on spin dynamics, spintronics, and nanoscale magnetic materials, aiming to revolutionize data storage and computation through advanced instrumentation. Education: Bachelor of Science in Physics, California Institute of Technology (1997) PhD in Physics, University of California San Diego (2003) Research Interests: Professor Beach investigates the manipulation of magnetic properties using electric fields, voltage-controlled magnetic order, and the dynamics of skyrmions and domain walls. His work emphasizes materials like ferrimagnetic insulators and garnets, leveraging innovations in solid-state hydrogen gating and interfacial phenomena. Awards: Fellow, IEEE (2023) Junior Bose Award (2009) Labs & Teams: His lab, the Beach Group , develops cutting-edge optical and electrical tools to study magnetization dynamics at nanoscale. Key projects include voltage-gated optical devices and magneto-ionic control of magnetism. Grants & Collaborations: His work is supported by initiatives such as MIT’s Materials Research Laboratory and industry partnerships, though specific grants are not listed here.

John Capobiancoمشاهده پروفایل

استاد

• Nanoscience
• Inorganic Chemistry
• Materials Science
• +۷ مورد دیگر

John Capobianco, PhD, is a Professor in the Department of Chemistry and Biochemistry at Concordia University and holds the Honorary Concordia University Research Chair in Nanoscience. His research focuses on lanthanide-doped nanoparticles, upconversion luminescence, and biomedical applications. PhD, University of Geneva Key research areas include: Nanomaterials synthesis and spectroscopy Upconversion for biomedical imaging Drug delivery systems Photodynamic therapy for cancer treatment Optical thermometry and sensing Recent publications highlight advancements in: X-ray detection via photochromic nanoparticles Lipid-coated nanoparticles for lung permeation Cooperative energy transfer in Yb3+/Eu3+ complexes Biocompatible nanomaterials for secure information storage Pr3+-doped radiosensitizers for glioblastoma therapy Scientific recognitions: Honorary Concordia University Research Chair in Nanoscience Teaching includes undergraduate and graduate courses in inorganic chemistry and spectroscopy. His work bridges fundamental material science with applied biomedical engineering, emphasizing optical properties and therapeutic applications of lanthanide-based nanomaterials.

Jiri Srbaمشاهده پروفایل

استاد

• Formal Methods
• Model Checking
• Petri Nets
• +۴ مورد دیگر

Jiri Srba is a Professor at Aalborg University's Department of Computer Science, part of the Technical Faculty of IT and Design. He leads research in the Distributed, Embedded and Intelligent Systems group and contributes to projects like "ControLing wAter In an uRban Environment" and "Collective Adaptive System SynThesIs using Non-zero-sum Games". His office is located at Selma Lagerløfs Vej 300, 9220 Aalborg Øst, Denmark. Contact him at +4599409851 or srba@cs.aau.dk. His core research focuses on formal methods and applied computer science: Model checking and verification of concurrent systems Petri nets and their applications Network protocol verification and synthesis Distributed system correctness Automated reasoning for industrial systems His publication record shows strong emphasis on network verification, model checking optimization, and applying formal methods to environmental systems. Recent work integrates computer science with sustainable engineering, particularly in water management systems and energy control.