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

Kira Bartonمشاهده پروفایل

استاد

• Robotics
• Control Systems
• Manufacturing Automation
• +۵ مورد دیگر

Dr. Kira Barton is a Professor of Mechanical Engineering and Robotics at the University of Michigan, College of Engineering. She holds the Miller Faculty Scholar distinction and leads the Barton Research Group (BRG), which focuses on advancing control strategies for multi-agent systems, human-robot interaction, and smart manufacturing. Her work integrates theoretical research with practical applications in robotics, additive manufacturing, and biomechanics. Dr. Barton earned her Ph.D. (2010), M.S. (2006), and B.S. (2001) in Mechanical Engineering from the University of Illinois and University of Colorado, respectively. Her research interests span control theory, iterative learning control, manufacturing robotics, and high-precision 3D printing. She has pioneered novel sensing and control techniques for complex systems, including micro/nano-scale printing and energy systems. Her honors include recognition as one of SME's 25 Leaders Transforming Manufacturing (2022), the ASME DSCD Young Investigator Award (2017), and an NSF CAREER Award (2014). She has been deeply involved in advancing manufacturing resilience through digital twin frameworks, supply chain optimization, and fault prediction systems. Her lab's current projects address challenges in robotic coordination, smart manufacturing line reconfiguration, and biomimetic systems inspired by marine life. The BRG collaborates across disciplines to bridge theory and implementation, with applications in healthcare, energy, and industrial automation.

Earl McKinneyمشاهده پروفایل

استاد

• Information Systems
• Data Analysis
• Decision Making
• +۴ مورد دیگر

Earl McKinney, Ph.D., is a **Professor** and holder of the **Dr. Timothy and Ruth Ann Ross Teaching Professorship** at Bowling Green State University (BGSU), within the **Schmidthorst College of Business** and the **Department of Accounting and Information Systems**. His academic career at BGSU spans from 2000 to present, with a focus on Management Information Systems (MIS), decision-making, and educational methodologies in technology-driven environments. Education: Ph.D. (1991), Management Information Systems, University of Texas M.A. (1981), Engineering in Operations Research, Cornell University B.S. (1980), Economics, U.S. Air Force Academy Research Interests: McKinney’s work centers on **information systems theory**, **crisis decision-making**, **team communication**, and **big data applications**. He emphasizes the intersection of technology, human factors, and pedagogy, particularly in ambiguous or high-stakes scenarios. His contributions include frameworks for improving collaboration in uncertain environments and integrating active learning in information systems education. Publications Trends: His articles frequently address **subjective information theory**, **decision support systems**, and **teaching methodologies**. Recent works explore ambiguity awareness in analytics, crisis IT design, and the role of big data in modern accounting practices. He also investigates how domain vocabulary and communication dynamics impact team performance in ambiguous settings. Grants & Curriculum Development: McKinney contributed to revising the Master of Accountancy curriculum using advisory board input (2019). His research has been published in journals like *Communications of the AIS*, *Journal of Information Technology Theory and Application*, and *Government Information Quarterly*. Professional Engagement: He coordinates the MIS 200 course and has advised on aviation crisis management, military team performance, and activity-based costing systems. His work bridges academic theory with practical applications in aviation safety, emergency response, and business analytics.

Aaron Whiteمشاهده پروفایل

استاد

• Computational Linguistics
• Syntax
• Semantics
• +۳ مورد دیگر

Prof. Aaron White is a Professor of Linguistics at the University of Rochester since 2017. He holds a PhD in Linguistics from the University of Maryland, College Park (2015), advised by Valentine Hacquard and Jeffrey Lidz. Prior to Rochester, he was a postdoctoral fellow at Johns Hopkins University's Science of Learning Institute, affiliated with the Department of Cognitive Science and the Center for Language and Speech Processing. His research focuses on computational linguistics, syntax, semantics, and natural language processing, particularly in syntactic bootstrapping, propositional attitude verbs, and event structure decomposition. Key research projects include leadership of the MegaAttitude Project and contributions to the JHU Decompositional Semantics Initiative. He teaches courses on statistical methods in linguistics, computational linguistics, and deep learning applications. His work bridges formal semantics, syntax, and computational models, emphasizing cross-linguistic analysis and parser development. Publications span document-level information extraction, neg-raising inferences, and semantic typology. He has developed tools like the Decomp Toolkit for decompositional semantics. Current research explores lexicalization processes in parsers and temporal reasoning in NLI tasks. Labs/Teams: JHU Decompositional Semantics Initiative, MegaAttitude Project.

