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

Susan Schraderمشاهده پروفایل

دانشیار

• Petroleum Engineering
• Flow Modeling
• Data Analytics and Machine Learning
• +۳ مورد دیگر

Susan Schrader serves as an Associate Professor in the Department of Petroleum Engineering within Montana Technological University's Lance College of Mines & Engineering, where she has held faculty positions since 2008 after previously teaching at the University of Texas Permian Basin. Her academic foundation includes a PhD in Petroleum Engineering from the New Mexico Institute of Mining and Technology and an MA in Applied Mathematics from the University of New Mexico, with additional doctoral coursework in Mathematics at Montana State University. Her educational qualifications comprise: PhD in Petroleum Engineering, New Mexico Institute of Mining and Technology MA in Applied Mathematics, University of New Mexico ABD toward PhD in Mathematics, Montana State University Schrader's research program centers on petroleum engineering with dual emphases on technical innovation and educational advancement. She develops computational models for fluid flow in low-permeability reservoirs while pioneering data analytics and machine learning applications for reservoir simulation. Concurrently, she investigates climate change mitigation through carbon sequestration and examines societal dimensions of energy industry-climate relationships. Her educational scholarship focuses on accreditation, program assessment, and promoting diversity within STEM disciplines, reflecting commitment to both technical excellence and inclusive pedagogy. Publication analysis reveals an evolutionary trajectory from early fuzzy logic applications in drilling risk assessment toward contemporary integration of neural networks in reservoir engineering and socio-technical climate research. This progression demonstrates increasing sophistication in computational methodologies while expanding into interdisciplinary energy-environment interfaces, particularly evident in her recent low-permeability flow modeling and climate change studies. No scientific awards are documented in available sources. Schrader's instructional responsibilities span advanced computational courses including Data Modeling for Petroleum Engineers, Data Science, and Advanced Reservoir Engineering, indicating substantial curriculum development contributions. While specific graduate student mentorship details are absent from provided materials, her research areas suggest supervision of projects combining petroleum engineering with data science methodologies. Grant funding specifics remain undisclosed in the source documentation. Her computational research likely leverages Montana Tech's High Performance Computing Cluster infrastructure, though no dedicated laboratory facilities are explicitly attributed to her in the available information.

Christina E. Bannierمشاهده پروفایل

استاد

• Sustainability
• Corporate Governance
• Compliance
• +۵ مورد دیگر

Professor Christina E. Bannier serves as Head of the Chair of Banking & Finance (BWL VI) at Justus Liebig University Giessen's Faculty of Law, Business and Economics. She concurrently holds positions as Pro-Dean of the department, managing director of the Giessen Graduate Centre for Social Sciences, Business, Economics and Law (GGS), and spokesperson for the 'Behavioral and Social Finance & Accounting' research network. Her institutional affiliations include membership on Clearstream Banking AG's Supervisory Board since 2018 and previous service on advisory boards for Germany's Federal Ministry for Economic Cooperation and Development (2011-2013) and Hessian Ministry of Economics (2012-2015). Her research spans sustainability finance, corporate governance, compliance mechanisms, and financial education, with particular focus on ESG investing dynamics, anti-money laundering frameworks, and corporate ethics programs. Current projects include analyzing sustainability-linked loans, shareholder engagement at annual meetings, climate scenario analysis tools, and corporate ethics program effectiveness. Her work demonstrates consistent interdisciplinary integration of behavioral finance principles with practical regulatory applications. Professor Bannier serves as co-editor of the Journal of Business Economics and provides peer review services for top-tier publications including the American Economic Review and Review of Financial Studies. Her supervisory responsibilities encompass multiple external PhD candidates and regular Bachelor's/Master's thesis guidance. She leads a research team including doctoral candidates and student assistants focused on experimental finance and sustainable investment behavior, operating within the university's structured academic framework that emphasizes rigorous empirical methods and practical case application.

