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

David Wells Aglerمشاهده پروفایل

دانشیار

• Classical American Philosophy
• Philosophy of Language
• Analytic Philosophy
• +۳ مورد دیگر

David Wells Agler is an Associate Teaching Professor of Philosophy and TLT Coordinator at Pennsylvania State University's Department of Philosophy. He holds a B.A. in Philosophy & English (IUPUI, 2004), M.A. in American Philosophy (IUPUI, 2010), and Ph.D. in Philosophy (Penn State, 2012). His research focuses on Classical American Philosophy (especially Charles S. Peirce), Philosophy of Language, Analytic Philosophy, Metaphysics, and Symbolic Logic. His work bridges historical philosophical analysis with contemporary epistemological questions, examining how philosophical frameworks can address modern technological and ethical challenges. Agler's publications demonstrate strong interdisciplinary connections between philosophy, logic, and ethics, with recent articles examining epistemological frameworks through historical and contemporary lenses. Notable trends include analyses of belief formation systems and linguistic boundary cases. Awards & Fellowships: Joseph J. Kockelmans Award in Philosophy (2012) Harold F. Martin Graduate Assistant Outstanding Teaching Award (2011) Jean Martin Maxwell Prize (2010) IUPUI Research Fellowships (2005-2006) As an advisor, Agler has supervised 12 undergraduate research projects on topics ranging from symbolic logic to philosophy of time. He has developed extensive online course materials for logic and critical thinking courses.

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

استاد

• Cybersecurity
• Software Engineering
• Artificial Intelligence
• +۳ مورد دیگر

Prof. Liu Yang is a full Professor and University Leadership Forum Chair at the School of Computer Science and Engineering, Nanyang Technological University (NTU). He holds the President’s Chair in Computer Science and Engineering and serves as Executive Director of the Cyber Research Programme Office and Cyber Security Research Centre @ NTU. His research focuses on Cybersecurity, Software Engineering, and Artificial Intelligence, with contributions in formal verification, program analysis, and deep learning systems. He leads projects like the Securify initiative and develops tools such as the Process Analysis Toolkit (PAT) for system verification. Education: Ph.D. (2010) and Bachelor of Computing Science (2005) from National University of Singapore. Research Interests: Cybersecurity (malware analysis, vulnerability detection), Software Engineering (formal verification, program analysis), AI (security, robustness, explainability), and Automotive Security. His work bridges formal methods, program analysis, and machine learning to address challenges in secure systems and autonomous systems. Notable Achievements: Over 6000 citations (2020), H-index 38, awards include Nanyang Assistant Professor (2013), NRF Investigatorship (2020), and ACM Distinguished Speaker. His research spans journals like IEEE Transactions on Software Engineering and conferences such as NeurIPS, CVPR, and ICSE. Grants and Leadership: Principal Investigator of grants totaling over 5M SGD, including projects on vulnerability detection, formal verification, and cybersecurity. Organizes international conferences like ASE, ICSE, and FM, and serves on editorial boards such as IEEE Access. Labs/Teams: Leads the Cyber Security Research Centre @ NTU and collaborates on projects like the HP-NTU Digital Manufacturing Corp Lab and the National Satellite of Excellence in Singapore.

Borivoje Dakicمشاهده پروفایل

استادیار

• Quantum Information Theory
• Foundations of Quantum Mechanics
• Operational Reconstructions of Quantum Theory
• +۶ مورد دیگر

Assoc. Prof. Borivoje Dakić is an Assistant Professor at the University of Vienna’s Faculty of Physics, leading the Dakić Group within the Department of Quantum Optics, Quantum Nanophysics, and Quantum Information. His research focuses on quantum information theory, foundational quantum mechanics, and applied quantum technologies. He holds the Marko Jarić Prize, awarded for his contributions to quantum theory. Education details are not explicitly stated in the provided texts. His research interests span operational reconstructions of quantum formalism, foundations of quantum interference, macroscopic quantum theory, and scalable quantum verification methods. Key recent contributions include demonstrating quantum interference as a resource for communication and computation, robust macroscopic entanglement frameworks, and scalable tomography techniques. Research highlights include protocols for universal quantum computation using classical operations, quantum coherence in networks, and experimental validations of entanglement detection with few copies. His work bridges theoretical foundations with experimental collaborations, notably with groups like Philip Walther’s and Markus Aspelmeyer’s. Current projects include the SFB BeyondC consortium for scalable quantum device diagnostics and exploring quantum field theory local operations under QuantA. Scientific Awards: Marko Jarić Prize Grants & Projects: FWF-funded SFB BeyondC (2019–2027), Quantum Austria-funded ‘Information-theoretic foundations of quantum interference’ (2023–2026) Labs/Teams: Active in the Institute for Quantum Optics and Quantum Information – Vienna (IQOQI), collaborating with experimental groups on photonic and trapped-ion platforms. His team comprises 12 PhD students, 5 master’s students, and multiple alumni now at institutions like the University of Geneva and École Normale Supérieure Paris.