Christian Deckerمشاهده پروفایل

استاد

• Internet of Things (IoT)
• Data Products
• Smart Data Services
• +۳ مورد دیگر

Prof. Dr. Christian Decker is a Professor of Software and Service Engineering at the Faculty of Computer Science, Reutlingen University. He holds leadership roles including Studiendekan for MSc Digital Business Engineering and chairs the examination committee for the same program. His research focuses on IoT, data products, and smart data services in data-intensive environments. He also oversees teaching operations at the Herman-Hollerith Lehr- und Forschungszentrum. Education highlights include a Dr.-Ing. (Doctor of Engineering Sciences) and Diplom-Informatiker degree. His teaching focuses on IoT, computernetzwerke, and software engineering. Recent research emphasizes IoT interoperability via reinforcement learning and semantic API analysis. He co-authored key publications on RESTBERTa, low-cost 3D scanners for clothing, and causal modeling for IoT metrics. No scientific awards explicitly mentioned but active in conference organizing (e.g., DEC 2016). Advising/grants sections remain unspecified in provided data. Associated with labs like the Herman-Hollerith Center and IoT-related research groups.

Christian Anker Hviidمشاهده پروفایل

دانشیار

• Building Energy Systems
• Heating, Ventilation, and Air Conditioning (HVAC)
• Energy Efficiency in Buildings
• +۱۲ مورد دیگر

Christian Anker Hviid is an Associate Professor at the Department of Civil and Mechanical Engineering at the Technical University of Denmark (DTU), specializing in energy-efficient building services, HVAC systems, and sustainable building operation. He is actively engaged in research projects focused on digital twins, BIM integration, and data-driven modeling for building performance optimization. Research Interests: His work centers on improving energy efficiency and indoor environmental quality in buildings. Key areas include optimal building operation, commissioning, fault detection, and control of building services. He integrates physical modeling with semantic web technologies and data analytics to develop intelligent, interoperable systems for building management. Publication Trends: Recent publications emphasize the integration of BIM and Modelica simulations, semantic web-based management of HVAC data, and grey-box modeling for performance benchmarking and virtual sensing. These works reflect a strong focus on practical, data-enabled tools for real-world building systems, particularly in office and residential contexts. Chairman, DANVAK Ventilation Group (2018–2021) Board Member, IBPSA Nordic Board Member, EnergyLab Nordhavn External Researcher, Saint-Gobain Nordic (2015–2020) Consultant, Alectia A/S (2006–2015) Advising and Grants: He supervises multiple PhD students in projects related to intelligent building energy services, optimal heating, and digital control. His research is supported by active grants in areas like AI-driven heating optimization, data-enabled control, and linked building services, often involving collaboration with industry and public partners. Labs and Teams: He is part of the research environment at DTU Construct, focusing on energy and services within civil and mechanical engineering. His team works on cyber-physical models, digital twins, and interoperable building information systems, contributing to national and international efforts in sustainable building technologies.

Frank Piessensمشاهده پروفایل

استاد

• software security
• system security
• formal methods
• +۲ مورد دیگر

Frank Piessens is a full professor in the Department of Computer Science at KU Leuven, Belgium, with research spanning both offensive and defensive aspects of software and systems security. His defensive work includes formal verification for C-like languages, information flow security enforcement, memory safety hardening, micro-architectural side-channel mitigation, and embedded security architectures. On the attack front, he has pioneered techniques for transient execution vulnerabilities, memory corruption exploits, and controlled channel attacks. His research interests focus on software security , system security , formal methods , programming languages , and information flow security . Recent publications demonstrate expertise in secure compilation (linear capabilities, control-flow linearization), functional reactive programming for web/IoT systems, and type-theoretic approaches to program equivalence. His work bridges theoretical foundations with practical security implementations across hardware-software boundaries. Professor Piessens maintains active leadership in the academic community through program committee service for top-tier conferences including ACM CCS, Usenix Security, IEEE Security & Privacy, and ACM POPL. He has chaired major events such as POST 2016, IEEE Euro S&P 2018-2019, and IEEE SecDev 2021-2022, while delivering keynotes at SPLASH 2025 and PriSC 2022 on confidential computing and hardware security evidence.