Andreea Costeaمشاهده پروفایل

استادیار

• Programming Languages
• Software Verification
• Automated Program Repair
• +۴ مورد دیگر

Andreea Costea is an Assistant Professor in the Programming Languages Group within the Faculty of Electrical Engineering, Mathematics & Computer Science (EEMCS) at Delft University of Technology. She joined TU Delft in October 2024 after completing her PhD at the School of Computing, National University of Singapore (NUS), where she worked in the Programming Languages and Software Engineering lab collaborating with the Automated Program Repair team, Trustworthy and Secure Software group, and VERSE lab. Her primary research focuses on programming languages design and implementation, with particular emphasis on software verification for critical code, program synthesis, and automated program repair. She maintains strong connections with industry while pursuing formal methods research, especially in the context of Rust programming language safety and interoperability. Dr. Costea's publication record demonstrates consistent contributions to software engineering and programming languages research, with recent work focusing on automated program repair techniques, Rust language safety mechanisms, and communication protocol verification. Her research shows a clear trajectory from theoretical foundations in session types and separation logic toward practical applications in memory safety and program repair. She actively serves the research community as Program Committee member for major conferences including ASE, ICSE, ICFP, and APLAS. Her service includes chairing publicity committees for SPLASH and artifact evaluation for ESOP. Regular Journal Reviewer: CACM, TOSEM, TSE Panel discussions: PLMW @ POPL'22, PLDI'21, PLMW @ PLDI'21, POPL'21 Extensive reviewing for top-tier conferences including POPL, OOPSLA, CAV, VMCAI Dr. Costea supervises multiple Master's students working on Rust-related safety projects and is actively recruiting PhD students to work on software interoperability, particularly focusing on how to restore Rust's safety guarantees when integrating with legacy C code and ensuring correct interaction between components written in different languages.

• Cybersecurity
• Information Security
• Risk Management
• +۲ مورد دیگر

Dr. Robert Gilliland is an Assistant Professor in the Department of Computer Science, Information, & Engineering Technology at Youngstown State University. He has held progressive academic roles at YSU since 2000, advancing from Adjunct Faculty (2000–2013) to Instructor (2013–2017) and Lecturer/Assistant Professor (2017–present). His industry experience includes IT leadership positions at SCIENET Web Services and a medical practice. Education: Ph.D., Northcentral University (2021) – Dissertation: 'Examining the Generational Impact on Risk: Internet of Things (IoT)' MBA, Youngstown State University (2016) M.S., Information Systems and Technology Management, Capella University (2015) M.S., Computer Science, Youngstown State University (2008) – Thesis: 'Software Licensing Solution' B.S., Computer Science and Information Systems, Youngstown State University (1998, Magna Cum Laude) Research Interests: Dr. Gilliland specializes in cybersecurity frameworks, IoT vulnerability analysis, risk assessment methodologies, and digital twin applications. His work addresses emerging threats in interconnected systems and scalable security solutions for modern networks. Publication Focus: His sole documented publication explores secure peer-to-peer communication protocols, reflecting his foundational work in network security and cryptographic systems. Awards: International Conference on Strategic Management Recognition (2020) for IoT risk research Golden Key National Honor Society induction (2016) Teaching commendation from Williamson College of Business (1998)

Rainer Kellerمشاهده پروفایل

استاد

• Operating Systems
• Distributed Systems
• Parallel Programming
• +۴ مورد دیگر

