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

Christoph Benzmüllerمشاهده پروفایل

استاد

• Automated Theorem Proving
• Computational Metaphysics
• Artificial Intelligence
• +۵ مورد دیگر

Prof. Christoph Benzmüller is a Full Professor at the University of Bamberg (Chair for AI Systems Engineering) and an adjunct professor at Freie Universität Berlin's Department of Mathematics and Computer Science. He is a leading researcher in automated reasoning, computational metaphysics, and formal logic systems. His work focuses on integrating higher-order logic into AI to achieve transparent and ethically grounded systems. Research Interests: His research spans automated theorem proving, formal ontologies, and normative reasoning in AI. Notably, he has formalized Gödel's ontological argument using computational methods and developed the Leo theorem provers for higher-order logic. He emphasizes the use of symbolic reasoning for ethical and legal AI frameworks. Grants & Projects: He leads projects like PetraKIP (AI portfolios for teacher education) and NFDIxCS (National Research Data Infrastructure). His work is funded by DFG, EPSRC, and the Volkswagen Foundation. He also collaborates with institutions globally, including Stanford and Cambridge. Awards: Recipient of the Central Teaching Award (FU Berlin) for his Computational Metaphysics course and a DFG Heisenberg Fellowship. His research on Gödel's argument gained international media attention. Education: Studied at Saarland University, where he earned his PhD (1999) and habilitation (2006).曾是专业长跑运动员，后转向学术研究。

• Natural Language Processing
• Machine Learning
• Text Mining
• +۱۰ مورد دیگر

Fernando Manuel Marques Batista is an Associate Professor at ISCTE – University Institute of Lisbon, Department of Information Science and Technology, and an integrated researcher at INESC-ID Lisbon. He serves as the Executive Coordinator of the Human Language Technologies (HLT) Scientific Area at INESC-ID and is a member of its Scientific Council. He previously held leadership roles including President of the Pedagogical Council of ISCTE-IUL (2017–2019) and member of its Standing Committee (2015–2017). Research Interests: Natural Language Processing Machine Learning Text and Speech Processing Sentiment and Emotion Analysis Hate Speech Detection Social Media Analytics Automatic Speech Recognition and Transcription His recent publications reflect a strong focus on applying NLP and machine learning to social media, with particular emphasis on hate speech detection, sentiment analysis, and user behavior modeling. He has also contributed significantly to speech processing, including punctuation restoration and prosody modeling, and to digital humanities through medieval text analysis. His work spans both technical innovation and real-world applications in tourism, finance, and public discourse. Scientific Recognition: Senior Member of IEEE (since 2016) Member of ISCA (International Speech Communication Association) Fernando Batista actively advises numerous PhD and Master’s students, supervising research in areas such as generative AI, hate speech detection, sentiment analysis, and economic forecasting. He has coordinated research projects like SPEDIAL and AppRecommender and is involved in organizing major conferences including PROPOR, EAMT, IPMU, and the Lisbon Machine Learning Summer School (LxMLS), where he has served in editorial and technical roles. Research Labs and Teams: He is a key member of the HLT@INESC-ID research group, contributing to its leadership and scientific direction. This group focuses on human language technologies, including speech processing, natural language understanding, and multilingual systems.

Tommy Löfstedtمشاهده پروفایل

دانشیار

• Machine Learning
• Computer Vision
• Medical Image Analysis
• +۴ مورد دیگر

Tommy Löfstedt is an Associate Professor at Umeå University , affiliated with the Department of Computing Science and the Department of Mathematics and Mathematical Statistics. His research focuses on machine learning , computer vision , and medical image analysis , with applications in life sciences, radiation therapy, and biomedical imaging. He leads multiple research projects, including AI-driven delineation in radiation therapy, quantitative MRI for radiotherapy, and machine learning for plant nutrient uptake. Current research emphasizes structured regularization methods to improve model interpretability and robustness. Key applications include medical image segmentation , Alzheimer's classification , and uncertainty estimation in MRI . Recent publications highlight his work on morphological regularization , adversarial attack mitigation , and multi-task learning in medical imaging contexts. His projects span 2022–2026 with funding for pediatric oncology automation and gynecological cancer staging. Affiliated with both computing and mathematical departments, he bridges algorithm development with applied mathematical frameworks in medical and life science domains.

