جستجوی استاد راهنمای دانشگاهی

Mikael Asplundمشاهده پروفایل

استادیار

• Cyber-Physical Systems Security
• Formal Methods
• Dependability and Reliability
• +۹ مورد دیگر

Mikael Asplund is an Assistant Professor in the Department of Computer Science at Linköping University, affiliated with the Software and Systems (SAS) division. His research focuses on the security and reliability of cyber-physical systems, particularly in intelligent transportation, smart grids, and autonomous systems. Research Interests: His work integrates formal reasoning, protocol design, and evaluation through simulations and real-world testbeds. Key areas include formal verification of security protocols, remote attestation, automated penetration testing, and vulnerability analysis in critical infrastructure such as EV charging and battery storage systems. Recent Research Trends: His recent publications (2023–2025) emphasize formal methods for security assurance, automated testing, and the application of these techniques to emerging technologies like 5G/6G networks, electric vehicles, and energy systems. There is a strong focus on provable security and practical implementations in embedded and distributed environments. Best paper award at ARES 2024. Nominated for best student paper at VEHITS 2025. Academic Leadership and Grants: He leads or co-leads major projects funded by WASP, ELLIIT, Vinnova, SSF, and Horizon Europe, including Automating Security Assurance using Formal Methods , Protocol Security Verification , and CyberSecDome . He is responsible for the Master’s Program in Cybersecurity and the IT program at LiU, and actively promotes innovation in computer science education. He also coordinates the Cybersecurity Lab at LiU, a dedicated facility for hands-on cybersecurity training.

Barry W. Johnsonمشاهده پروفایل

استاد

• Cybersecurity
• Safety Engineering
• Biometrics
• +۳ مورد دیگر

Barry W. Johnson is the L.A. Lacy Distinguished Professor of Electrical and Computer Engineering at the University of Virginia. He has been on faculty since 1984, promoted to Full Professor in 1994. His career includes roles as SEAS Senior Associate Dean (2006-2015), NSF Division Director (2015-2019), and co-founder/CEO of Privaris (2002-2006). He holds B.S., M.S., and Ph.D. in Electrical Engineering from UVA (1979-1983). Research focuses on ensuring safety/security of critical computer systems. Key areas include cybersecurity, safety engineering, biometrics, IoT security, and autonomous systems. Published over 150 articles, 8 book chapters, two books, and holds 40+ patents. Notable honors include IEEE Fellow (1996), National Academy of Inventors Fellow (2016), and NSF Distinguished Service Award (2019). Recent publications emphasize system safety analysis, fault tolerance, and secure transaction methods. His work combines theoretical advancements with practical applications in transportation systems, nuclear safety, and medical devices. Active in both academia and industry, Dr. Johnson's contributions bridge theoretical research and real-world safety-critical systems deployment.

Jane Kellyمشاهده پروفایل

پژوهشگر

• Livestock Management
• Biosecurity
• Invasive Species Management
• +۱۲ مورد دیگر

Jane Kelly is a Researcher at Charles Sturt University, affiliated with the Faculty of Agricultural, Environmental and Veterinary Sciences and the Gulbali Research Institute. Her work focuses on livestock management, biosecurity, and the application of remote sensing and artificial intelligence in agricultural and environmental systems. Education: PhD in Agriculture, Charles Sturt University (Awarded: 23 Dec 2020) Graduate Diploma in Education, University of Western Sydney (Awarded: 03 Apr 2002) Bachelor of Science in Agriculture (Honours), University of Sydney (Awarded: 23 May 2001) Her research interests include weed-livestock interactions, zoochory, feral livestock management, remote detection of weeds using drones and AI, and sustainable agricultural practices. She actively contributes to the integration of digital technologies in weed and biosecurity management. Recent publications highlight a strong trend in using UAV-based multispectral and hyperspectral imaging combined with artificial intelligence for detecting invasive species such as African Lovegrass, Bitou bush, and mouse-ear hawkweed. Her work bridges ecological research with practical agricultural applications, emphasizing real-time monitoring and precision management. Scientific Awards and Grants: CAWS Travel Award (2022) – Successful A No-Antibiotic Low Emission verification and traceability pathway for lamb production (2024) – Grant Development of drone technology for Tropical Soda Apple control (2022) – Successful Grant A Smart Weed Seed Management Tool (2020) – Unsuccessful Grant Development of digital feed efficiency measurement in sheep (2021) – Unsuccessful Grant Jane Kelly is actively involved in advising and collaborative research, particularly in grant-funded projects focusing on sustainable livestock systems. She co-founded the Weed Remote Sensing Community of Practice, fostering knowledge exchange. She participates in public engagement through field days, media contributions, and academic conferences, enhancing the impact of her research. She is a key member of interdisciplinary research teams utilizing drone technology and AI for environmental monitoring. Her lab collaborations involve experts in remote sensing, machine learning, and agricultural engineering, working toward scalable solutions for invasive species management.