Prof. Dr.-Ing. Rainer Keller serves as Vice Dean of the School of Computer Science and Information Technology at Esslingen University of Applied Sciences. He concurrently holds Laboratory Management roles for both the Operating Systems Laboratory and Information Technology Laboratory, coordinates the Applied Computer Science (Master) program, and serves on the Environmental Committee for his school. His academic journey includes a Doctorate in Engineering (with distinction), Research Associate and Group Leader positions at HLRS, University of Stuttgart (leading the 9-member "Applications, Models and Tools" group), PostDoc tenure at Oak Ridge National Laboratory (ORNL), and prior appointments at Stuttgart University of Applied Sciences. Keller's research centers on operating systems, distributed systems, and HPC with specialized expertise in Linux-based parallel programming tools and file I/O optimization. His work bridges theoretical system models with practical performance tuning, particularly in high-performance computing environments where syscall tracing and storage optimization are critical. Recent publications reveal consistent focus on system-level performance analysis, evolving from foundational file I/O profiling (2020) to advanced syscall tracing mechanisms (2022) and forward-looking access optimization frameworks (2025). These works demonstrate applied research in Linux ecosystems with direct relevance to HPC infrastructure. As Program Coordinator for the Applied Computer Science (Master) program and laboratory manager for two key facilities, he oversees academic development and hands-on technical training. His consultation hours (Tuesdays 1-2 PM by appointment) support student engagement in systems research. He actively contributes to national HPC infrastructure as a Member of the State User Committee (LNA) bwHPC, influencing regional high-performance computing strategies while maintaining his laboratory management responsibilities at Esslingen.

Stav Atirمشاهده پروفایل

استادیار

• Decision-making
• Judgment
• Diversity, Equity, and Inclusion
• +۵ مورد دیگر

Stav Atir serves as an Assistant Professor in the Management and Human Resources Department at the Wisconsin School of Business, University of Wisconsin-Madison, where she joined in June 2021. She maintains dual affiliations with the Psychology department and the Institute for Diversity Science. Her academic credentials include: B.Sc. in Psychology from Yale University Ph.D. in Social Psychology from Cornell University Professor Atir's research examines pervasive misperceptions in expertise evaluation and learning processes, investigating why individuals overclaim knowledge and select ineffective learning strategies. Concurrently, she explores gender dynamics in professional communication, analyzing how linguistic patterns (e.g., surname usage for male professionals) perpetuate status disparities and bias in workplace contexts. Her publication portfolio reveals strong thematic consistency across cognitive and social psychology domains. Key trends include experimental investigations of overclaiming phenomena, gendered language effects on professional perception, and the counterintuitive benefits of stranger interactions for knowledge acquisition. These works frequently bridge theoretical psychology with organizational behavior applications. Professor Atir actively mentors doctoral students and secured competitive funding through the Institute for Diversity Science's 2024 Seed Grant Program for research at the business-diversity science intersection. She directs the Knowledge Lab, which employs rigorous experimental methodologies to advance understanding of expertise calibration, learning optimization, and communication dynamics in professional environments.

• Multimodal Communication
• Multimodal Corpora
• Spoken Language and Gestural Behaviour
• +۶ مورد دیگر

Patrizia Paggio serves as an Associate Professor and Senior Researcher within the Department of Nordic Studies and Linguistics at the University of Copenhagen's Faculty of Humanities, concurrently holding a full professorship at the University of Malta's Institute of Linguistics and Language Technology since September 2011. Her scholarly work centers on the intricate relationship between verbal and nonverbal communication modalities, with international recognition for advancing methodologies in multimodal analysis. Academic Background: PhD in Computational Linguistics from the University of Copenhagen (1997), dissertation: "The Treatment of Information Structure in Machine Translation" Professor Paggio's research program investigates how gestures, head movements, and other nonverbal cues interact with spoken language to construct meaning in natural communication. She has pioneered methodologies for constructing and analyzing multimodal corpora, while maintaining technical expertise in machine translation systems, grammar engineering, and content-based querying frameworks. Her theoretical work spans formal syntactic structures, discourse phenomena, information packaging, and ontological representations for linguistic data, consistently bridging computational methods with linguistic theory. Analysis of her recent publications (2020-2025) reveals a sustained focus on computational approaches to nonverbal communication, particularly the automatic detection and annotation of head movements and gestures in both physical and digital environments. Key contributions include the GEHM Zoom corpus for online interaction analysis, eye-tracking studies of emoji processing, and diachronic modeling of historical language change. Her work strategically integrates eye-tracking, corpus linguistics, and machine learning techniques, establishing her at the convergence of linguistic theory, cognitive science, and artificial intelligence applications. Professional Leadership: Coordinator of the international GEHM (Gestures and Head Movements in Language) research network Organizer of MULTIMODAL CORPORA 2018, 4th European/Nordic Symposium on Multimodal Communication, and LREC2022 Workshop on People in Vision, Language and the Mind

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

