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

Pelin Berik Giwaمشاهده پروفایل

مدرس

• Piezoelectric Actuators
• Nanotechnology Applications in Aerospace
• Materials Science
• +۳ مورد دیگر

Pelin Berik Giwa is a Lecturer in the Department of Mechanical and Aerospace Engineering at the University of Central Florida (UCF). She holds a doctorate in mechatronics engineering from Johannes Kepler University and a Diplom degree in mechanical engineering from Vienna University of Technology. Her postdoctoral research spanned California State University, North Carolina State University, and Virginia Tech, with visiting roles at UCLA and Loyola Marymount University. Education : Ph.D., Mechatronics Engineering, Johannes Kepler University Diplom, Mechanical Engineering, Vienna University of Technology Research Interests : Focuses on piezoelectric actuators, nanotechnology applications in aerospace, and vibration control in aerospace structures. Her work integrates experimental benchmarking, finite element simulations, and material characterization to advance smart materials and actuator designs. Article Trends : Her publications emphasize piezoelectric crystal actuation, shear-mode sensors, and lead-free materials. Key themes include torsional actuation, nonlinear response analysis, and material optimization for aerospace applications. Awards : Erwin Schrödinger Fellowship, Austrian Academy of Sciences Max Kade Fellowship Teaching & Advising : Instructs courses like Engineering Analysis – Dynamics and Modeling Methods in MAE. While no formal advisees are listed, her roles reflect mentorship in academic and postdoctoral settings.

• Computer Science
• Software Engineering
• Artificial Intelligence
• +۵ مورد دیگر

Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.

Calin Beltaمشاهده پروفایل

استاد

• Control Theory
• Cyber-Physical Systems
• Formal Methods
• +۵ مورد دیگر

Calin Belta is the Brendan Iribe Endowed Professor of Electrical and Computer Engineering and Computer Science at the University of Maryland, College Park. He is affiliated with the Institute of Systems Research (ISR) and the Maryland Robotics Center (MRC), and holds a Research Professor position at Boston University's College of Engineering. His work bridges control theory, formal methods, and machine learning to ensure safety in cyber-physical and data-driven systems, with applications in robotics, autonomous driving, and systems biology. Research Interests: Focus on dynamics and control theory, formal methods for verification and control synthesis, robotics, autonomous systems, and synthetic biology. Recent projects include PROGENIC (collaborating with MIT, UChicago, and UDelaware) and safety-critical control for heterogeneous robotic teams. Key Achievements: General Chair of the 2025 MRC Symposium, recipient of AFOSR Young Investigator Award (2008), NSF CAREER Award (2005), and IEEE Fellow. His work on formal methods for autonomous systems has led to impactful tools for safety assurance in robotics and AI. Grants: NSF EFRI PROGENIC grant (2024), multiple industry partnerships. Advising: Mentored students like Wenliang Liu (PhD 2024, now at Amazon), and collaborator Marius Kloetzer (shared HSCC Test of Time Award 2025). Labs/Teams: Maryland Robotics Center, Institute for Systems Research, and Boston University collaborations.

Necmiye Ozayمشاهده پروفایل

دانشیار

• Control Systems
• Optimization
• Formal Methods
• +۵ مورد دیگر

Necmiye Ozay is an Associate Professor in Robotics and Electrical and Computer Engineering at the University of Michigan. Her research focuses on control systems, formal methods, and cyber-physical systems, with applications in autonomy, system identification, and verification. She leads a diverse research group encompassing PhD, MS, and undergraduate students, as well as postdoctoral researchers. Her work bridges theory and practice, addressing challenges in safety-critical systems design and data-driven control. Her educational background includes a PhD in Electrical and Computer Engineering from Northeastern University and a Master’s from Penn State. She has received significant funding from NSF, ONR, and industry partners, supporting projects like the CLEVR-AI initiative and Scenic ecosystem development. Her research has been recognized through awards and collaborations at institutions like MIT, Berkeley, and Johns Hopkins. Key research areas include model-based control synthesis, robust system identification, and anomaly detection in cyber-physical systems. Notable contributions include methods for correct-by-construction control, hybrid system analysis, and learning-based approaches for autonomous systems. She actively contributes to conferences such as HSCC and CDC, and her lab’s work impacts automotive safety, energy systems, and robotics. Ozay’s advising spans over 50 students and postdocs, many of whom hold academic or industry roles. Her lab maintains active collaborations across disciplines, emphasizing interdisciplinary solutions to real-world control challenges.

John Haleمشاهده پروفایل

استاد

• Cyber security
• Bioinformatics
• High performance computing
• +۶ مورد دیگر

