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

Joseph Krajcikمشاهده پروفایل

استاد

• Science Education
• Project-Based Learning
• STEM Education
• +۳ مورد دیگر

Joseph Krajcik is the Lappan-Phillips Professor of Science Education at Michigan State University (MSU), where he also directs the CREATE for STEM Institute. He holds a Ph.D. from the University of Iowa. His research focuses on improving science education through project-based learning (PBL), curriculum design, and the integration of artificial intelligence (AI) into STEM instruction. Krajcik has authored over 100 manuscripts, books, and curriculum materials, emphasizing coherence between standards, teaching practices, and student learning outcomes. He has received significant recognition, including election to the National Academy of Education (2020), the McGraw Prize in Pre-K-12 Education (2020), and the ISDDE Prize for Excellence in Education Design (2021). His work bridges theory and practice, collaborating with teachers to develop and test innovative learning environments. Recent efforts explore AI’s role in assessment, equity, and instructional decision-making, while maintaining a strong focus on PBL’s efficacy in K-12 settings. Krajcik’s international collaborations include guest professorships at Beijing Normal University (China), Ewha Woman’s University (South Korea), and the Weizmann Institute of Science (Israel). His research spans science engagement, systems thinking, computational modeling, and culturally relevant pedagogy, particularly in underserved urban classrooms.

• Software Engineering
• Parallel and Distributed Systems Architecture
• Trusted Components and Services
• +۶ مورد دیگر

Professor Heinrich Schmidt is an Adjunct Professor in the School of Science at RMIT University, Australia. His research focuses on Software Engineering, Distributed Systems, and Cyber-Physical Systems. He specializes in areas such as formal verification, safety-critical systems, and cloud computing. His work emphasizes practical applications in industrial automation, IoT, and HPC environments. Key research interests include spatio-temporal analysis, fault tolerance, and adaptive systems design. He has supervised projects on IoT data contextualization, software fault characterization, and spatial modeling in PRISM. Over 98 publications highlight his contributions to formal methods, distributed systems, and industrial software solutions. Professor Schmidt collaborates on projects like Chiminey (cloud/HPC integration) and VxLab (industrial visualization). His teaching covers parallel systems, trusted components, and model-based monitoring. No specific awards are listed, but his extensive publication record underscores his academic impact.

• Human-Centered Computing
• Data Management and Data Science
• Applied Computing
• +۴ مورد دیگر

Professor Tuck Wah Leong is Deputy Dean (Learning & Teaching) at RMIT University's School of Computing Technologies. His research focuses on human-centered computing, data science, and applied computing with particular emphasis on narrative visualization, healthcare communication, and inclusive technology design. Leong has contributed significantly to understanding usability challenges in self-service technologies and virtual training systems. His work bridges academic research with practical applications, addressing issues like queer youth experiences on social platforms and ethical considerations in AI-driven self-care tools. Leong collaborates across disciplines to develop innovative solutions for diverse populations including Indigenous communities and elderly users. His recent studies explore the impact of immersion levels in VR training and the role of generative AI in mental health support systems. Leong maintains active engagement in educational technology, co-designing tools like XRAuthor for immersive learning content creation. His research consistently emphasizes participatory methodologies to ensure technologies align with user needs and societal values.

Hugo Larochelleمشاهده پروفایل

دانشیار

• Neural Networks
• Deep Learning
• Machine Learning
• +۴ مورد دیگر