• Human health and wellbeing
• Environmental change
• Ecosystem services
• +۴ مورد دیگر

Dr. Jessica C. Fisher is a Research Fellow at the Durrell Institute of Conservation and Ecology (DICE), University of Kent. Her work focuses on the intersection of human health, environmental change, and social inequalities, particularly exploring how biodiversity influences well-being through nature-based interventions. She holds a BSc in Zoology from Newcastle University, an MRes in Biodiversity, Evolution, and Conservation from University College London, and a PhD from DICE, where she examined human-nature interactions in urban Guyana. Her research employs mixed-methods approaches, including participatory visual methods, structural equation modeling, and data visualization. Key areas include the design of nature-based health programs, the socio-cultural dimensions of biodiversity conservation, and the impacts of environmental changes on marginalized communities. She has contributed to projects funded by the Woodland Trust and European Research Council (ERC), such as the 'RELATE' initiative analyzing biodiversity's role in human well-being across socio-economic gradients. Dr. Fisher is a Professional Associate Fellow of the Higher Education Academy and chairs the Women’s Researcher Network. Her publications span high-impact journals like Nature Ecology and Evolution and Environmental Research , with a focus on topics including robotic biodiversity monitoring, participatory video in conservation, and equitable access to nature. She actively engages in policy advocacy, emphasizing the integration of social and ecological sciences to address planetary health challenges. Education: BSc Zoology, Newcastle University MRes Biodiversity, Evolution, and Conservation, University College London PhD in Human-Nature Interactions (Urban Guyana), DICE, University of Kent Affiliations: Member, Durrell Institute of Conservation and Ecology (DICE) Co-chair, Women’s Researcher Network Member, IUCN Commission on Ecosystem Management Grants & Projects: ERC-funded 'RELATE' project (2020–present) Woodland Trust-funded 'Woodland Biodiversity for Human Health and Wellbeing' (2020)

Erik Rodnerمشاهده پروفایل

استاد

• Machine Learning
• Computer Vision
• Data Science
• +۵ مورد دیگر

Prof. Dr. Erik Rodner is a faculty member at the University of Applied Sciences Berlin (HTW Berlin), where he serves as a Professor for Machine Learning and Data Science. He also contributes to the School of Engineering Sciences - Technology and Life. His research spans computer vision, machine learning, and biomedical applications, with a focus on learning with limited data, robust visual recognition models, and medical image analysis. He has developed innovative methods for medical diagnostics, industrial classification, and anomaly detection. Recent publications (2025-2016) highlight his expertise in visual in-context learning, semi-weakly segmentation, and active learning frameworks. He has collaborated with institutions such as ZEISS Group, Friedrich Schiller University Jena, and UC Berkeley. Scientific Awards: Award for Excellent Teaching (2023)

Julia Schlüterمشاهده پروفایل

استاد

• Corpus Linguistics
• Language Variation and Change
• Historical Linguistics
• +۷ مورد دیگر