John Hale, Ph.D., is a Professor and Chair of Computer Science at The University of Tulsa's Tandy School of Computer Science, where he holds the Tandy Endowed Chair in Bioinformatics and Computational Biology. He is a founding member of the TU Institute of Bioinformatics and Computational Biology (IBCB) and a faculty research scholar in the Institute for Information Security (iSec). Education: Ph.D., Computer Science, The University of Tulsa (1997) M.S., Computer Science, The University of Tulsa (1992) B.S., Computer Science, The University of Tulsa (1990) Dr. Hale's research spans cybersecurity , bioinformatics , cyber-physical systems , and applied formal methods . His work focuses on neuroinformatics, cyber trust, attack modeling, secure software development, and information privacy. Recent publications highlight trends in large-scale graph analysis for cybersecurity, attack graph generation on high-performance computing clusters, and security frameworks for nuclear reactor control systems. His research also explores hybrid attack graph modeling, reflective deception strategies, and compliance methods for cyber-physical infrastructures. Scientific Awards: 2000 National Science Foundation CAREER Award Dr. Hale has advised numerous research projects and received funding from the U.S. Air Force, Army, NSF, NIH, DARPA, NSA, and NIJ. He has testified before Congress on cybersecurity and holds a patent for anti-piracy technology. His lab work includes developing cyber-physical testbeds and science DMZ security solutions.

Rosemary Monahanمشاهده پروفایل

استاد

• Software Verification
• Dependable Software Systems
• Formal Methods
• +۳ مورد دیگر

Rosemary Monahan is a Professor in the Department of Computer Science at Maynooth University and an affiliate of the Hamilton Institute. She holds BSc and MSc degrees from University College Dublin and a PhD from Dublin City University. As Maynooth University's institutional lead for ADAPT (SFI Research Centre for AI-Driven Digital Content Technology), she focuses on advancing software dependability through formal methods and AI integration. Her research interests include safety-critical systems, dependable software, formal verification, and computational thinking education. She co-founded the VerifyThis competition series and leads projects such as MAIVV (Modular AI Verification and Visualisation) funded by SFI, and VALU3S (Verification and Validation of Automated Systems) funded by Horizon 2020. She has secured over €2.5M in EU funding for the Erasmus Mundus programs in dependable software systems. Monahan’s educational contributions include pioneering computational thinking resources (CoCoA and InSPECT projects) and teaching modules on software verification and rigorous software processes. She supervises PhD students in data science and advanced networks and collaborates with institutions like INRIA, Microsoft Research, and Amazon Web Services. Her professional roles include editorships in journals like Science of Computer Programming and leadership in conferences like iFM and FMICS. She actively promotes gender equality in computing through initiatives like INGENIC and TechMate toolkits.

Muhammad Rashedمشاهده پروفایل

استادیار

• Electronic Design Automation (EDA)
• In-Memory Computing
• Artificial Intelligence Acceleration
• +۵ مورد دیگر

Dr. Muhammad Rashed is an Assistant Professor in the Department of Computer Science and Engineering at the University of Texas at Arlington, within the College of Engineering. He holds a Ph.D. in Computer Engineering from the University of Central Florida (2024) and a B.S. in Electrical and Electronics Engineering from Bangladesh University of Engineering and Technology (2015). Ph.D. : Computer Engineering, University of Central Florida, 2024 B.S. : Electrical and Electronics Engineering, Bangladesh University of Engineering and Technology, 2015 His research focuses on electronic design automation (EDA), in-memory computing, AI acceleration, and sustainable computing. He explores novel computing paradigms to overcome the limitations of traditional architectures, particularly in data-intensive applications such as AI and scientific computing. His work emphasizes hardware-software co-design and leveraging emerging non-volatile memories for energy-efficient processing. The 15 most recent publications highlight a consistent focus on in-memory computing, particularly in path-based and flow-based architectures, logic synthesis, and AI acceleration. Key themes include optimization, fault tolerance, verification, and the use of advanced data structures like sentential decision diagrams. His work is published in top-tier venues such as DAC, ICCAD, ASP-DAC, and IEEE/ACM journals. Scientific Awards: UTA CARES Grant for OER Creation Research Experiences for Undergraduates (REU) Grant Alireza Seyedi Doctoral Research Innovation Endowed Scholarship David T. & Jane M. Donaldson Memorial Scholarship IEEE/ACM William J. McCalla ICCAD Best Paper Award Nomination Best Research Video Award, Design Automation Conference (DAC) Dr. Rashed advises several graduate and undergraduate students in the NextGen Computing Lab and is involved in research grants including the UTA CARES Grant and REU funding. He actively contributes to academic service through roles such as conference TPC member, journal reviewer (e.g., IEEE TCAD, ACM TODAES), and committee participation in the department and college. His lab, the NextGen Computing Lab, is dedicated to building scalable, energy-efficient computing systems for next-generation AI and scientific workloads, aligning with national initiatives in advanced computing.