Hugo Larochelle is an Associate Professor at the Université de Montréal's Department of Computer Science and Operations Research (DIRO) within the Faculty of Arts and Sciences. His expertise spans Neural Networks, Deep Learning, and Machine Learning, with contributions to fields like Computer Vision and Natural Language Processing. A graduate of DIRO (Bacc 2004, PhD 2009), he held roles at the University of Sherbrooke (2011–2016) and co-founded Whetlab (acquired by Twitter in 2015). Currently at Google Brain, he balances academic and industrial research, leading projects like the UNIQUE initiative exploring neuroscience-AI intersections. He actively contributes to Quebec’s AI ecosystem through MILA and has received prestigious awards, including the 2019 Diplômé d'honneur. His work emphasizes ethical AI, reproducibility, and interdisciplinary applications. Education: Baccalauréat (Computer Science), Université de Montréal, 2004 Doctorat (Computer Science), Université de Montréal, 2009 Research Interests: Hugo’s work focuses on advancing deep learning techniques for real-world applications, including environmental monitoring (e.g., tree crown segmentation via drone imagery), AI ethics, and model unlearning. He explores intersections between neuroscience and AI, leveraging interdisciplinary approaches to solve complex problems. Recent efforts emphasize benchmark standardization (e.g., EEVEE/GATE) and improving model efficiency through architecture innovations like SoftMoE. Articles Trends: Recent publications highlight contributions to instance segmentation (SAM models), ethical AI (unlearning frameworks), and interdisciplinary applications (e.g., bird species modeling with remote sensing). His work bridges theoretical advancements with practical tools for industries and environmental science. Scientific Awards: 2019 Diplômé d'honneur (Université de Montréal). Advising & Grants: Supervised PhD students in topics like neural networks, code modeling, and program execution (e.g., Sara Hooker, David Bieber). Co-PI on the UNIQUE project (2019–2024, FRQNT-funded), exploring neuro-AI synergies. Recipient of CIFAR funding for ICRA research (2017–2022). Labs & Collaborations: Active contributor to MILA as an associate member. Leads interdisciplinary efforts in AI for environmental challenges and healthcare imaging optimization.

Stéphane BORDASمشاهده پروفایل

استاد

• Computational Mechanics
• Biomechanics
• Finite Element Methods
• +۶ مورد دیگر

Stéphane BORDAS is a Full Professor in Computational Mechanics at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM), leading the Computational Mechanics (Legato) research group. His work focuses on free boundary problems, method development for complex geometries, and applications in fracture mechanics, biomechanics, and computational engineering. He previously held roles at Cardiff University and the Swiss Federal Institute of Technology in Lausanne (EPFL). His research integrates computational methods like XFEM, isogeometric analysis, and meshfree techniques to address challenges in engineering and medicine. Education: Ph.D. in Theoretical and Applied Mechanics, Northwestern University (2003) M.Sc. in Civil Engineering, École Spéciale des Travaux Publics and Northwestern University (1999) Research Interests: Computational Mechanics, Biomechanics, Finite Element Methods, Fracture Mechanics, High-Performance Computing, Isogeometric Analysis. Grants & Projects: ERC Starting Grant (RealTCut) for surgical simulation and material cutting FP7 ITN INSIST for meshless methods Labs/Teams: Computational Mechanics (Legato) Group at the University of Luxembourg. His work bridges academia and industry, with applications in aerospace, biomedical engineering, and materials science. He is active in open-source software development, including codes for XFEM, isogeometric analysis, and meshfree methods.

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

مدرس ارشد

• Structural Engineering
• Concrete Technology
• Building Information Modeling (BIM)
• +۵ مورد دیگر

Dr David Begg is a Senior Lecturer at the University of Portsmouth, affiliated with the Faculty of Technology and School of Civil Engineering and Surveying. He contributes to the Portsmouth Centre for Advanced Materials and Manufacturing and serves as a PhD supervisor. Academic Rank: Senior Lecturer University: University of Portsmouth School: Faculty of Technology Department: School of Civil Engineering and Surveying His research focuses on structural engineering, concrete technology, and smart systems. Key areas include: Structural Modeling, Monitoring, and Design Steel Fiber Reinforced Concrete Building Information Modeling (BIM) Optimization Seismic Analysis and Rehabilitation Intelligent Structural Systems Research trends show consistent contributions to concrete material properties, BIM integration, and seismic vulnerability assessment. Scientific awards are not explicitly mentioned in available data. He accepts PhD students but notes no current funding opportunities.