Professor Julia Schlüter is a distinguished academic in the Chair of English Linguistics within the Humanities Faculty at the University of Bamberg, Germany. She has served as Senior Lecturer at the Chair of English Linguistics and Language History under Prof. Manfred Krug since June 2008, holding the title of Professor following her habilitation in 2008. Her institutional profile demonstrates deep commitment to both research and teaching innovation, particularly through her leadership of the KorPLUS project and development of open educational resources for corpus linguistics. Her research interests span corpus linguistics for English language learners, empirical methods for studying language variation and change, and the application of corpus methods to teaching. She specializes in examining grammatical, phonological, and lexical differences between British and American English across historical periods from Middle English to present-day usage. Her work investigates phonological variation (particularly phonotactically controlled alternations), morphological change, and syntactic variation through corpus analysis, with special attention to functional grammar and grammaticalization theory. Professor Schlüter's recent publications (2022-2025) reveal a strategic evolution in her research focus, with increasing emphasis on the intersection of corpus linguistics and digital education. While maintaining her foundational work in historical English linguistics, she has developed significant expertise in applying corpus methods to language teacher education and evaluating AI writing tools. Her work demonstrates consistent methodological innovation, moving from traditional corpus analysis to blended learning approaches and digital educational resource development. Her scientific recognition includes: Winner of the 2025 Teaching Innovation Prize from the International Society for the Linguistics of English for the KorPLUS project University of Bamberg Prize for outstanding habilitation (2009) Lise Meitner Programme post-doctoral scholarship (2005-2006) Rectorate Prize from University of Paderborn for outstanding Ph.D. thesis (2005) Multiple DAAD scholarships for international study Professor Schlüter actively supervises doctoral research, currently guiding three Ph.D. candidates (Katharina Deckert, Aklima Nahar, and Nikolai Beland) while having successfully completed supervision for several others. She leads the KorPLUS project (2021-2025), funded by the Stiftung Innovation in der Hochschullehre, which develops open educational resources for corpus linguistics. Her research has been consistently supported by the German Research Foundation (DFG) and other funding bodies throughout her career. She heads the KorPLUS team (with Carina Großmann and Katharina Deckert) which develops the interactive Open Educational Resource platform for corpus linguistics. Her YouTube channel offers video tutorials on corpus basics, and she has created the Video Podcast Series "How to Update your Grammar" for English teachers. She regularly organizes in-service teacher trainings and collaborates with the Virtual Linguistics Campus at RWTH Aachen University to deliver her educational materials globally.

• Semantic technologies
• Ontology engineering
• Internet of Things
• +۱۰ مورد دیگر

Professor Trina Myers serves as the Head of School for the School of Information Technology at Deakin University's Faculty of Science Engineering and Built Environment. With extensive experience in academia and research leadership, she plays a pivotal role in shaping IT education and research directions at Deakin. She is also an active member of the Australian Council of Deans of ICT (ACDICT), having served as its immediate past President. Her educational background includes: Doctor of Philosophy in Computer Science from James Cook University Master of Business Administration from James Cook University Master of Information Technology from James Cook University Professor Myers' research focuses on semantic technologies, ontology engineering, Internet of Things, knowledge management, natural language processing, and human-computer interaction . Her work emphasizes interdisciplinary collaboration, bridging technology with fields such as healthcare, marine science, environmental conservation, and business. She has pioneered approaches in academagogy (academic gamification) to enhance online learning engagement, particularly for adult learners. Her IoT research has significant applications in healthcare space optimization, environmental monitoring, and resource management. Her recent publications demonstrate a strong trajectory in applying AI and IoT technologies to solve real-world problems, particularly in healthcare, education, and resource optimization. There's a clear pattern of interdisciplinary work connecting computer science with healthcare, education, and environmental science. Her research increasingly focuses on human-centered technology design, especially for vulnerable populations like adolescents with autism spectrum disorder. Her notable achievements include: Fellow of the Australian Computer Society (2023) Australian Awards for University Teaching (AAUT) Teaching Award (2020) Women in IT Professional Leadership Award Finalist (2020) Asia-Pacific International Triple E Entrepreneurial Educator of the Year Award (1st runner-up, 2020) Australian Computer Society, National Digital Disruptor ICT Educator of the Year (2019) Professor Myers actively supervises doctoral students across diverse research areas including gamification in language learning, brain tumor analysis using deep learning, AI in higher education, AI for refugee resilience, data integrity in edge environments, and quantum-driven satellite networking. She has secured significant research funding, including a recent grant for "Indiginizing ICT Curriculum: A Starter Framework for the Community of Practice" through the Australian Council of Deans of ICT. Her teaching philosophy emphasizes active learning methodologies, Process Oriented Guided Inquiry Learning (POGIL), blended learning, and collective intelligence approaches.

Johannes Kinderمشاهده پروفایل

استاد

• Software Security
• Program Analysis
• Machine Learning
• +۳ مورد دیگر

