جستجوی استاد راهنمای دانشگاهی

Chandrakana Nandiمشاهده پروفایل

استادیار

• Programming Languages
• Compilers
• Equality Saturation
• +۵ مورد دیگر

Chandrakana Nandi is the Director of US R&D at Certora and an affiliate assistant professor in the Department of Computer Science & Engineering at the University of Washington's College of Engineering. She completed her PhD at the University of Washington working with Zachary Tatlock and Dan Grossman in the PLSE research group. Her research focuses on building tools for scaling automated formal verification to real-world programs, particularly for DeFi applications. She works extensively with equality saturation techniques (egg project) and has made significant contributions to computational fabrication through projects like Carpentry Compiler, Szalinski, and LambdaCAD. Her work bridges programming languages, compilers, and digital fabrication, creating novel tools that transform how we design and manufacture physical objects. Nandi's publication record shows a strong trajectory in programming language techniques applied to verification and fabrication. Her work on equality saturation has become foundational in the field, with the egg library enabling state-of-the-art results in compiler optimization and program synthesis. Recent work has expanded into formal verification of smart contracts, demonstrating the versatility of her research approach across different domains. Distinguished Paper Award at OOPSLA 2021 Sigplan Research Highlight for POPL 2021 As Director of US R&D at Certora, she leads research efforts on verification tools for languages like WASM and techniques to help users write formal specifications more easily using mutation testing. She has served in numerous organizational roles for major programming languages conferences including as Workshops Co-Chair for ICFP 2025 and Committee Member for PLDI Review Committee. Nandi has established herself as a leader in the intersection of programming languages and computational fabrication, with her work on equality saturation becoming particularly influential across multiple subfields of programming languages research.

• Magnetorheological Fluids
• Automotive Suspension Systems
• Smart Materials
• +۷ مورد دیگر

Prof. Janusz Paweł Gołdasz is a faculty member at the Department of Automation and Computer Science within the Faculty of Electrical and Computer Engineering at Cracow University of Technology. His research focuses on magnetorheological (MR) fluids , automotive suspension systems , smart materials , and control systems , with significant contributions to MR damper design and fluid behavior analysis. Key Research Areas: Magnetorheological Fluids, Automotive Engineering, Smart Materials, Control Systems Recent Work: Advances in MR damper modeling, gradient pinch mode characterization, and frequency-dependent suspension systems His publications include studies on MR fluid sealing structures , capsule robotics , and magnetic hysteresis reconstruction , reflecting interdisciplinary applications in mechanical and medical engineering.

Colin Reiffمشاهده پروفایل

پژوهشگر

• Process Control
• Production Optimization
• Additive Manufacturing
• +۴ مورد دیگر

Colin Reiff serves as a Research Assistant at the Institute for Control Engineering of Machine Tools and Manufacturing Units at the University of Stuttgart, focusing on advanced manufacturing systems and process optimization. His work bridges theoretical research with industrial applications in automotive, aerospace, and general production contexts. His research interests center on process control and optimization in multi-stage production systems and Additive Manufacturing (Powder Bed Fusion Processes) . Reiff has developed innovative approaches for zero-defect manufacturing, particularly through smart centering methods for rotation-symmetric parts and automated vision data systems using collaborative robots. His work demonstrates how dimensional deviations can be compensated during production rather than detected at final inspection. Analysis of his publication record from 2018-2024 reveals consistent focus on manufacturing innovation, with increasing emphasis on data-driven approaches, software-defined manufacturing, and sustainable production. His research spans both theoretical frameworks and practical implementations, with several solutions transitioning to industrial applications. Reiff actively supervises student theses and practical experiments, including the "Simulation of a feed axis closed loop control with MATLAB/Simulink" laboratory course. His work has been supported through EU-funded projects like ForZDM under Horizon2020 and the High-Performance Center "Mass Personalization" in Stuttgart. His research group operates within the University of Stuttgart's manufacturing ecosystem, contributing to initiatives like the "Stuttgarter Maschinenfabrik" - a fully digitalized production environment for customer-individualized products. This environment leverages digital twins and new technological infrastructure to enable application development freedom and machine park flexibility.

Tony Wongمشاهده پروفایل

استاد

• Aeronautics and Aerospace
• Intelligent and Autonomous Systems
• Industrial Internet of Things
• +۳ مورد دیگر