استاد

• Fiber Composites
• Lightweight Construction
• Manufacturing Simulation
• +۳ مورد دیگر

Prof. Dr. Christian Brauner serves as a Professor and Group Leader of the Structural Mechanics group (Lightweight Construction and Fiber Composite Technologies) at the Institute of Polymer Technology within the School of Engineering and the Environment at the University of Applied Sciences Northwestern Switzerland (FHNW). He has held this position since 2017 and concurrently serves as Chairman of the Board of Composite United Switzerland since 2018. His educational background includes a Diploma in Mechanical Engineering (Dipl.-Ing. FH) from Bielefeld University of Applied Sciences (1991-2005) and a Master’s degree (M.Sc.) in “Computer Aided Mechanical Engineering” from FH Flensburg (2006-2008). He completed his doctorate at the University of Bremen on numerical methods for manufacturing process modeling. Prof. Brauner's research focuses on fiber composite design methods, manufacturing simulation (draping, infusion, curing, warping), multiphysical modeling, and material development. He specializes in Production 4.0 integration—virtually mapping manufacturing processes with online monitoring systems. Current projects include infrared curing of thermoset composites, ultrasonic welding techniques, fatigue testing of dynamically loaded components, and high-temperature aerospace composites. His work spans automotive, marine, medical devices, and footwear applications, demonstrating cross-industry relevance of composite technologies. He leads multiple research initiatives including the EU project on high-temperature aviation composites, SuCoHS (sustainable composites), and Filapodo (patient-specific orthopedic filaments). As initiator of the NTN Innovation Booster Plastics for Zero Emission (since 2022), he drives sustainability in plastics engineering while teaching advanced composites courses across FHNW’s academic programs. Prof. Brauner heads the Structural Mechanics group at FHNW’s Institute of Polymer Technology, leveraging experience from building an eight-person department at Bremen’s Fiber Institute where he developed simulation methods to replace empirical industrial practices with knowledge-based manufacturing planning.

Matthias Stürmerمشاهده پروفایل

استاد

• Open Source Software
• Open Data
• Digital Sovereignty
• +۵ مورد دیگر

Matthias Stürmer serves as a Professor at Bern University of Applied Sciences (BFH) within the School of Management and Head of the Institute for Public Sector Transformation (IPST). He concurrently holds a lecturer position at the University of Bern. His professional identity centers on Swiss digital governance initiatives, with active leadership roles in @Parldigi, @DigitalImpactCH, @CH_Open, and @OpendataCH advocating for open source, open data, and transparent public sector innovation. His research program bridges legal technology and digital governance, specializing in multilingual (German/French/Italian) processing of Swiss jurisprudence. Core focus areas include developing AI systems for judicial summarization and criticality prediction, advancing digital sovereignty frameworks, and analyzing sustainable public procurement practices. He investigates the tension between open justice principles and privacy preservation in court documentation, while pioneering methods for anonymizing legal texts against re-identification threats from large language models. Stürmer's publication trajectory reveals a strategic shift toward legal AI applications since 2020, with 12 of his 15 most recent works addressing multilingual legal processing challenges. His scholarship consistently targets Swiss institutional contexts, creating specialized datasets like Multilegalpile and Lextreme while examining practical implementation barriers for open source adoption in public administration. As director of IPST at BFH, he leads institutional efforts to transform public sector services through open standards and collaborative governance models. His team develops practical frameworks for digital sovereignty implementation and sustainable ICT procurement, directly influencing Swiss federal policies on open data and public sector technology adoption.