Sneha Kumar Kaseraمشاهده پروفایل

استاد

• Networking
• Wireless Systems
• Cybersecurity
• +۶ مورد دیگر

Sneha Kumar Kasera is an Associate Dean for Academic Affairs and Professor at the John and Marcia Price College of Engineering, affiliated with the Kahlert School of Computing. She leads the ANSR Lab, founded in 2003, focusing on advanced networked systems research. Her work spans networks and systems, including mobile/pervasive systems, wireless security, IoT, crowdsourcing, and spectrum management. She has held leadership roles in conferences like IEEE WoWMoM, ACM WiSec, and ACM MobiCom. Kasera’s research emphasizes practical applications of networking and security, with contributions to spectrum sharing, dynamic zone protocols, and privacy-preserving technologies. Her professional activities include program co-chair roles for major conferences and editorial positions for IEEE Transactions. She advises numerous PhD and MS students, many of whom hold prominent roles in academia and industry. Kasera’s lab develops open platforms like POWDER for experimental wireless research, addressing real-world challenges in network design and security. Key research themes include spectrum monitoring, deep reinforcement learning for network optimization, and privacy-aware systems. Her publications highlight advancements in 5G/6G networks, wireless localization, and IoT ecosystems. Her work bridges theoretical contributions with scalable, deployable solutions for modern communication challenges.

• Information Systems Development
• Digital Transformation
• Agile Software Development
• +۵ مورد دیگر

Dr. Bartosz Marcinkowski serves as Professor and Head of the Department of Business Informatics at the University of Gdańsk's Faculty of Management, concurrently holding the positions of Deputy Dean for Research and Head of the Doctoral School. His academic leadership spans departmental administration, faculty research strategy, and doctoral program oversight within Poland's prominent management education institution. Marcinkowski's research centers on the intersection of information systems and practical business applications, with dominant focus areas including agile software development methodologies, digital transformation frameworks, and facility management technology adoption. His work consistently addresses contemporary challenges such as post-pandemic recovery in IT projects, generative AI integration, and sustainable business practices through empirical industry-academia collaborations. Recent publications demonstrate particular expertise in scaling agile frameworks for distributed teams and implementing blockchain solutions in enterprise environments. Analysis of his 2022-2025 publications reveals a strategic research trajectory emphasizing practical solutions for complex business-technology challenges. His work shows increasing integration of sustainability considerations across domains, from facility management to corporate governance, while maintaining strong methodological focus on agile approaches and systems integration. The recurring industry-academia collaboration theme highlights his commitment to bridging theoretical research with real-world business applications.

• High Performance Computing
• Software Engineering for HPC
• Code Generation
• +۱۲ مورد دیگر

Harald Köstler is an Associate Professor and Head of Research at the Erlangen National High Performance Computing Center (NHR@FAU) within the Department of Computer Science at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). He leads the research group on HPC Software Design at the Chair of Computer Science 10 (System Simulation), focusing on software engineering for high-performance computing and data analytics. His research interests include: Software Engineering for HPC Code Generation for Numerical Solvers Performance Engineering on Hybrid Architectures Discontinuous Galerkin and Lattice Boltzmann Methods Multigrid Solvers and Parallel Algorithms Performance Portability across CPUs, GPUs, and FPGAs The recent publications highlight a strong trend in developing efficient, scalable, and portable simulation frameworks for complex physical systems. His work emphasizes code generation, performance optimization, and the integration of classical model-driven and data-driven approaches. Key application areas include computational fluid dynamics, geotechnical engineering, and climate modeling, often leveraging the waLBerla and ExaStencils frameworks. Harald Köstler has no listed scientific awards in the provided text. He advises students in the areas of high-performance computing, numerical methods, and software engineering for scientific applications. His research is supported by collaborations within the FAU HPC ecosystem and likely involves grants related to national high-performance computing initiatives. He is a key contributor to the waLBerla framework, a block-structured, high-performance software for multiphysics simulations, and is involved with the ExaStencils project, which focuses on advanced multigrid solver generation. These frameworks form the core of his research team's efforts in scalable scientific computing.