Luis Soares Barbosaمشاهده پروفایل

استاد

• Program Semantics
• Modal Logic
• Coalgebra
• +۵ مورد دیگر

Luis Soares Barbosa is a full professor at the Computer Science Department of Universidade do Minho and a senior researcher at HASLab INESC TEC. He is also affiliated with the International Iberian Nanotechnology Laboratory (INL) as part of the Quantum and Linear Optical Computation Group. He holds a second academic role as Deputy Head of the UNU-EGOV unit at the United Nations University. Barbosa chairs IFIP Technical Committee TC1 on Foundations of Computer Science and serves on IFIP WG1.3 and WG1.11/2.17. His research focuses on program semantics, coalgebra, modal logic, and quantum computation, aiming to establish rigorous mathematical foundations for software engineering. He teaches courses on quantum logic, concurrency, and quantum computation at the master’s level. Research Interests: Barbosa’s work bridges theoretical computer science with practical applications, emphasizing formal methods, coalgebraic systems, and quantum algorithms. His quantum research explores computational advantages and privacy-preserving protocols, while his classical work addresses software verification and concurrency. Recent efforts include paraconsistent transition systems for modeling inconsistent states and quantum policy gradients in machine learning. Lab/Tech Teams: Leads the Logic and Formal Methods group and collaborates with the High Assurance Software lab (HASLab). Active in interdisciplinary teams at INL and UNU-EGOV. Grants/Advising: Supervises students/postdocs in quantum computing, formal methods, and cyber-physical systems. Coordinates projects funded by national/international bodies, including EU initiatives on quantum algorithms and digital governance.

• International Law
• International Criminal Law
• Disarmament and Arms Control
• +۳ مورد دیگر

Barry de Vries serves as Research Associate at the Chair of Public Law and International Law at Justus Liebig University Giessen since 2017 and Associate Fellow at the Peace Research Institute Frankfurt (PRIF) in the Research Department International Institutions since 2018. His academic work bridges international legal theory with practical disarmament and non-proliferation challenges, focusing on institutional effectiveness and norm implementation. Educational background: PhD Candidate, Oxford Brookes University (2016) Master of Laws in International and European Law, Vrije Universiteit Brussel (2014-2015) Master of Science in International Crimes and Criminology, Vrije Universiteit Amsterdam (2009-2011) Bachelor & Master of Laws, Vrije Universiteit Amsterdam (2005-2010) De Vries' research centers on the intersection of international criminal law, disarmament regimes, and emerging security challenges. His work critically examines national implementation of biological and chemical weapons conventions, treaty interpretation mechanisms, and accountability frameworks for new warfare technologies. Recent scholarship analyzes how international institutions navigate geopolitical tensions while maintaining normative authority, particularly regarding arms control verification and fact-finding in contested environments. His comparative legal analyses reveal persistent gaps between international obligations and domestic legislation, especially in harmonizing EU biological weapons legislation. His 15 most recent publications demonstrate consistent focus on biological/chemical weapons governance (60%), international criminal law developments (25%), and emerging security challenges like autonomous weapons (15%). The body of work shows increasing engagement with current conflicts, particularly Russia's invasion of Ukraine, where he analyzes weapon allegations through legal frameworks. Methodologically, his scholarship combines treaty analysis with case studies of national implementation, revealing how geopolitical contexts shape compliance. De Vries actively contributes to CBWNet (Chemical and Biological Weapons Network) and PRIF's International Institutions research group, developing policy-relevant working papers on biosafety governance and treaty implementation. His work with the Humanitarian Law of War Network of the Dutch Red Cross demonstrates commitment to practical application of legal scholarship. Current projects examine how fact-finding mechanisms interact with international criminal jurisdiction and the evolving legal landscape for emerging disruptive technologies in warfare.

Niklas Schörnigمشاهده پروفایل

پژوهشگر

• International Security
• Military Technology
• Arms Control
• +۴ مورد دیگر