Peter Wolfمشاهده پروفایل

مدرس

• Robot-aided motor learning
• Sports engineering
• Biomechanics
• +۳ مورد دیگر

Dr. Peter Wolf is a Lecturer at the Department of Health Sciences and Technology (D-HEST) at ETH Zurich. His research focuses on robot-aided motor learning and sports engineering, particularly exploring concurrent feedback strategies for efficient motor task learning and applications in rowing and climbing. He advises students in the Medical Technology and Human Movement Science & Sport majors, emphasizing interdisciplinary approaches combining biomechanics, mechatronics, and coding. His research group develops tools to support athletes and rehabilitation patients, with a focus on exosuits, exoskeletons, and robotic feedback systems. Notable projects include optimizing gait parameters for adolescents with crouch gait and enhancing wearable robotic systems for daily mobility support. Dr. Wolf also contributes to curriculum design, recommending courses like Biomedical Engineering, Neural Control of Movement, and Machine Learning for Healthcare. His work bridges biomechanical analysis, robotics, and clinical applications, with recent innovations in vestibular stimulation for sleep disorders and thermal stress monitoring for occupational workers. Collaborations span sports science, rehabilitation engineering, and human-robot interaction, reflecting his commitment to applied and interdisciplinary research.

Ragnhild Kobro Rundeمشاهده پروفایل

دانشیار

• Computing Education
• Software Engineering
• Formal Methods
• +۳ مورد دیگر

Ragnhild Kobro Runde is an Associate Professor in Computing Education at the Department of Informatics, University of Oslo. Her work focuses on software engineering methodologies, formal methods in system design, and computing education at both secondary and undergraduate levels. She is affiliated with the Computing Education research group. Her research explores topics such as UML sequence diagram semantics, formal specification techniques (Event-B/STAIRS), and the transition from block-based programming (Scratch) to text-based languages (Python) in schools. She also investigates how ICT exposure impacts mathematics self-belief and academic performance in PISA assessments. Runde has contributed to over 30 peer-reviewed publications since 2005, appearing in journals like Formal Aspects of Computing and Software and Systems Modeling. Her work frequently addresses challenges in software design, security risk analysis, and service-oriented architecture modeling using UML extensions. Key contributions include developing pattern languages for web application security risk analysis, analyzing nondeterminism in sequence diagrams, and creating methodologies for dynamic service composition using UML 2.x. She has collaborated with international researchers on computing education initiatives and formal methods applications.

Seif Haridiمشاهده پروفایل

استاد

• Parallel Computing
• Distributed Computing
• Cloud Computing
• +۴ مورد دیگر

Seif Haridi is a Professor at KTH Royal Institute of Technology in Stockholm, Sweden, specializing in parallel and distributed computing systems. He holds dual roles as Chair-Professor of Computer Systems and Chief Scientific Advisor at RISE SICS. His research integrates systems engineering with theoretical foundations, focusing on programming systems, distributed computing, and big data technologies. Key contributions include co-designing SICStus Prolog, the Mozart Programming System, and Apache Flink, as well as leading the development of HOPS, a European big data platform awarded the IEEE Scale Prize 2017. He has led major EU projects like EIT-Digital’s cloud computing initiative and co-founded startups such as LogicalClocks and HiveStreaming. His teaching includes courses on distributed algorithms and peer-to-peer computing at KTH. Notable awards include the European Data Science Technology Innovation 2019. His work spans systems like HOPS, Flink, and Kompics, emphasizing scalability and robustness in distributed environments. Current projects include CDA (Continuous Deep Analytics) and ExtremeEarth for geospatial data analysis. Research interests include distributed algorithms, consensus protocols, and cloud-native systems. His lab’s contributions to scalable storage (e.g., HopsFS) and stream processing (Apache Flink) highlight his impact on both academia and industry.