• Control Engineering
• Hydrodynamics
• Marine Control Systems
• +۳ مورد دیگر

Asgeir Johan Sørensen is a Professor at the Department of Marine Engineering, Faculty of Engineering at NTNU. He holds a Dr. Eng. in Technical Cybernetics (1993) and an M.Sc. in Marine Engineering (1988), both from NTH (now NTNU). His research focuses on control engineering, hydrodynamics, autonomous systems, and marine robotics. He leads projects like Oppdrag Mjøsa , advancing autonomous marine operations and environmental monitoring. Key contributions include risk-based path planning, hydrogen fuel cell systems for marine propulsion, and hyperspectral imaging for underwater mapping. Research interests emphasize autonomous systems integration, underwater vehicle control, and sustainable marine technologies. He co-founded the Marine Cybernetics Laboratory (MC-lab) and Applied Underwater Laboratory (AUR-Lab) . His work bridges academia and industry, addressing challenges in marine robotics, energy systems, and satellite-based Earth observation. Recent publications highlight advancements in marine autonomy, including collision avoidance algorithms, hybrid power systems, and Arctic satellite missions. He collaborates widely, contributing to national and international initiatives in marine technology and environmental data governance.

• Space Instrumentation
• Radiation Detection
• On-Board Data Management Systems
• +۵ مورد دیگر

Sebastián Sánchez Prieto is a Professor at the Department of Automatic Control, Universidad de Alcalá, Spain, affiliated with the Space Research Group (SRG-UAH). He holds a Doctorate from the same institution (1998) with a thesis on cosmic ion telescope control systems. His research focuses on space instrumentation, radiation detection systems, on-board data management, and embedded systems for space applications. He has contributed extensively to the Solar Orbiter mission, working on the Energetic Particle Detector (EPD) instrumentation and software validation. His technical expertise spans FPGA-based signal processing, RISC-V processor architectures, and model-driven engineering for space systems. Notable work includes advancing virtualization techniques for mixed-criticality space systems, digital beamforming architectures, and neural network applications in particle trajectory analysis. Publications emphasize cutting-edge topics like fault-tolerant computing in space environments, adaptive signal processing for space communications, and low-power positioning systems. He actively develops educational frameworks integrating on-board data management concepts across interdisciplinary university curricula. His contributions include over 50 peer-reviewed articles addressing hardware-software co-design, space software verification, and radiation effects mitigation. Current research explores AI-driven approaches for space instrumentation data analysis and next-generation on-board computing solutions.

Calvin Deutschbeinمشاهده پروفایل

استادیار

• Computer Security
• Hardware Security
• Data Mining
• +۳ مورد دیگر

Calvin Deutschbein is an Assistant Professor of Computer Science at Willamette University, affiliated with the School of Computing & Information Sciences. Their research focuses on hardware security, particularly leveraging data mining and design specifications to enhance security. Before joining Willamette, they taught at the University of Chicago, University of North Carolina at Chapel Hill, and Elon University, emphasizing computing education and student career development. Dr. Deutschbein earned their Ph.D. in Computer Science from the University of North Carolina at Chapel Hill under Professor Cynthia Sturton. Their work has been recognized through collaborations with industry leaders like Intel Corporation and Semiconductor Research Corporation, as well as invited talks at hardware security events like SEC-RISCV and clean-slate. Their research emphasizes automated security property generation, hardware vulnerability analysis, and CI/CD frameworks for open-source hardware designs. Key research themes include hardware security verification, information-flow analysis, and end-to-end exploit generation for processor validation. Their contributions bridge theoretical security research with practical industry applications, focusing on scalable methodologies for securing hardware designs. Despite no listed awards, their work demonstrates significant industry engagement and scholarly impact. Calvin’s advising and grants reflect a commitment to advancing security through collaborative research. Their work on the NSF-funded SaTC project highlights interdisciplinary efforts to assess hardware vulnerabilities. While no specific labs or teams are named, their research partnerships indicate active participation in academic-industrial networks.