Tony Wong is a Professor in the Department of Systems Engineering at École de technologie supérieure (ÉTS), specializing in aeronautics, autonomous systems, and industrial automation. He holds affiliations with three key research laboratories: the Control and Robotics Laboratory (CoRo), LARCASE (Aeronautical Research), and SYNCHROMEDIA (Multimedia Communication). His work bridges theoretical optimization and practical applications, particularly in UAV design, renewable energy, and blockchain logistics. Research interests span: Aeronautics/Aerospace : Morphing wing optimization, computational fluid dynamics, UAV performance enhancement. Intelligent Systems : Robotic automation, machine learning for predictive maintenance, low-code industrial solutions. Sustainable Technologies : Hybrid energy systems, IoT for resource optimization, edge computing deployments. Dr. Wong mentors 47+ graduate students, with recent projects including wind-tunnel validations of morphing wings, AI-driven supply chains, and solar energy forecasting. His publication record (31+ journal articles since 2021) demonstrates consistent contributions to aerodynamic design and computational intelligence. While no awards are documented, his leadership in collaborative labs underscores institutional recognition. Laboratory engagements focus on experimental validation and industrial partnerships, utilizing ÉTS facilities like the Price-Païdoussis Wind Tunnel and advanced flight simulators. Current projects prioritize sustainability, including aerodynamic drag reduction and blockchain-enabled cost optimization.

Jakub Wszołekمشاهده پروفایل

استادیار

• Robotics
• Decision Systems
• Intelligent Building Management
• +۴ مورد دیگر

Dr. Jakub Wszołek is an Assistant Professor at Gdańsk University of Technology, working in the Department of Decision Systems and Robotics within the Faculty of Electronics, Telecommunications and Informatics. His research focuses on intelligent systems, robotics, and network-based monitoring solutions for complex industrial applications. Dr. Wszołek's research interests include: Robotics and decision systems Intelligent building management systems Network monitoring and distributed control systems Electrical circuit design and analysis Economic lighting analysis for transportation infrastructure Web-based simulation environments His work demonstrates a strong focus on practical applications of intelligent systems in building management, industrial monitoring, and electrical engineering. Dr. Wszołek has developed innovative solutions like the Network Object Monitor (SMO) for autonomous diagnostic, monitoring, control and management systems for intelligent buildings, as well as web-based tools like SchematicLab for electrical circuit design. Professional recognitions: No specific awards mentioned in available information Dr. Wszołek actively contributes to research in intelligent systems and has collaborated with researchers like Z. Kowalczuk and A. Cichosz on various projects related to network monitoring, intelligent building management, and electrical circuit design tools. He is involved with research projects focused on developing simulation environments for economic lighting analysis of highways and creating web-based tools for electrical circuit design and analysis.

Hamed Alaviمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Smart Environments
• Urban Computing
• +۵ مورد دیگر

Hamed Alavi is a tenured Assistant Professor at the University of Amsterdam and founding member of the Digital Interaction Lab. His work bridges computer science, architecture, and urban design to develop inclusive intelligent spaces that reflect human values across architectural and urban dimensions. His educational background includes a PhD in Computer Science from the Swiss Federal Institute of Technology (EPFL) and post-doctoral research at University College London (UCL). Prior to academia, he led an educational technology start-up for eight years with global impact. Alavi's research focuses on Human-Building Interaction (HBI), exploring how intelligent environments can co-create inclusive spaces through biophilic design, physiological sensing, and human-centered methodologies. His work emphasizes socio-technical integration in smart buildings and cities, addressing neurodiversity, environmental comfort, and ethical data practices. His recent publications reveal strong trends in multisensory interaction design, urban computing, and inclusive technology development. Key themes include physiological-environmental sensing integration, AI ethics in urban contexts, and human experience frameworks for smart buildings, with growing emphasis on neurodiverse populations and biophilic elements. Scientific recognition includes: Inclusive City-Making Grant (PI, €3.8M, NWO) Best Paper Award at CHI 2025 As Principal Investigator for the NWO-funded Inclusive City-Making project, Alavi leads large-scale interdisciplinary research translating academic insights into urban solutions. His entrepreneurial background informs practical technology deployment strategies and industry-academia collaboration models. The Digital Interaction Lab, which he co-founded, serves as a research hub for intelligent environment design, bringing together computer scientists, architects, and urban planners to prototype responsive built environments through living lab methodologies and wild deployment studies.

• Data management and data science
• Electronics, sensors and digital hardware
• Control engineering, mechatronics and robotics
• +۴ مورد دیگر