Jonas Andereggمشاهده پروفایل

مدرس

• Plant Pathology
• Precision Agriculture
• High Throughput Phenotyping
• +۳ مورد دیگر

Jonas Anderegg is a Lecturer at the Department of Environmental Systems Science, ETH Zurich. He holds a PhD and MSc from ETH Zurich in Agricultural Sciences. His research focuses on crop disease phenotyping, precision agriculture, and host-pathogen interactions. Current projects include automated image analysis for disease detection and quantification of Zymoseptoria tritici under field conditions. He has held postdoc positions in Plant Pathology (Institute of Integrative Biology) and Crop Science (Institute of Agricultural Sciences) at ETH Zurich. His work involves developing scalable imaging and deep learning methods for field phenotyping, with applications in quantitative resistance assessment and crop disease management. Education: PhD, Group of Crop Science, ETH Zurich (2016-2020) MSc in Agricultural Sciences, ETH Zurich (2015) Research interests emphasize high-throughput phenotyping, automated disease detection, and integrating imaging technologies into agricultural practices. Key contributions include datasets like SYMPATHIQUE and FIP 1.0, which provide foundational resources for crop disease research. Grants and advising: While no formal student advisees are listed, his postdoc roles and collaborative projects likely involve mentoring junior researchers. His work aligns with ETH Zurich's focus on sustainable agriculture and technological innovation in plant sciences. Labs and teams: Active member of the Crop Disease Phenotyping group, leveraging UAVs, thermal imaging, and deep learning for field-scale monitoring of crop health and senescence dynamics.

• Software Engineering
• Graph Transformation Systems
• Model-Based Development
• +۵ مورد دیگر

Reiko Heckel is a Professor of Software Engineering at the University of Leicester, serving as Director of Postgraduate Teaching for Computing degrees and Data Analytics Lead at the Leicester Innovation Hub. She previously held academic roles at the Technical Universities of Dresden and Berlin before joining Leicester in 2004. Her research focuses on graph transformation systems, model-based development, stochastic modeling, and formal methods in software engineering. She earned her PhD (Dr.-Ing.) in Computer Science from TU Berlin in 1998. Her research interests span software engineering pedagogy, formal specification techniques, and applications of graph grammars in system modeling. Recent work explores stochastic graph transformations for social networks, transparency engineering in AI systems, and blockchain-based smart contract frameworks. Her contributions bridge theoretical foundations with practical applications in cybersecurity, data integration, and human-centric systems design. Key contributions include advancements in automated test case generation via graph transformations, visual contracts for software reverse engineering, and formal methods for complex system analysis. Her work frequently intersects with industry through collaborations via the Leicester Innovation Hub, emphasizing data analytics and technology transfer. Education: MSc Computer Science, Technical University of Dresden PhD (Dr.-Ing.), Computer Science, TU Berlin (1998) Leadership Roles: Head of Department (2014-2018) Director of Postgraduate Teaching (Ongoing) Research Themes: Model-Based Development Stochastic Systems Analysis Graph Neural Networks Trustworthy AI Her publications reflect a focus on formal methods, with recent trends in applying graph transformation techniques to social network modeling, blockchain smart contracts, and educational pedagogy.

• Conceptual Modeling
• Business Process Management
• Digital Transformation
• +۵ مورد دیگر

Yves Wautelet serves as an Associate Professor at the Faculty of Economics and Business at KU Leuven, where he conducts research in conceptual modeling, business process management, and digital transformation. His work addresses critical challenges at the intersection of information systems engineering and business strategy, with particular focus on sustainability-driven modeling approaches and IT governance frameworks. His primary research interests include: Conceptual modeling methodologies and frameworks Business process management and information systems design Digital transformation strategies and implementation IT governance and business-IT alignment Sustainability-driven modeling for circular economy Agile software development practices and methods Requirements engineering with user stories Wautelet's recent publication record demonstrates significant scholarly productivity with numerous 2024-2025 publications spanning conceptual modeling frameworks for sustainability (Circulise), tools for identifying ambiguity in user stories (AmbiTRUS), and approaches to align strategic and operational agility. His work bridges theoretical foundations with practical applications across diverse domains including healthcare, circular economy, software development, and organizational transformation. His research consistently applies model-driven approaches to solve complex real-world problems, often integrating sustainability considerations into information systems engineering. As a promotor and co-promotor, Wautelet currently supervises multiple doctoral research projects including: Automatic generation of conceptual models from textual descriptions (2024-2028) Sustainability-Driven Modeling Assistant for Twin Transition in Vietnam (2024-2028) Home Care Business Process Management using Distributed Ledger Technologies (2024-2028) Teaching Modeling Skills in BPMN formalism (2021-2025) His research is conducted through the Information Systems Engineering Research Group (LIRIS) at KU Leuven's Brussels campus, where he contributes to advancing model-driven approaches for addressing contemporary business and technological challenges.