Olivier LEVILLAINمشاهده پروفایل

مدرس

• Cybersecurity
• Network Security
• TLS Protocols
• +۵ مورد دیگر

Olivier LEVILLAIN is a Lecturer at Telecom SudParis, associated with the SAMOVAR laboratory. His research focuses on cybersecurity, network protocols, and cryptographic systems. He has contributed extensively to TLS protocol analysis, binary parser security, and encrypted communication mechanisms. Research interests include TLS ecosystem vulnerabilities, cloud-native security, stack protection in WebAssembly, state machine analysis for protocol validation, and privacy-preserving infrastructure for DNS monitoring. His work bridges theoretical analysis with practical tools like Parsifal for robust parser creation and Wombat for Bleichenbacher attack detection. Recent publications (2024-2025) address provenance tracking in cloud infrastructure, X-Ray-TLS memory decryption, and robust stack smashing protection. Earlier work (2015-2016) analyzed TLS record protocols, QUIC implementations, and SSL internet measurements. He led a 2016 thesis on the TLS ecosystem and co-authored tools like Caradoc for PDF analysis. Grants and collaborations include REWIRE cybersecurity skills initiatives. He actively participates in conferences like DSN, ARES, and SSTIC, contributing to both academic research and practical cybersecurity education frameworks. Labs/Teams: SAMOVAR laboratory at Telecom SudParis, collaborating with institutions like École Nationale Supérieure des Télécommunications (ENST). His work integrates formal verification methods with applied security engineering.

• Human-Computer Interaction
• Cross-Cultural Usability
• User-Centered Design
• +۷ مورد دیگر

Dr. Elke Duncker-Gassen is an Associate Professor in the Department of Computer Science at Middlesex University, where she contributes to research and academic instruction with a focus on human-centered computing. Her work bridges technology and cultural context, particularly in interface design and usability. Her research interests lie at the intersection of human-computer interaction and cultural diversity. She investigates how digital systems can be designed to respect and accommodate different cultural backgrounds, focusing on topics such as cross-cultural usability, digital libraries, interface metaphors, and e-learning environments. Her studies often explore how cultural assumptions embedded in technology affect user experience, especially among marginalized or underrepresented groups. The analysis of her recent publications reveals a consistent trajectory in examining cultural dimensions in technology design. Her work spans areas including digital libraries, health informatics, security visualization, and distance learning, all unified by a critical perspective on cultural inclusivity. She frequently employs qualitative and sociotechnical methods to understand user behavior and system impact across diverse populations. Dr. Duncker-Gassen has contributed to numerous international conferences and peer-reviewed journals, including IEEE, ACM, and Springer publications. While no formal awards are listed in the provided text, her sustained scholarly output since the late 1990s reflects a significant contribution to the field of cross-cultural interaction design. She has collaborated extensively with researchers such as B. Fields, J. Sheikh, and Y. Theng, suggesting active participation in research teams focused on sociotechnical systems and inclusive design. Although specific details about student supervision or grant funding are not mentioned, her role as an Associate Professor implies involvement in academic mentoring and research leadership. Her ORCID ID (0000-0002-2452-2124) confirms her active scholarly presence.

Marcelo Arenasمشاهده پروفایل

استاد

• Data Management
• Semantic Web
• Database Theory
• +۳ مورد دیگر