Niklas Schörnig is a Senior Researcher at the Peace Research Institute Frankfurt (PRIF) and Head of the Research Group 'Emerging Disruptive Technologies'. His work focuses on the intersection of military technology, arms control, and international security, with a particular emphasis on artificial intelligence, drones, and the ethical implications of autonomous warfare. Current Affiliation: PRIF (since 2005) Doctorate (Dr. phil.): Goethe University Frankfurt (2005) Visiting Professor: Goethe University Frankfurt (2011/2012) Research Interests span emerging military technologies, the future of warfare, AI applications in security, cyberwarfare, and arms control frameworks. His recent publications analyze dual-use technologies, national security strategies, and drone warfare dynamics. Scientific Awards : Best Article Award (2012) from Zeitschrift für Internationale Beziehungen . Leadership Roles include heading the 'Emerging Disruptive Technologies' research group and contributing to the CNTR and EU Non-Proliferation and Disarmament Consortium .

Thomas Reinholdمشاهده پروفایل

پژوهشگر

• Cybersecurity
• Arms Control
• Artificial Intelligence
• +۳ مورد دیگر

Dr. Thomas Reinhold is a Researcher at the Research Department for International Security and the Cluster for Natural and Technical Science Arms Control Research (CNTR) at the Peace Research Institute Frankfurt (PRIF). Since 2019, he has held a part-time position as a researcher at the Chair of Science and Technology for Peace and Security (PEASEC) at TU Darmstadt, where he completed his PhD under Prof. Dr. Christian Reuter in 2023. His research focuses on cybersecurity, arms control, AI governance, and the militarization of emerging technologies. Reinhold’s academic journey includes a non-resident fellowship at the Institute for Peace Research and Security Policy (IFSH) from 2010–2018, where he explored cyber conflict consequences and peacekeeping measures. He is an active member of numerous organizations, including the Global Commission on the Stability of Cyberspace’s Research Advisory Group (2017–2021) and the Transatlantic Cyber Forum. His research interests span cyber conflict de-escalation, AI ethics, and technical verification mechanisms for arms control. Notable projects include the CNTR cluster’s work on cyber武器清点 and the development of privacy-preserving systems like ExTRUST. He has been awarded the IANUS Prize for his doctoral thesis on cyber conflicts and arms control. Reinhold’s publications address topics such as submarine data cable vulnerabilities, AI compendiums for non-proliferation, and the geopolitical implications of cyber decoupling between China and Russia. He contributes to policy dialogues, including the EU NPD Consortium and the German Bundestag election cybersecurity analysis (2025).

• Formal Methods
• Functional Programming
• Unifying Theories of Programming (UTP)
• +۷ مورد دیگر

Dr. Andrew Butterfield is a faculty member at the School of Computer Science and Statistics, Trinity College Dublin. He serves as Head of the Foundations and Methods Group and actively contributes to Lero: the Irish Software Research Centre. His research focuses on Formal Methods and Functional Programming, particularly the Unifying Theories of Programming (UTP) paradigm, with applications in clinical pathways, medical device software, and spacecraft operating systems. Current research includes developing UTP theories for shared-variable concurrency, rely/guarantee reasoning, and separation logic in collaboration with Jim Woodcock. He also explores Process Modelling Language (PML) semantics with John Noll and Anila Mjeda. His contributions feature proof-assistance tools like UTP2 Theorem Prover, UTP Calculator, and ReasonEq implemented in Haskell. Andrew leads funded projects such as ESA's RTEMS-SMP (2019) and SFI's FMHIDA (2016-2020). Past projects encompass formal verification of separation kernels, Handel-C language semantics, and NAND flash memory models. He has taught courses in Formal Methods, Functional Programming, and Concurrency, while serving on editorial and program committees including Formal Aspects of Computing.

Hanna Krasowskiمشاهده پروفایل

پژوهشگر

• Safe Reinforcement Learning
• Motion Planning
• Formal Methods
• +۴ مورد دیگر

Hanna Krasowski is a postdoctoral researcher at the University of California, Berkeley in the Department of Electrical Engineering and Computer Sciences , affiliated with the Berkeley Artificial Intelligence Research (BAIR) group. She previously completed her PhD at the Technical University of Munich under Prof. Matthias Althoff and was a member of the DFG Research Training Group ConVeY. Her research bridges formal methods and machine learning to develop safe reinforcement learning algorithms for autonomous systems , particularly focusing on maritime vessels and systems biology . She has contributed to motion planning frameworks like CommonOcean and CommonRoad-RL , which provide benchmarks and tools for evaluating autonomous vessel controllers. Key trends in her 15 most recent publications include Integration of temporal logic into reinforcement learning for safety guarantees Development of action masking techniques to exclude unsafe RL actions Application of reachability analysis for robust control in underactuated systems Formalization of marine traffic rules and biomolecular models She actively supports initiatives like Girls macht MI(N)T! and TUM Entdeckerinnen to encourage girls to pursue STEM careers. Her work emphasizes data-efficient and interpretable solutions for real-world automation challenges.