Jinpeng Wangمشاهده پروفایل

پژوهشگر

• Computer Science
• Programming Languages
• Formal Verification
• +۳ مورد دیگر

Jinpeng Wang is affiliated with Nanjing University and presented research at SPLASH 2023 in Cascais, Portugal. His work focuses on programming languages, formal verification, and digital circuit design, with a specific contribution to operational semantics for Verilog in 2023.

Einar Broch Johnsenمشاهده پروفایل

استاد

• Programming Models
• Formal Methods
• Concurrency
• +۳ مورد دیگر

Einar Broch Johnsen is a Professor at the Department of Informatics , University of Oslo . His research focuses on formal methods , distributed systems , and digital twins , with applications in cloud computing , robotics , and healthcare . Leadership: Strategy Director of SIRIUS (2015-2023), Coordinator of EU projects Envisage and HyVar . Community Roles: Board member of Formal Methods Europe , editorial board member of Formal Aspects of Computing , and chair of conferences like FM 2015 and FASE 2022 . His recent work explores symbolic execution , probabilistic logic , and self-adaptive systems , as reflected in his 15 most recent publications . He teaches courses such as IN2031 – Project in Programming and IN5170: Models of Concurrency .

Emanuele D'Osualdoمشاهده پروفایل

استاد

• Programming Languages
• Verification
• Security
• +۸ مورد دیگر

Emanuele D'Osualdo is a Tenure-Track Professor of Formal Methods for Software Engineering at the University of Konstanz, Department of Computer and Information Science. Previously, he was a Postdoctoral Researcher at Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken until April 2024, working with Derek Dreyer on verification of concurrent software. Before that, until September 2020, he was a Marie Curie Fellow at Imperial College London, working with Prof. P. Gardner. From 2015 to 2017, he was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer. His educational background includes: PhD (DPhil) in Computer Science from the University of Oxford (2015), supervised by Prof. C.-H. Luke Ong Undergraduate and master's studies at the University of Udine, Italy, graduating with honors and supported by the Scuola Superiore scholarship Emanuele D'Osualdo's research focuses on Formal Methods for the verification of software, with particular emphasis on two main approaches: automatic verification methods using static analysis and infinite-state model checking; and compositional methods, focusing on program logics for properties beyond safety. His work spans several areas including Programming Languages, Verification, Security, Concurrency Theory, Probabilistic Programs, Types, Static Analysis, Process Algebra, and Model Checking. His research has led to the development of tools such as Soter for automatic safety verification of Erlang programs and James Bound for analyzing π-calculus. His recent publications demonstrate a strong focus on advanced verification techniques for concurrent and distributed systems, with particular attention to linearizability, session types, security protocols, and probabilistic reasoning. His work bridges theoretical foundations with practical applications in software verification, showing a progression from foundational work on π-calculus to more applied verification of concurrent data structures and probabilistic systems. He has received notable recognition for his work, including: Winner of the 2016 CPHC/BCS Distinguished Dissertation award Marie Curie Fellow Emanuele actively supervises students and leads research in formal methods. He is involved in several research projects related to software verification and has presented his work at top-tier conferences including POPL, OOPSLA, ESOP, and CAV. He is scheduled to give a keynote at HYPER'25 in Zagreb and will be attending POPL'25. His research group appears to focus on developing theoretically sound yet practical verification techniques for modern concurrent and distributed software systems.

Mirco Sternمشاهده پروفایل

پژوهشگر

• Sensor Networks
• Database Systems
• Service Composition
• +۲ مورد دیگر