Marcelo Arenas is a Professor at the Department of Computer Science and the Institute for Mathematical and Computational Engineering at the Pontifical Catholic University of Chile. He is a Fellow of the Association for Computing Machinery (ACM), former director of the Millennium Institute for Foundational Research on Data, and co-founder of the Center for Semantic Web Research. His Ph.D. in Computer Science was obtained from the University of Toronto in 2005. Research interests include data management , applications of logic in computer science , and Semantic Web technologies. He has published extensively on topics such as SPARQL query complexity , graph database systems , and incomplete database theory , with notable works like MillenniumDB and Foundations of Data Exchange . Scientific accolades: 2016 SWSA Ten-Year Award for "Semantics and Complexity of SPARQL" IBM Ph.D. Fellowship (2004) Nine Best Paper Awards across PODS, ISWC, ICDT, ESWC, WWW, and NeurIPS His work on approximate counting algorithms (e.g., FPRAS for #NFA) and explainable AI frameworks has influenced database theory, while serving on program committees for ICDT 2015, ISWC 2015, and PODS 2018 demonstrates leadership in the field. Current projects focus on probabilistic explanations for decision trees and temporal regular path queries in knowledge graphs.

• School Psychology
• Positive Behavior Interventions and Supports (PBIS)
• Educational Equity
• +۷ مورد دیگر

John Gallo is an Assistant Professor in the Department of School Psychology within the College of Education at Gonzaga University. He is an enrolled member of the Comanche Nation and brings a strong commitment to equity and culturally responsive practices in education. His work integrates research, community engagement, and behavioral support systems to improve outcomes for marginalized students. Ph.D., School Psychology – University of Oregon M.S., Special Education – University of Oregon B.S., Literacy, Learning, and Leadership; Minor: Educational Psychology – University of Arizona Dr. Gallo's research focuses on equity-oriented Positive Behavior Interventions and Supports (PBIS), particularly in Indigenous communities. He aims to reduce exclusionary discipline practices and support the academic and emotional needs of all students, with special attention to LGBTQ+ youth and Native populations. His work emphasizes culturally sustaining frameworks and community-based partnerships. His recent publications and presentations reflect a strong trend in school climate improvement, behavioral assessment, and literacy evaluation. He has contributed to validating DIBELS 8th Edition components and analyzing equity in classroom management. His scholarship consistently addresses systemic inequities and promotes inclusive, supportive learning environments. Scientific contributions include: Co-authorship on Zero Tolerance: Effects, Bias, and More Effective Strategies for Improving School Safety (2023) Contributions to the (Re)Establishing Kinship with Native Boys community report (2022) Multiple conference presentations on LGBTQ+ student and educator support Research on remote DIBELS administration during the pandemic Dr. Gallo has served as a consultant for Northwest PBIS and Project SIMPLE, supporting behavioral health systems in Oregon and Alaska. He has also contributed to the development of experimental Curriculum-Based Measures for early literacy. While no formal students are listed, his collaborative research suggests active mentorship and team-based scholarly engagement. He is involved in initiatives that bridge academic research with community action, particularly in Native communities. His work with the Engaging Native Boys project and land-based summer camps highlights his dedication to holistic, culturally grounded education.

• Adult Education
• Professional Development
• Competency Validation
• +۲ مورد دیگر

Brigitte Bosche is a Researcher at the Deutsches Institut für Erwachsenenbildung (DIE) , Leibniz Centre for Lifelong Learning, where she focuses on adult education, competency validation, and professional development. Her career includes roles as a Research Assistant at the University of Cologne (1998–2000) and Project Coordinator at the Christian Youth Village Association Bonn (2000–2001). She joined DIE in 2001 and contributes to international projects, such as implementing the ProfilPASS competency tool in Balkan countries. Her research explores three core areas: Professional Development in Adult Education (e.g., GRETA competency models for teachers), International Adult Education (knowledge transfer across borders), and Validation of Learning Outcomes (qualitative methods for recognizing non-formal skills). She co-edits practitioner handbooks like the Perspektive Praxis series and journals addressing workforce challenges in adult education. Bosche's publications emphasize competency frameworks, teacher training, and digital counseling tools. Trends include adaptive validation systems, cross-cultural adaptations of assessment tools, and strategies to address educator shortages. No awards or student advising roles are documented. She actively collaborates with organizations like the German Society for International Cooperation (GIZ) and the National Agency Education for Europe.

Iason Zisisمشاهده پروفایل

پژوهشگر

• Computational Mechanics
• Fluid Dynamics
• Solid Mechanics
• +۳ مورد دیگر

Iason Zisis is a Greek researcher specializing in computational mechanics and numerical methods, affiliated with Eindhoven University of Technology. He completed his PhD in 2017 with foundational work on smoothed particle hydrodynamics (SPH) for shock simulations in inhomogeneous media, primarily operating within the Center for Analysis, Scientific computing and Applications (CASA). His educational background includes: PhD in Engineering/Mathematics from Eindhoven University of Technology (2017) Zisis's research integrates continuum mechanics, material science, and numerical analysis to develop SPH methodologies for complex physical phenomena. Key focus areas include shock wave propagation in heterogeneous materials, hypervelocity impact dynamics on laminated structures, and mathematical convergence of particle-based simulations. His work bridges theoretical rigor with engineering applications, particularly in fluid-structure interaction and high-speed deformation scenarios. Publication trends from 2012-2018 reveal progression from mathematical derivations (2015 reports) to engineered applications like laminated plate deformation (2016) and formal convergence proofs (2018). The research consistently emphasizes cross-disciplinary validation between continuum theory and particle-system implementations, with growing emphasis on real-world material behavior under extreme conditions. Zisis was embedded in CASA (Center for Analysis, Scientific computing and Applications) at Eindhoven University of Technology, a research group specializing in mathematical modeling and computational techniques for engineering systems. CASA's interdisciplinary environment facilitated his work on multi-physics simulations requiring advanced numerical algorithms and high-performance computing resources.

• Applied Mathematics
• Optimal Control Theory
• Partial Differential Equations
• +۷ مورد دیگر

Karl-Heinz Hoffmann is a Professor at the Research Department Mathematics Centre, Technical University of Munich. His work bridges applied mathematics, control theory, and computational physics with applications in biotechnology and engineering. Institution: Technical University of Munich Unit: Research Department Mathematics Centre Email: karl-heinz.hoffmann@mytum.de His research focuses on the mathematical modeling of physical systems governed by partial differential equations, particularly in heat transfer, cryopreservation, biosensors, and multiphase flows. He develops theoretical frameworks and numerical methods for optimal control problems involving conductive, convective, and radiative heat transfer, with emphasis on applications in biological systems such as freezing and thawing of living cells. His interdisciplinary work integrates mechanics, thermodynamics, and nanotechnology. The recent publications reveal a consistent focus on PDE-constrained optimization, radiative heat transfer models, and cryopreservation protocols. Key trends include the use of phase field models, boundary control techniques, and numerical simulation of nonlinear systems. His work often involves collaboration with experts in physics and engineering to validate models against real-world phenomena. No specific scientific awards are listed in the provided text, though the title Dr. h.c. mult. (multiple honorary doctorates) indicates significant recognition in the academic community. Prof. Hoffmann has supervised or collaborated with numerous researchers in projects related to biosensors, heat transfer, and optimal control. While no formal list of advisees is given, his leadership in multiple publications and research reports suggests an active mentoring role. He has contributed to major research initiatives, including those funded by the DFG Priority Program 1253 on Optimization with Partial Differential Equations. His research has been conducted within collaborative environments such as caesar (Center of Advanced European Studies and Research), where he contributed to projects like MAMS (Mathematical Modeling of a Biosensor) and ELOBIS (Elasto-Optical Biosensor based on Nanostructures). These efforts involved modeling wave propagation, piezoelectric effects, and fluid-structure interactions in micro- and nano-scale systems.

• Software Engineering
• Cyber-Physical Systems
• Requirements Engineering
• +۷ مورد دیگر

Prof. Dr. Thorsten Weyer is a leading academic at the Technical University of Central Hesse , serving as Head of the Institute for Programming Languages and their Application (IPA) and contributing to multiple academic governance bodies including the Permanent Commission of Inquiry for Good Scientific Practice and the Competence Center for Information Technology (KITE). He teaches computer science and software engineering, with a focus on model-based engineering of cyber-physical systems.

Rumyana Neykovaمشاهده پروفایل

مدرس ارشد

• Distributed Systems
• Formal Methods
• Concurrency Theory
• +۴ مورد دیگر

Dr. Rumyana Neykova is a Senior Lecturer in Computer Science at Brunel University London's College of Engineering, Design and Physical Sciences. She holds a PhD from Imperial College London and specializes in concurrency theory, distributed systems verification, and blockchain technologies. Her research employs formal methods, type systems, and model checking to enhance software reliability and prevent communication faults in distributed architectures. Research Focus: Her work spans distributed protocol verification, blockchain ecosystems (Ethereum, smart contracts), simulation validation, and software engineering education. Recent projects include developing fluid session types for end-to-end protocol verification and analyzing developer dynamics in blockchain communities. Teaching & Supervision: Dr. Neykova teaches undergraduate modules in Logic/Computation and Software Development, supervises final-year/MSc projects, and advises industry collaborations through Brunel Talent Marketplace. Grants: SEAVEA (EPSRC, 2021-2024): Software Environment for Actionable & VVUQ-evaluated Exascale Applications Fluid Session Types (UK Research Institute, 2019-2023): End-to-end verification of communication protocols Professional Activities: Regular peer reviewer for journals (e.g., Information and Software Technology ) and conferences (e.g., ACM SIGPLAN). Co-chaired workshops including PLACES and BlochArch.