Dr. Scott Adams serves as a Senior Lecturer at Deakin University within the Faculty of Science Engineering and Built Environment, School of Engineering, and is affiliated with the Centre for Sustainable Bio-Products. His research spans multiple engineering disciplines with a strong emphasis on sustainable technologies, artificial intelligence applications, and biomedical device development. Dr. Adams earned his Doctor of Philosophy and dual Bachelor degrees (Engineering with Honours and Information Technology with Distinction) from Deakin University. His academic journey progressed from Postdoctoral Research Fellow (2019-2022) to his current Senior Lecturer position. His research interests focus on data management and data science, electronics and sensor technology, control engineering, mechatronics, robotics, and biomedical engineering . His work demonstrates particular expertise in sustainable waste management systems, AI-driven monitoring solutions, and neural interface technologies. Dr. Adams has developed innovative approaches to tyre recycling, solar panel inspection, greenhouse monitoring, and neural microprobes with adaptive stiffness. An analysis of his recent publications reveals a strong trend toward sustainable engineering solutions with applications in waste recycling (particularly end-of-life tyres and solar panels), AI-enhanced monitoring systems for environmental and agricultural applications, and advanced biomedical devices featuring novel materials and control systems. His interdisciplinary approach bridges mechanical engineering, computer science, and environmental science. Dr. Adams actively supervises numerous doctoral students across diverse engineering projects and has secured substantial research funding through multiple industry collaborations. His grants portfolio includes significant projects such as the Commercialisation of an Automated Mobile EOL Solar PV Panel Recovery Plant ($345,925), End of Life Tyres to Green Hydrogen ($23,745,206), and various contracts with rail companies, energy firms, and agricultural technology developers. His teaching responsibilities include units such as SEE216 - Analogue and Digital Electronics, SEJ102 - Electrical Systems Engineering Project, and SEE711 - Sensor Networks. Dr. Adams has developed several innovative devices including the SmartStim AI-enabled deep brain stimulation device, AgriGlow IoT multi-spectral light sensing system, and automated soil gas monitoring technology, demonstrating his commitment to translating research into practical applications.

Sébastien Thomasseyمشاهده پروفایل

دانشیار

• Supply Chain Management
• Production Optimization
• Sales Forecasting
• +۴ مورد دیگر

Sébastien Thomassey is an Associate Professor at the National School of Arts and Textile Industries (ENSAIT), specializing in AI-driven solutions for textile engineering. His research focuses on optimizing fashion supply chains through machine learning applications in production management, sales forecasting, and sustainable manufacturing. He leads the Research Human Centered Design Group and coordinates multiple EU-funded projects including H2020's FBD-BModels and Erasmus+'s Digital Fashion initiative. His core research integrates: Supply chain optimization using AI forecasting models Textile manufacturing process automation Sustainable production lifecycle management Human-machine interaction in industrial settings Recent publications demonstrate strong emphasis on AI applications in textile anomaly detection (2024), digital twin technology (2023), and reinforcement learning for process optimization (2021). Awards include: Top 25 Most Cited Article in International Journal of Information Management (2021) He coordinates €5M+ in collaborative grants including: Fashion Trends 4.0 (Région Hauts-de-France) SMDTex Erasmus Mundus doctorate program H2020 FBD-BModels textile supply chain project Leads the Human Centered Design Group developing sensor-based textile tracking systems and industrial AI solutions.

Benjamin Zierockمشاهده پروفایل

استاد

• Innovation Management
• Design Thinking
• Digital Transformation
• +۴ مورد دیگر

Benjamin Zierock serves as Professor of Design and Innovation Development at SRH University of Applied Sciences Heidelberg since January 2019, concurrently holding the position of Program Director for Digital Transformation until August 2024. His professional trajectory includes coordination of GamesHub Heidelberg (2021-2023) and partnership at KickAss Sports GmbH (2020-2022), demonstrating applied industry engagement alongside academic work. His educational foundation includes a Diplom Medienkünstler degree from Staatliche Hochschule für Gestaltung Karlsruhe, establishing his expertise in media arts and design. Professor Zierock's research interrogates innovation ecosystems through design thinking lenses, with particular emphasis on agile methodology adaptation across sectors. His work bridges theoretical frameworks with practical implementation in digital transformation contexts, examining user experience optimization in healthcare systems and sustainability integration in software development lifecycles. The cross-pollination of LEGO SERIOUS PLAY techniques with rapid prototyping methodologies represents a distinctive methodological signature in his scholarly contributions. Analysis of his 2022-2024 publications reveals three dominant thematic clusters: agile education transformation (OKR/SCRUM frameworks), sustainable technology development (green software, smart city data governance), and participatory design systems (hackathons, radical usability). These streams consistently prioritize human-centered approaches while addressing systemic challenges in digital adoption. His scientific recognition includes: Publikationspreis SRH Hochschule 2024 for outstanding scholarly contributions German Web Awards Winner 2021 for digital innovation excellence EIT Health Design Award 2018 for healthcare solution design While formal student advisement structures aren't documented in available materials, Professor Zierock's leadership in GamesHub Heidelberg and Democratia-Aqua-Technica Initiative demonstrates mentorship through project-based learning environments. His cross-sector initiatives including KickAss Sports GmbH reveal entrepreneurial grant-seeking approaches focused on practical innovation implementation. Current operational environments include GamesHub Heidelberg (fostering game development ecosystems) and ongoing involvement with the Democratia-Aqua-Technica Initiative, which employs cross-media strategies for sustainable project development aligned with European SDG frameworks. These platforms serve as living laboratories for testing his research on collaborative innovation and participatory design systems.