Shiva Nejatiمشاهده پروفایل

استاد

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

Shiva Nejati is a Professor at the University of Ottawa 's School of Electrical Engineering and Computer Science . He holds a PhD in Computer Science from the University of Toronto and previously worked as a Senior Scientist (2012-2019) and Scientist (2009-2012) at the SnT Centre (University of Luxembourg) and Simula Research Laboratory. Research focus: Software engineering for cyber-physical systems (autonomous vehicles, IoT), blending formal verification, machine learning, and search-based testing Key tools developed: ARIsTEO, SOCRaTEs, SimCoTest, EPIcuRus Editorial roles: Associate Editor for EMSE Journal (2025–), ASE Journal (2025–), IEEE Transactions on Software Engineering (2020–2024) His work combines formal methods , empirical software engineering , and AI/ML to address verification challenges in complex systems, particularly through evolutionary algorithms and surrogate modeling . Notable collaborations include industry partners in telecommunications, automotive, and aerospace sectors. Recent publications emphasize large language models for requirements analysis, adversarial testing of vision systems, and multi-objective optimization for test generation. His Sedna Research Lab actively trains graduate students in these cutting-edge methodologies.

Brandon M. Stewartمشاهده پروفایل

دانشیار

• Quantitative Methods
• Statistical Methods
• Text Analysis
• +۵ مورد دیگر

Brandon M. Stewart is an Associate Professor of Sociology at Princeton University with extensive interdisciplinary affiliations. He serves as Director of the Statistics Core at the Office of Population Research and maintains formal connections with the Politics Department, Princeton Institute for Computational Science and Engineering, Center for Information Technology Policy, and Center for the Digital Humanities. Stewart holds editorial leadership as Co-Editor-in-Chief of Political Analysis and Associate Editor at Sociological Methods & Research . His educational background includes: Ph.D. in Government from Harvard University (2015) Master's degree in Statistics from Harvard University (2014) Stewart's research pioneers innovative quantitative methods for social science applications, specializing in automated text analysis and modeling complex heterogeneity in regression. His methodological frameworks enable researchers to uncover hidden structures in large datasets that were previously too costly or impossible to analyze. While his recent work has focused on using newspaper archives to study propaganda mechanisms in contemporary China, his tools are deliberately designed for broad applicability across diverse domains including education, human trafficking, forced migration, international relations, constitutional law, and psychology. His publication record demonstrates consistent innovation at the intersection of statistics, machine learning, and social inquiry. Stewart's work shows a clear trajectory from foundational methodological development to practical implementation across numerous substantive areas, with recurring themes of enhancing causal inference with textual data, developing robust topic modeling techniques, and creating accessible computational tools for social scientists. Stewart's scholarly excellence has been recognized through multiple prestigious awards: 2024 Leo Goodman (Early Career) Award from the Methodology Section of the American Sociological Association 2023 Emerging Scholar Award from the Political Methodology Society Edward R Chase Dissertation Prize Gosnell Prize for Excellence in Political Methodology Political Analysis Editor's Choice Award Recognition for Excellence in Mentoring Graduate Students As a mentor, Stewart has guided several successful graduate students to faculty positions at institutions including UCLA and Georgetown. His collaborative approach is evident in numerous multi-author projects spanning disciplines from political science to computational linguistics. His leadership extends to the Sociology Statistics Reading Group, which he founded to foster interdisciplinary methodological exchange, and his summer methods camp that trains social scientists in advanced quantitative techniques.

Hyosang Leeمشاهده پروفایل

استادیار

• Tactile Sensing
• Robotics
• Soft Robotics
• +۴ مورد دیگر