Mark S Woodreyمشاهده پروفایل

دانشیار

• Ornithology
• Coastal Ecology
• Wetland Conservation
• +۳ مورد دیگر

Dr. Mark S. Woodrey serves as an Associate Professor at Mississippi State University's Coastal Research and Extension Center, focusing on Gulf Coast ecosystem dynamics with emphasis on avian conservation and wetland restoration. His interdisciplinary work bridges field ecology, geospatial analysis, and climate adaptation strategies across Mississippi's coastal zone. Education: Ph.D. in Biological Sciences, University of Southern Mississippi M.S. in Zoology, The Ohio State University B.S. in Zoology, The Ohio State University Woodrey's research investigates salt marsh bird population responses to restoration interventions, climate stressors, and human activities. Key methodologies include prescribed fire applications, recycled material substrates for marsh rehabilitation, and autonomous acoustic monitoring systems. His work directly informs conservation practices through partnerships with state/federal agencies addressing sea-level rise impacts and habitat fragmentation. Recent publications (2022-2025) demonstrate consistent focus on Gulf Coast resilience: 60% address salt marsh restoration techniques (e.g., recycled glass sand substrates, prescribed fire), 30% examine avian ecology (plover/rail monitoring, migration shifts), and 10% explore pollution impacts (microplastics). Collaborative projects frequently employ structured decision-making frameworks involving USGS, NOAA, and Gulf Coast stakeholders. Woodrey actively mentors graduate students in wildlife research through Mississippi State's extension programs, though specific advisees aren't listed. His grant-funded work includes Gulf of Mexico climate resilience initiatives with the Mississippi Agricultural and Forestry Experiment Station, emphasizing end-user driven conservation tools and long-term wetland monitoring. He leads field operations at the Coastal Research and Extension Center, directing teams conducting bird surveys, marsh restoration assessments, and climate vulnerability mapping across Mississippi's barrier islands and northern Gulf wetlands. Current projects integrate citizen science data with remote sensing to model habitat changes under sea-level rise scenarios.

Radu Calinescuمشاهده پروفایل

استاد

• Formal methods
• Adaptive systems
• Autonomic computing
• +۶ مورد دیگر

Professor Radu Calinescu is a faculty member in the Department of Computer Science at the University of York. His research focuses on formal methods for adaptive, autonomic, and dependable IT systems, with applications in cloud computing and health informatics. He is affiliated with the High Integrity Systems research group. DPhil in Computation from University of Oxford Licence Diploma in Computer Science from Iasi, Romania His research interests span formal methods, automated software engineering, and their application to complex systems. Recent work includes architectural frameworks for self-adaptive systems, runtime verification techniques, and probabilistic modeling approaches. Current research projects include: BRAID: Ethical guidelines for medical AI CHEDDAR: Cloud computing communication hubs DOMINOS: Disruption mitigation in AI systems He has published extensively on topics including: Adaptive systems architecture Formal verification techniques Risk-aware decision-making Model-driven engineering Cloud computing reliability Health informatics safety

Ibrahim Habliمشاهده پروفایل

استاد

• AI Safety
• Autonomous Systems
• Software Engineering
• +۴ مورد دیگر

Professor Ibrahim Habli is a leading academic at the University of York , serving as Director of the UKRI Centre for Doctoral Training in AI Safety (SAINTS) and Research Director of the Centre for Assuring Autonomy (CfAA). His work bridges AI Safety , Autonomous Systems , and Health Informatics through collaborations with organizations like Jaguar Land Rover , NASA , and NHS England . Interdisciplinary Focus: Integrates ethics, law, and clinical research with AI assurance Industry Partnerships: Long-term work with JLR, NASA, and NHS Academic Leadership: Directed £16M PhD program and £10M research center Research Trends His recent work explores AI safety cases , human-centered autonomous systems , and medical AI assurance . Articles highlight: Formal verification of machine learning Ethical risk assessment frameworks Clinical decision support systems Delegated autonomy models Image quality metrics in healthcare Regulatory compliance for AI Scientific Recognition SAE Outstanding Oral Presentation Award (2010) Honourable Mention at ACM DIS 2024 (2024) Collaborative Impact As Principal Investigator on UKRI-funded AR-TAS and Encoding Empathy projects, he advances safety assurance and AI-driven clinical assistants . His collaborations span Rolls-Royce , NHSX , and Cambridge University Press .