Mirco Stern is a researcher at the Institute of Information Management (IPD Böhm) at Karlsruhe Institute of Technology. His work focuses on sensor networks, database systems, and service composition technologies. Key research areas include distributed query processing, data quality guarantees, and optimization of join operations in resource-constrained environments. Role : Researcher, Institute of Information Management Location : Karlsruhe, Germany Research trends highlight his expertise in sensor network optimization (join processing, wavelet transforms) and service composition (semantic matchmaking, automated integration). Publications span ACM SIGMOD, VLDB, and ECOWS conferences, emphasizing algorithm design and system efficiency.

• Semantics
• Philosophy of Language
• Philosophy of Fiction
• +۴ مورد دیگر

Dr. Merel Semeijn is a researcher in Theoretical Philosophy at the Faculty of Philosophy, University of Groningen. Her academic profile centers on semantics, philosophy of language, and philosophy of fiction, with a focus on fictional truth and common ground mechanisms. Her research explores fictional truth extraction from unreliable sources, metafictional anaphora , and the cognitive foundations of pretend play in theory of mind acquisition . Key frameworks include workspace accounts of common ground and Stalnakerian analyses of metafictive statements, addressing puzzles in abstract object predication and parafictional tense. Her recent publications reveal strong trends in dynamic semantic frameworks applied to fictional contexts, with increasing interdisciplinary connections to cognitive science. Major contributions include resolving the 'Wrong Kind of Object' problem with Zalta and analyzing how unreliable narrators impact truth attribution in fiction. Descartes Excellence fellowship (2018) DIA-Stipendium (2015) GUF-100 award (2015) Dr. Semeijn actively collaborates with prominent scholars like Emar Maier and Edward Zalta, presenting at major venues including the Amsterdam Colloquium and ESSLLI conferences. Her work bridges formal semantics with cognitive psychology, particularly in how children acquire theory of mind through fictional engagement. Current research examines make-believe dynamics and common belief structures in fictional worlds.

Julia Gluesingمشاهده پروفایل

استاد پژوهشی

• Business and Organizational Anthropology
• Global Collaboration and Networks
• Innovation Diffusion
• +۵ مورد دیگر

Julia Gluesing is a business and organizational anthropologist who serves as Research Professor in the Department of Industrial and Systems Engineering at Wayne State University and as Adjunct Faculty in the Global Executive Track Ph.D. Program. She is also Adjunct Professor of Anthropology and has held leadership roles such as Associate Director of the Institute for Information Technology and Culture (IITC) and Co-Director of the Global Executive Track Ph.D. in Industrial and Systems Engineering. Education: Ph.D. in Cultural Anthropology, Wayne State University, 1995 M.A. in Communication, Michigan State University, 1985 B.A. in French and Russian, University of California, Davis, 1971 (Phi Beta Kappa) Diplôme de Français Avancé, Université de Montpelier, France Research Interests: Her scholarship centers on culture and identity, global collaboration and networks, innovation diffusion, and qualitative methodology. She integrates insights from anthropology, international business, economics, finance, and political science to understand how engineering organizations operate across cultures and geographies. Publication Trends: Across more than 60 peer-reviewed works, Julia’s research has evolved from foundational ethnographic studies of global virtual teams to cutting-edge analytics combining text mining, social network analysis, and anthropological theory. Recent themes include innovation governance, environmental decision-making, and ethical challenges in globally networked organizations. Awards & Honors: Best Paper Award, International Management Division, Academy of Management (2010) Most Innovative Session Award, Organizational Behavior Division, Academy of Management (2000) Election to Phi Kappa Phi and Phi Beta Kappa honor societies Grants & Sponsored Research: Julia has served as Principal Investigator or Co-PI on six NSF grants totaling well over $2 million, including the flagship “Digital Diffusion Dashboard” project ($426k, 2005–2010) and the Michigan Alliance for Clinical and Translational Science evaluation ($1.8 million segment; total $20 million). Industry partners have included Ford, GM, Chrysler, Visteon, Motorola, Procter & Gamble, Bosch, and many others. Teaching & Advising: She teaches doctoral courses such as Qualitative Research Design and Methods, Global Leadership of Technical Organizations, and Management of Technology Change, and advises leadership projects in the Ford Engineering Management Master’s Program (EMMP). While specific advisee names are not listed, she mentors executives in both the Global Executive Track Ph.D. and EMMP cohorts. Labs & Teams: Julia founded Cultural Connections, Inc. , a global research and consulting firm, and co-founded the Collaborative Innovation Networks (COINs) Conference series, serving as local organizer for COINsDetroit 2017. She maintains active affiliations with the American Anthropological Association, EPIC, ION, and the Society for Applied Anthropology.