Prof. Dr. Johannes Kinder is a Professor and Chair of Programming Languages and Artificial Intelligence at the Institute of Informatics , Ludwig Maximilian University of Munich. His research focuses on software security through program analysis and machine learning, particularly targeting malware detection , vulnerability analysis , and reverse engineering . He has held faculty positions at Royal Holloway, University of London, and Bundeswehr University Munich. Research Interests include: Securing software systems via program and machine learning techniques Detection of software vulnerabilities and malware Preventing exploitation through binary analysis Applications of formal methods in systems security Recent Publications highlight advancements in binary function embedding , malware detection in npm , and speculative execution attack modeling . His work appears in top venues like USENIX Security and IEEE S&P . Education : Diplom from TU Munich (2005), Doctorate from TU Darmstadt (2010). Professional Roles : General Chair, ACM CCS 2019 Doctoral Symposium Chair, ESSoS 2016 Program Committee member for NDSS 2026, IEEE S&P 2022-2025

• Model-Based Testing
• Automata Theory
• Machine Learning
• +۵ مورد دیگر

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.

Minh Hoai Nguyenمشاهده پروفایل

استادیار

• Computer Vision
• Machine Learning
• Human Activity Recognition
• +۵ مورد دیگر

Minh Hoai Nguyen is an Assistant Professor in the Department of Computer Science at Stony Brook University. He received his PhD in Robotics from Carnegie Mellon University and a Bachelor of Engineering from the University of New South Wales. Prior to Stony Brook, he was a post-doctoral research fellow at Oxford University and a Kurti Junior Research Fellow at Brasenose College. Education: PhD in Robotics, Carnegie Mellon University Bachelor of Engineering, University of New South Wales His research focuses on computer vision , machine learning , and time series analysis , particularly in developing algorithms for human action recognition , gesture detection , and expression analysis in video data. Applications include video surveillance , human-computer interaction , and medical diagnosis of behavioral disorders . His work integrates computer vision for video processing, time series analysis for modeling human behavior, and machine learning for training complex algorithms. Notable awards include: CVPR 2012 best student paper award Winner of PASCAL VOC 2012 Challenge for Human Action Recognition He teaches courses such as Video Analysis (CSE 594) and Introduction to Robotics (CSE 525) .

• Artificial Intelligence
• Machine Learning
• Knowledge Graphs
• +۵ مورد دیگر

Dr. Madhushi Bandara is a Lecturer at the School of Computer Science, University of Technology Sydney (UTS), specializing in knowledge representation, complex system modeling, and data analytics. She leads the data management research stream at the UTS DigiSAS lab and is a core member of the Biomedical Data Science Laboratory within the UTS Australian Artificial Intelligence Institute. Her industry collaborations include Telstra, Cancer Australia, and Capsifi, focusing on AI integration in healthcare and finance. She coordinates the Business Information Systems major in UTS's Master of Information Technology program and convenes the Future Generation Enterprise Architecture Community of Practice. Education PhD in AI Systems Engineering, University of New South Wales (2020) BSc (Hons) in Engineering, University of Moratuwa, Sri Lanka (2015) Research Interests Madhushi's work bridges machine learning, knowledge graphs, and enterprise architecture to address challenges in data governance for SMEs, ESG metric management, and healthcare pathway analysis. Her research emphasizes translating cutting-edge AI into industry solutions through contextual domain knowledge integration. Scientific Awards UNSW-UTS Trustworthy Digital Society Scholarship Teaching & Leadership She teaches enterprise information systems, digital strategy, and AI for enterprises in UTS's online postgraduate programs. Her service roles include co-chairing tracks at the Australasian Conference on Information Systems and reviewing for Expert Systems with Applications.

Nick Thiebergerمشاهده پروفایل

دانشیار

• Language Documentation
• Endangered Languages
• Linguistic Archives
• +۷ مورد دیگر