Morten Haahr Kristensenمشاهده پروفایل

پژوهشگر ارشد

• Software Engineering
• Robotics
• Autonomous Systems
• +۲ مورد دیگر

Morten Haahr Kristensen is a Research Fellow at the Department of Electrical and Computer Engineering at Aarhus University, Denmark. His work focuses on software engineering and computing systems, particularly in the domains of robotics, autonomous systems, and digital twins. Primary Affiliation: Department of Electrical and Computer Engineering, Aarhus University Other Affiliation: Software Engineering & Computing Systems group Research Interests: Morten investigates formal architectural patterns for adaptive robotic software and runtime verification of autonomous systems. His projects include safety analysis of self-adaptive robot behavior using digital twin technology. He contributes to trustworthy software systems through tutorial lectures and collaborative research. Selected projects: Determining the Limits of Self-Adaptive Behaviour of Robots from a Safety Perspective (2024-2027) Publications: Recent works include contributions to conferences like FASE 2025 and IEEE ACSOS-C 2024, focusing on digital twin implementations and formal verification in robotic systems.

Roberto Iglesias Rodríguezمشاهده پروفایل

دانشیار

• Machine Learning
• Robotics
• Continual Learning
• +۶ مورد دیگر

Roberto Iglesias Rodríguez is an Associate Professor at the University of Santiago de Compostela, Spain, with a focus on robotics and machine learning. He holds a B.S. and Ph.D. in Physics from the same institution (1996, 2003). His work addresses lifelong robot learning, federated learning, and deployment of intelligent systems in heterogeneous environments. Current affiliation: University of Santiago de Compostela Academic rank: Associate Professor Education: B.S. and Ph.D. in Physics (1996, 2003) His research spans robotics, machine learning, and sensor fusion , emphasizing adaptive algorithms for non-IID data, concept drift, and real-time environmental interaction. Projects include service robots learning from humans, distributed control architectures, and federated learning strategies. Recent publications analyze continual learning , scene recognition , and human-robot collaboration . Key themes: robust navigation, multi-sensor systems, and explainable AI.

Henning Trsekمشاهده پروفایل

استاد

• Cybersecurity
• Industrial Automation
• Internet of Things
• +۳ مورد دیگر

Prof. Henning Trsek serves as Director of the Institute Industrial IT (inIT) at OWL University of Applied Sciences since 2024, leading research in Interconnected Automation Systems. He concurrently contributes to the Cybersecurity Training Lab, a Fraunhofer IOSB-INA collaboration, and teaches graduate courses in Network Security and Industrial Communication. His academic journey spans over two decades with deep industry integration through rt-solutions.de GmbH. Educational Background: PhD in Information Technology (2015, Otto-von-Guericke-Universität Magdeburg) MSc in Information Technology (2003-2005, Halmstad University/Aalborg University) Diploma in Electrical Engineering (2000-2003, Fachhochschule Lippe und Höxter) Trsek's research centers on industrial cybersecurity and intelligent automation , with seminal work in isochronous wireless networks and OT security frameworks . His current focus integrates large language models for automated risk assessment and TSN-based security architectures , addressing critical gaps in Industry 4.0 security validation. Recent publications demonstrate methodological evolution from protocol-specific analysis (2016-2020) toward holistic security automation (2023-2025). Analysis of his 15 most recent publications reveals dominant themes: automated security risk assessment (60% of works), industrial network security (25%), and emerging threat landscapes (15%). The research trajectory shows increasing emphasis on AI-driven security validation and modular security frameworks for flexible production systems. Scientific Recognition: Best Paper Award at ETFA 2012 Trsek actively supervises graduate theses through inIT's research projects while securing industry partnerships for applied cybersecurity initiatives. His committee leadership includes IEEE Industrial Electronics Society roles and technical program coordination for ETFA (2020-2025) and INDIN conferences. Current grants focus on AI-enhanced OT security validation through the Cybersecurity Training Lab collaboration. He directs the Interconnected Automation Systems research group at inIT, operating from Lemgo's Campusallee facility. The team maintains close ties with Fraunhofer IOSB-INA for industrial testbed development and participates in Germany's Allianz für Cybersicherheit for national security standardization.