• Computer Networks
• Wireless Communication
• Unmanned Aerial Vehicles (UAVs)
• +۳ مورد دیگر

Talip Tolga Sarı is a Research Assistant at the Department of Computer Engineering , Istanbul Technical University , where he has been affiliated since 2019. He holds a PhD in Computer Engineering (2021), a Master's in Computer Engineering (2018), and dual Bachelor's degrees in Computer Engineering and Electronics & Communication Engineering (2015). Education PhD in Computer Engineering, Istanbul Technical University (2021) Master's in Computer Engineering (2018) Bachelor's in Computer Engineering (2015) Bachelor's in Electronics & Communication Engineering (2015) Research interests span Computer Networks , Wireless Communication , and Unmanned Aerial Vehicles (UAVs) , with a focus on semantic communication , UWB localization , and topology control for resilient networks. His recent publications address UAV swarm coordination , smart campus frameworks , and assisted localization systems , reflecting interdisciplinary applications of computer science in real-world problems. Key trends in his 15 most recent articles include decentralized UAV networks, semantic communication architectures, and UWB-based indoor positioning. His work combines machine learning, cross-layer routing, and software-defined networking paradigms, with citations spanning Computer Science , Robotics , and Network Security . Awards : Highest Performance Award, Istanbul Technical University (2025)

• Nonmonotonic Reasoning
• Answer Set Programming
• Preference Handling
• +۵ مورد دیگر

Gerhard Brewka is a Professor at the Intelligent Systems Department of Leipzig University , where he has held the chair for Intelligent Systems since September 1996. He was previously a Full Professor for Knowledge-Based Systems at the Technical University of Vienna (1995-1996) and a visiting researcher at the International Computer Science Institute in Berkeley (1991-1992). Research Focus: Nonmonotonic reasoning, answer set programming, preference handling, computational models of argumentation, multi-context systems, and qualitative decision making. Leadership: Served as President of ECCAI (now EurAI) and KR Inc., and as General Chair of IJCAI 2016 and ECAI 2006. His recent publications emphasize formal argumentation , nonmonotonic reasoning , and multi-context systems , reflecting his work on integrating heterogeneous knowledge bases and extending abstract dialectical frameworks. He was named an ECCAI Fellow in 2002 and has contributed to foundational texts in knowledge representation and logic programming. Scientific Contributions : 2014: Generalizations of Dung frameworks for argumentation, GRAPPA framework for graph-based argument processing, and multi-context systems in dynamic environments. 2013: Expanding argumentation frameworks, prioritized nonmonotonic systems, and reactive multi-context models. 2012-2011: Studies on splitting theorems, managed multi-context systems, and answer set optimization. Scientific Awards : ECCAI Fellow (2002) Laboratory: His research group is located on the 8th floor of the Paulinum at Leipzig University, focusing on AI and knowledge representation.

• Abstract Interpretation
• Programming Language Semantics
• Formal Methods
• +۱۲ مورد دیگر

Giorgio Levi is a Full Professor in the Department of Computer Science at the University of Pisa, Italy. He works on theoretical aspects of programming languages and formal methods. Research includes interpreter design and abstract interpretation Teaches courses on Abstract Interpretation in Declarative Languages Contributed to projects like FIRB - Model B - Pisa Research Interests : His work focuses on abstract interpretation, programming language semantics, and code analysis. He has developed interpreters for functional languages, denotational semantics, operational semantics, and type inference systems. Teaching : He teaches a course on abstract interpretation in declarative languages, with materials including denotational interpreters, operational semantics, and run-time structures. Projects : Involved in the FIRB - Model B - Pisa research initiative, which relates to interpreter refinements and semantic evaluation functions.