Nick Thieberger is an Associate Professor in the School of Languages and Linguistics at the University of Melbourne, Australia. He also holds adjunct positions at the University of Sydney, University of Hawai'i, LaTrobe University, Australian National University, and the University of Tasmania. Thieberger serves as Director of PARADISEC (Pacific and Regional Archive for Digital Sources in Endangered Cultures), President of DELAMAN (Digital Endangered Languages and Musics Archives Network), and Deputy Director of the Research Unit for Indigenous Language at the University of Melbourne. He is a Fellow of the Australian Academy of the Humanities and leads multiple major research projects including Nyingarn and Modularised cultural heritage archives. Thieberger's primary research interests focus on language documentation, endangered languages, and digital archiving methodologies. His work bridges linguistics, digital humanities, and Indigenous language preservation, with particular emphasis on Pacific and Australian Indigenous languages. He has developed innovative approaches to linguistic archiving, including the creation of PARADISEC, which has become a model for digital language archives worldwide. His research spans theoretical linguistics, practical archiving solutions, and community-based language work, with significant contributions to Nafsan (South Efate) language documentation and Australian Indigenous language preservation. His recent publications demonstrate a clear trend toward integrating digital humanities with language documentation, particularly focusing on computational approaches to endangered language preservation. Thieberger's work increasingly addresses ethical considerations in linguistic archiving, community-led documentation models, and the development of platforms that give Indigenous communities control over their linguistic heritage. His research shows a progression from descriptive linguistics toward infrastructure development for language preservation, with growing emphasis on access protocols, data sovereignty, and the technical challenges of long-term digital preservation. Open Scholarship Award (2025) for PARADISEC team Digital Repository of Ireland Award for Research and Innovation (2024) DASSH award for Research Partnership and Social Impact (2021) Fellow of the Australian Academy of the Humanities (2021) Ludwig Leichhardt Jubilee Fellowship by Alexander von Humboldt Foundation (2013-2015) ARC Australian Postdoctoral award (2004-2007) QEII Fellowship (2009-2014) Future Fellowship (2014-2018) Thieberger has secured substantial grant funding throughout his career, including multiple ARC grants as Chief Investigator. He leads the ARC LIEF grant 'Nyingarn: a platform for primary sources in Australian Indigenous languages' (2021-2025) and another ARC LIEF grant for 'Modularised cultural heritage archives – future-proofing PARADISEC' (2022-2025). He also serves as Chief Investigator in the ARDC-funded 'Online Heritage Resource Manager to Describo Collections' project (2023-2024) and in the ARC Centre of Excellence for the Dynamics of Language (2014-2025). His grant portfolio reflects his dual focus on theoretical linguistic research and practical infrastructure development for language preservation. Thieberger directs PARADISEC, a pioneering digital archive for endangered language materials that has become an international model. He also leads the Nyingarn project team, which is developing a platform specifically for Australian Indigenous language materials. Through DELAMAN, he coordinates with other language archives worldwide to establish best practices for digital language preservation. His work with the Language Data Commons of Australia (LDACA) further demonstrates his commitment to building research infrastructure that serves both academic researchers and Indigenous communities.

Stephen Brooksمشاهده پروفایل

استاد

• Computer Graphics
• Visualization
• Human-Computer Interaction
• +۱۳ مورد دیگر

Stephen Brooks is a Professor in the Faculty of Computer Science at Dalhousie University, actively contributing to research and education in computer graphics, visualization, and human-computer interaction. He is affiliated with the Human-Computer Interaction, Visualization & Graphics research cluster and currently supervises multiple graduate students on diverse projects. PhD in Computer Science, University of Cambridge (2004) MSc in Computer Science, University of British Columbia (2000) BSc, Brock University (1998) His research focuses on computer graphics and visualization, particularly non-photorealistic rendering, image editing, 3D geospatial systems, ocean visualization, and real-time rendering of natural phenomena. He has also worked in sound synthesis and motion editing. His recent publications show a strong emphasis on visual analytics, network flow visualization, and ocean science applications. His work spans interdisciplinary domains including environmental science, genomics, cybersecurity, and digital art. He has developed visualization tools for ocean science under a major CFREF-funded initiative and created novel methods for rendering stained glass, mixed media art, rivers, and ocean surfaces. His research integrates perception, automation, and user interaction to enhance visual analysis. Notable scientific contributions include work on tone mapping optimization, uncertainty visualization using chromatic aberration, semantic object clouds, and hybrid 2D/3D GIS. His publications appear in top venues such as IEEE TVCG, ACM Transactions, and SIGGRAPH. NSERC Discovery Grants Canada First Research Excellence Fund (CFREF) NSERC CREATE Mitacs Accelerate and Globalink CFI New Opportunities Grant Cyber Security Research and Development Grant He has supervised numerous PhD, Master’s, and undergraduate students in areas including ocean visualization, tone mapping, network security, VR, and geospatial analytics. He teaches courses in Game Design, Visualization, Computer Animation, and Network Computing, emphasizing project-based and interdisciplinary learning. He leads research in visual analytics for network data (FloVis), ocean science, and mixed reality collaboration. His lab develops interactive systems for data exploration in domains ranging from marine biology to cybersecurity. Future work includes expanding ocean-first climate visualization and enhancing mixed presence collaboration in immersive environments.