• Computer Science
• Artificial Intelligence
• Robotics

Gonzalo Esteban Costales is a researcher affiliated with the University of Leon from 2012 to 2025, specializing in Computer Science and Artificial Intelligence within the Robotics research group. His work bridges haptic simulation, robotics, and educational technology. Education: Ph.D. in Computer Science (2020), University of Leon, with a thesis on haptic simulators for expert knowledge transfer . Research Interests: Haptic simulation for surgical training and rehabilitation Robotics security in industrial environments Educational technology frameworks Version control analytics for student performance Open-source vulnerability detection tools Key Article Trends: Recent publications focus on haptic workspace optimization, threat modeling for robotic production plants, and security enhancements in continuous integration workflows. His work spans simulation design, cybersecurity, and educational applications of robotics.

• Model-Driven Engineering
• Robotics Software Engineering
• Software Architecture
• +۳ مورد دیگر

Federico Ciccozzi is an Associate Professor in Computer Science at Mälardalen University's School of Innovation, Design and Engineering, where he leads the ASSO research group and the VR ORPHEUS project. He also serves as Head of Research Education in Computer Science and Electronics at the university. His academic journey includes a M.Sc. in Global Software Engineering (via the GSEEM program) and a Ph.D. in Computer Science and Engineering from Mälardalen University (2014), followed by promotion to Docent (Associate Professor) in 2017. Education: M.Sc. in Global Software Engineering (GSEEM program, joint between Mälardalen, L'Aquila, and Amsterdam) Ph.D. in Computer Science and Engineering (Mälardalen University, 2014) Docent (Associate Professor) in Computer Science (Mälardalen University, 2017) His research focuses on model-driven engineering, robotics software engineering, and software architecture. He has pioneered work in blended modeling approaches, EAST-ADL extensions, and formal verification of complex systems, particularly in robotics and automotive domains. Recent projects emphasize industrial collaborations, such as optimizing ROS2 multi-robot systems and enhancing safety-critical software through model-based methodologies. Research Contributions: Developed frameworks for transforming surface languages into augmented EAST-ADL models Advanced blended modeling techniques across JetBrains MPS and Eclipse tools Examined consistency management in industrial model-driven development Edited special issues on model-driven engineering and low-code development His work bridges academic innovation and industrial practice, with notable projects like the Rubus Component Model for vehicular systems. He actively organizes workshops (e.g., RoSE, ASYDE) and contributes to standardization efforts like the Portable Test and Stimulus Standard. Labs/Teams: Leads the ASSO research group, focusing on advanced software engineering methodologies and robotics systems development.

• Production Systems Engineering
• Software Engineering
• Cyber-Physical Production Systems
• +۴ مورد دیگر

Prof. Dietmar Winkler is a Lecturer at TU Wien's Department of Information Systems Engineering, specializing in Cyber-Physical Production Systems (CPPS) and Software Engineering. His work focuses on integrating safety, security, and quality aspects into production systems through model-driven engineering and agile practices. He contributes to Industry 4.0 initiatives, particularly in asset-based risk mitigation and knowledge graph frameworks for security analysis. Research interests include: production systems engineering, cyber-physical systems, test-driven validation, model integration, and software quality intelligence. His publications emphasize multi-view modeling, traceability pipelines, and empirical studies on test code readability. Recent work explores security-log analysis via knowledge graphs (VloGraph), test scenario validation using design models, and efficient FMEA re-validation in agile environments. He co-leads projects on digital production system safety and coordinates multi-disciplinary engineering artifacts. Active in academic communities, he organizes conferences like Software Quality: The Next Big Thing. His contributions bridge theory and practice in systems engineering, with a focus on improving software development processes in complex industrial settings.