Assia Mahboubiمشاهده پروفایل

استاد

• Formalization
• Type Theory
• Formal Proof
• +۵ مورد دیگر

Assia Mahboubi is an Endowed Professor at the Department of Mathematics, Faculty of Science, Vrije Universiteit Amsterdam, holding the title 'Automated Verification of Mathematical Proof'. She concurrently serves as a researcher at Inria Nantes since 2018. Her research focuses on formal methods in mathematics and computer science, particularly type theory, formal proof systems, and computer algebra. She leads projects related to automated reasoning, dependent type systems, and formalization of mathematical theories. Education & Professional Background: PhD in Mathematics (implied by academic rank) Ancillary activity: Researcher at Inria, Nantes Research Interests: Her work centers on foundational aspects of formal proofs, including type theory, automated reasoning, and the formalization of complex mathematical concepts like polynomial equations and continuity models. She develops tools for compositional preprocessing in theorem proving and explores univalent foundations in proof transfer. Recent Work Trends: Recent publications emphasize advancements in proof automation, dependent type systems, and the formal verification of algebraic structures. Her work bridges theoretical computer science with practical formal methods implementation. Labs/Teams: Associated with Inria research teams and the Computer Algebra Nederland foundation. Engages in collaborative projects with international institutions through her network in type theory and formal methods communities.

Peter Robinsonمشاهده پروفایل

پژوهشگر ارشد

• Computer Science
• Software Verification
• Formal Methods
• +۶ مورد دیگر

Dr. Peter J. Robinson is an Honorary Research Fellow at the School of Electrical Engineering & Computer Science, The University of Queensland. His academic career spans over three decades, focusing on foundational research in programming languages, formal methods, and distributed systems. His work includes contributions to Qu-Prolog, a multi-threaded Prolog implementation, and TeleoR, a robotic task programming framework. Research interests include agent-based systems, blockchain security for aerospace applications, software verification, concurrent programming, and education technology. Notable projects include the Pedro publish/subscribe server and MyPyTutor, an interactive Python learning tool. He has collaborated on railway safety protocols and spacecraft control systems using blockchain. Publications span journals like Formal Aspects of Computing and conferences such as IEEE Symposium on Computers and Communications. Technical reports include work on unification algorithms and multi-agent verification frameworks. He has advised on projects involving IoT architectures and swarm intelligence simulations.

Bin Guoمشاهده پروفایل

استادیار

• Parallel and Distributed Computing
• Graph Algorithms
• Graph Mining
• +۵ مورد دیگر

Bin Guo is an Assistant Professor at the Computer Science Department of Trent University (since Jan. 2024) and an Adjunct Assistant Professor at the Computing & Software Department of McMaster University. He holds a PhD in Computer Science from McMaster University (2023) and an MSc in Applied Computer Science from Winnipeg University (2018). His research focuses on parallel/distributed computing, graph algorithms, and computer security for data analytics, with notable contributions to federated k-core decomposition and secure distributed algorithms. He teaches courses in database systems, operating systems, and computer security at Trent University and has taught at McMaster University. Education: PhD in Computer Science, McMaster University (2023) MSc in Applied Computer Science, Winnipeg University (2018) Research Interests: Parallel and Distributed Computing Graph Algorithms and Mining Computer Security & Privacy Federated Learning Concurrent Data Structures Advising & Grants: Current advisees: Gregory Prouty, Michael Abiona, Syed Zarif Past advisees: Igor Jardim-Martins, Issec Lee Funding sources: Graduate Teaching Assistantships, Research Fellowships, Trent University Research Development Grants Labs & Teams: Leading research projects in parallel graph algorithms and federated security algorithms Collaborating with McMaster University on PhD/Master's co-supervision