Hyosang Lee is an Assistant Professor in the Robotics Section of the Mechanical Engineering Department at Eindhoven University of Technology (TU/e). He holds a PhD from KAIST and has held research positions at the Max Planck Institute and University of Stuttgart. His work focuses on tactile sensing technologies, including artificial skin development, soft robotics, and integration of sensory systems with AI. Bachelor's: Mechanical Engineering, Korea University Master's: Robotics and Mechanical Engineering (double major) PhD: Mechanical Engineering, KAIST (2017) Research interests span tactile sensor design, electrical impedance tomography (EIT), and human-robot interaction. His group emphasizes creating scalable, flexible tactile systems for robots. Recent work includes air pressure sensing for force estimation and biomimetic skin materials. Publications highlight innovations in multi-directional force sensing, soft component technologies, and haptic interfaces for autism therapy. He teaches 'Dynamics and Control of Robotic Systems' and serves on the editorial board of npj Robotics . No formal student advisees are listed, though his lab, the Tactile Sensing and Robotic Skin Group , likely involves graduate researchers. His research contributes to UN Sustainable Development Goals related to health and technology.

Duminda Wijesekeraمشاهده پروفایل

استاد

• Cybersecurity
• Cyber-Physical Systems
• Digital Forensics
• +۵ مورد دیگر

Duminda Wijesekera serves as Professor in the Department of Cyber Security Engineering and Department of Computer Science at George Mason University, where he was inaugural chairman of the Cyber Security Engineering Department until December 2022. He concurrently held the position of visiting research scientist at the National Institute of Standards and Technology (NIST) from 2007-2022 and maintains status as a fellow at the Potomac Institute of Policy Studies. He leads the Mason Innovation Laboratory at Mason Square, driving translational research in cyber-physical security. His educational foundation includes: PhD in Computer Science, University of Minnesota (1997) PhD in Mathematical Logic, Cornell University (1990) BSc in Mathematics, University of Colombo Professor Wijesekera's research centers on cyber-physical system security , with pioneering work in Intelligent Transportation Systems spanning trains, aircraft, and connected vehicles. His digital forensics innovations establish frameworks for evidence-based scenario reconstruction and error management, while his formal methods research provides mathematical guarantees for safety-critical systems. Current projects address Next G-based edge services, digital twin vulnerability detection, and healthcare security architectures, consistently bridging theoretical rigor with real-world infrastructure protection. Analysis of his 2022-2025 publications reveals intense focus on autonomous vehicle security (38% of recent output), including traffic signal control optimization, ramming attack countermeasures, and CARLA-based scenario validation. Digital forensics using AI (20%) and secure manufacturing/edge computing (27%) constitute other major thrusts, demonstrating how formal verification and machine learning converge to solve complex cyber-physical security challenges across transportation, energy, and healthcare domains. His scientific recognition includes: CCI Impact Award (2022) for groundbreaking cyber-physical security contributions Fellowship at the Potomac Institute of Policy Studies for cybersecurity policy leadership Professor Wijesekera has secured substantial research funding through: NIST grants for health record security frameworks (2014-2015) US Department of Transportation projects on wireless frequency mapping for high-speed rail (2013-2014) Cyber Security Research Alliance funding for trust architectures in cyber-physical systems (2014) Commonwealth Cyber Initiative awards for autonomous vehicle security and energy-efficient manufacturing His industry partnerships with Honeywell and NIST ensure practical impact of theoretical research. The Mason Innovation Laboratory under his direction serves as an interdisciplinary hub for cyber-physical security, integrating researchers from computer science, electrical engineering, and policy studies to develop deployable solutions for transportation networks, power grids, and critical infrastructure protection.

Juergen Dingelمشاهده پروفایل

استاد

• Software Engineering
• Model-Driven Engineering
• Formal Methods
• +۷ مورد دیگر

Juergen Dingel is a Professor in the School of Computing at Queen's University, Canada. He joined the faculty in 2000 and holds a PhD in Computer Science from Carnegie Mellon University (1999). His research focuses on software modeling, model-driven engineering, formal methods, and formal verification, with applications in real-time systems and embedded systems. He leads the Modeling and Analysis in Software Engineering (MASE) research group. Education: PhD in Computer Science, Carnegie Mellon University (1999) M.Sc. in Pure and Applied Logic, Berlin University of Technology (1994) M.Sc. in Computer Science, Berlin University of Technology (1992) Research Interests: Model-driven engineering and transformation Formal specification and verification Automated testing and debugging Real-time and embedded systems Service composition and distributed systems His work emphasizes practical tools like Papyrus-RT and MDebugger , integrating formal methods into software development. Grants & Collaborations: Funded by NSERC, OCE, and industry partners (IBM, GM, Ericsson) Focus on automotive systems, IoT, and safety-critical applications Service: Editorial board member for SoSyM , STTT , and JOT Former chair of the MODELS Steering Committee (2016–2018) PC co-chair for MODELS 2014 and FMOODS/FORTE 2011 Labs & Teams: Leads the MASE group, which develops open-source tools for model-driven engineering. Collaborates with industry on automotive and IoT projects.