Alberto L. Sangiovanni-Vincentelliمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Design Automation
• Embedded Systems
• +۷ مورد دیگر

Alberto L. Sangiovanni-Vincentelli holds the Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is a pioneer in Electronic Design Automation (EDA) and co-founder of Cadence and Synopsys. His research focuses on Cyber-Physical Systems (CPS), embedded systems, hybrid systems, and formal methods for AI. He has authored over 800 papers and 17 books, with major contributions to design automation and methodologies. Education: Dr. Ing., EECS, Politecnico di Milano (1971) Research interests include design methodologies, CPS, and AI integration. He has received numerous awards, including the IEEE James Clerk Maxwell Medal (2008) and ACM/IEEE A. Richard Newton Technical Impact Award (2009). He serves on multiple corporate boards and advisory councils, including the Strategic Committee of the Italian Strategic Fund and the Executive Committee of the Italian Institute of Technology. His work spans academia, industry, and policy, with a focus on innovation ecosystems and CPS design automation. Awards: Over 20 major honors, including Fellowships from IEEE and ACM.

• Network Management
• Network Protocols
• Internet of Things
• +۵ مورد دیگر

Jürgen Schönwälder is a Professor at Jacobs University Bremen, Germany, with affiliations at the University of Osnabrück and TU Braunschweig's Department of Computer Science. His research focuses on network management, protocol design, and internet infrastructure. Key research areas include network management protocols (NETCONF, RESTCONF, YANG), IPv6 performance analysis, cybersecurity, and network configuration. He has contributed extensively to standardization efforts through RFCs and collaborations with institutions like the IETF and Dagstuhl Seminars. Recent publications highlight trends in RESTCONF implementation for constrained devices, active malware analysis using Bayesian models, and metamorphic testing for cryptographic protocols. His work intersects network management, internet infrastructure, and security evaluation. Co-authors like Vaibhav Bajpai, Anuj Sehgal, and Abhilash Hota appear frequently in his research, indicating long-term collaborations. He has participated in editorial roles for journals like IEEE Communications Magazine.

Jan Peleskaمشاهده پروفایل

استاد

• Formal Methods
• Dependable Systems
• Distributed Systems
• +۸ مورد دیگر

Jan Peleska is a Professor at the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bremen. He is a member of the Bremen Institute of Safe Systems (BISS) and co-editor of the BISS Monographs series. His research focuses on the application of formal methods and model-based testing to safety-critical embedded systems in domains such as avionics, railways, and automotive engineering. Affiliation: University of Bremen, TZI (Center for Computing Technology), BISS (Bremen Institute of Safe Systems) Academic Role: Professor of Computer Science Research Interests Peleska’s work emphasizes formal methods for dependable systems, particularly distributed and reactive real-time systems. Key areas include: Formal methods (safety, reliability, availability, security) Development of fault-tolerant systems Test automation for reactive systems Tools development for formal methods Integration with software development standards His research is applied to industrial projects involving safety-critical embedded systems, such as avionic systems and railway control systems. A comprehensive overview is provided in his Habilitation Thesis: Formal Methods and the Development of Dependable Systems . Publication Trends Peleska’s recent publications (2012–2022) focus on model-based testing (e.g., symbolic finite state machines, CSP refinement), standardisation of autonomous train control, and tools for automated testing. His work addresses challenges in railway interlocking systems, avionic software verification, and hybrid system validation, often combining formal methods with practical industrial applications. Scientific Awards Best Paper Award at FORMS/FORMAT 2014 Best Paper Award at QA+Test 2007 Other Responsibilities Peleska co-manages the Post Graduate Programme Embedded Systems GESy and serves as a shareholder/consultant for Verified Systems International GmbH. He has delivered invited lectures on industrial verification, model-based testing, and formal methods at institutions like the University of Tunghai (2016) and workshops including CyPhyAssure Spring School (2019).