• Natural Language Processing
• Computational Linguistics
• Language Models
• +۳ مورد دیگر

Kentaro Inui is a distinguished researcher at Tohoku University , specializing in Natural Language Processing , Computational Linguistics , and Machine Learning . His work focuses on advancing language model behavior through rigorous empirical analysis, including mechanisms for detokenization , entity identification , and numerical reasoning . Inui has pioneered methods to rectify spurious beliefs in LLMs via unlearning techniques and explored the dynamics of reasoning strategies in neural models. His research addresses chat translation quality through metrics like MQM-Chat and investigates repetition neurons responsible for text generation patterns. Inui also contributes to argumentation analysis with annotation frameworks like LPAttack and develops resources such as COPA-SSE for commonsense reasoning. His work on universal graph-based relation extraction and cross-stitching architectures has established new benchmarks in NLP task performance. Inui's publications span top-tier conferences including ACL , EMNLP , and LREC , often involving collaborations with researchers like Benjamin Heinzerling and Jun Suzuki. His methodological innovations in semi-structured explanation generation , position embedding (e.g., SHAPE), and zero pronoun resolution demonstrate his focus on both theoretical and practical NLP challenges. While no direct awards or student mentorship data appear in the provided corpus, his extensive publication record (over 20 papers between 2021-2025) underscores significant contributions to NLP education tools , knowledge base integration , and dialogue system consistency . Current projects like ReCall mechanisms and numerical property encoding directions highlight his ongoing impact on model interpretability and reasoning accuracy.

• Digital Trust
• Cybersecurity
• Blockchain
• +۱۲ مورد دیگر

Dr. Felix Härer is a Lecturer and researcher at the University of Applied Sciences FHNW, School of Business, Basel, Switzerland, and also teaches externally at the University of Fribourg. He is affiliated with the Digital Trust Competence Center, where he conducts research and teaching in IT Security, Cybersecurity, Digital Trust, Blockchain, AI, Cloud Computing, and Systems Modeling. His research interests span a broad and interdisciplinary range, including: Digital Trust and Cybersecurity Blockchain and Decentralized Systems AI and Knowledge-based Systems (including LLMs and RAG) Software and Systems Modeling (BPMN, ArchiMate) Data Science and ETL-based Analytics Zero Trust and Secure Architectures His recent publications (2020–2023) demonstrate a strong focus on blockchain interoperability, model-driven engineering, decentralized applications, and the integration of AI with conceptual modeling. He explores scalable architectures, cross-chain query languages, and secure attestation mechanisms, often combining modeling approaches with emerging technologies. His work bridges academic rigor with practical implementation in distributed and cloud environments. Scientific awards include: Best Paper Award at IEEE PKIA 2023 He actively supervises bachelor’s and master’s theses and student projects in digital trust and related domains. He has served on PhD committees externally and is a reviewer and program committee member for journals and conferences such as IEEE Transactions, WWW, CAiSE, and EMISAJ. His professional experience includes industry work at Siemens Healthineers in software engineering. He is a member of the IEEE Blockchain Group (Switzerland) and contributes to UN/CEFACT standards for e-commerce and supply chain data. He is involved in organizing workshops and conferences, including B4ISE 2025, B4TDS 2023–2024, and DESRIST 2023, and has delivered keynotes on Computational Trust and Blockchain Interoperability.