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

Benjamin C. Pierceمشاهده پروفایل

استاد

• Automated reasoning
• Property-based testing
• Programming languages
• +۵ مورد دیگر

Benjamin C. Pierce is the Henry Salvatori Professor in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He leads research in programming languages, type theory, and software verification, with significant contributions to property-based testing through his work on the Tyche framework. Pierce is deeply involved in academic service, serving on program committees for major conferences including PLDI, OOPSLA, and POPL, and has held editorial roles for prestigious journals such as the Journal of Functional Programming. His research spans multiple areas including automated reasoning, property-based testing, programming language theory, security and privacy, and bidirectional programming. Pierce has made foundational contributions to type systems, programming language semantics, and formal verification. His recent work focuses on practical applications of property-based testing, with numerous publications on the Tyche framework and related tools that help developers understand and improve testing effectiveness. He also maintains significant interest in climate change research as it relates to academic conferences and virtual events. Pierce's publication record shows a clear trajectory toward more practical applications of formal methods, particularly in property-based testing. His recent articles demonstrate a focus on making verification techniques more accessible and useful for practicing developers, with strong emphasis on visualization, usability, and empirical validation. The research spans theoretical foundations to practical tools, reflecting his commitment to bridging the gap between programming language theory and real-world software development. Among his notable achievements are the 2023 Amazon Research Award for TYCHE: An IDE for Property-Based Testing and a Distinguished Paper Award in 2020 for "Interaction trees: representing recursive and impure programs in Coq." His influential textbooks, including "Types and Programming Languages" and the "Software Foundations" series, have educated generations of computer scientists. Pierce actively mentors PhD students, with recent advisees including Li-Yao Xia ("Executable Semantics with Interaction Trees"), Yishuai Li ("Testing By Dualization"), and Harrison Goldstein. He has secured significant research funding through collaborations with industry partners like Amazon and has been instrumental in developing frameworks for deep specification and verified systems. He co-leads initiatives addressing climate change impacts on academic conferences, serving on the ACM Presidential Task Force that produced "Virtual Conferences: A Guide to Best Practices" during the pandemic. His work on carbon offsets for scientific societies has influenced policies across multiple professional organizations.

Luiz Fariaمشاهده پروفایل

پژوهشگر ارشد

• Numerical Methods for Partial Differential Equations
• Boundary Integral Equations
• Wave Propagation
• +۴ مورد دیگر

Luiz Faria is a research scientist at ENSTA Paris , affiliated with the Applied Mathematics Unit (UMA) and the POEMS (Propagation des Ondes : Étude Mathématique et Simulation) research team at INRIA Saclay. His work focuses on numerical methods for partial differential equations , integral equations , and scientific computing , with applications in wave propagation , electromagnetic scattering , and detonation theory . Ph.D. in Applied Mathematics and Computational Sciences, KAUST (2015) M.S. in Applied Mathematics and Computational Sciences, KAUST (2011) B.S. in Mathematics, Texas A&M University (2010) His research spans: Wave Propagation : Advanced boundary integral equation methods for electromagnetic and water wave scattering, including complex-scaled formulations and field-only approaches Detonation Theory : Asymptotic analysis of detonation instabilities, set-valued solutions, and thermochemical loss modeling Numerical Methods : High-order quadrature techniques, polynomial density interpolation, and convolution quadrature algorithms Recent publications highlight: Development of field-only boundary integral equations for electromagnetic scattering in spherical geometries Efficient polynomial interpolation methods for singular volume potential evaluation Studies on nonlinear elliptic equations with variable exponents and convection terms He contributes to open-source software like DataFlowTasks.jl , and applies his methodologies to problems in inhomogeneous scattering and reactive media dynamics . His work bridges theoretical mathematics with industrial applications in energy , transportation , and defense technologies .

John-Paul Oreمشاهده پروفایل

استادیار

• Robot Software Reliability & Testing
• Program Analysis for Cyber-Physical Systems
• Flying Robots for Environmental Monitoring
• +۶ مورد دیگر

John-Paul Ore is an Assistant Professor in the Department of Computer Science at North Carolina State University's College of Engineering. His research bridges software engineering and field robotics, with a focus on program analysis, system testing, and high-resolution physical simulators for robotics systems, particularly those built with the Robot Operating System (ROS). He develops software engineering methods that improve the dependability of robotics systems through techniques for dimensional analysis without developer annotations, open-source tools like PHYS, and public datasets documenting dimensional inconsistencies in real-world systems. His educational background includes a Ph.D. from the University of Nebraska-Lincoln (2019) and a B.A. in Philosophy from the University of Chicago. His interdisciplinary background informs his approach to combining software engineering with robotics to address challenges in reasoning about full-system behavior across multiple layers of abstraction. Ore's research interests center on applying program analysis techniques to software that controls robots and interacts with the physical world. His work includes abstract type inference of physical unit types (like 'meters-per-second'), probabilistic techniques for combining semantic information in identifiers with code flow inference, and empirical measurements of how developers make decisions about robotic software. He focuses on program analysis and software testing that enhances system safety and reliability while remaining practical and economically efficient. His research has significant applications in environmental monitoring, addressing climate challenges, food production, and liberating people from dangerous, dirty, and dull work. His publication record shows a clear trajectory from foundational work on dimensional analysis in robotics software to increasingly complex applications in environmental monitoring and autonomous systems. The most recent publications demonstrate expansion into Large Language Models for code analysis while maintaining focus on practical robotics applications. His research consistently addresses the critical gap between theoretical program analysis and practical robotics system development. Best Tool Demonstration Award, ISSTA'17 for Phriky-Units ACM SIGSOFT Travel Award ($300) Othmer Fellowship 2014-2018 ($8K/year) UNL CSE Outstanding Master's Thesis Award 2015 RSS 2013 Travel Grant ($500) Ore actively mentors students, having served as research mentor for undergraduates Becca Horzewski (2016-17) and Lambros Karkazis (2018). His research is supported by significant grants including FARM BILL: NRI: INT ($1,018,596 from NSF), SHF: SMALL ($499,994 from NSF), and North Carolina Space Grant ($5,000 from NASA). He is currently recruiting PhD students for his lab focused on robotics and software engineering. His laboratory work combines robotics, software engineering, and environmental monitoring, with projects including autonomous aerial water sampling systems, UAV-based environmental sensing, and tools for improving robotics software reliability. His team develops both theoretical approaches and practical implementations, often creating open-source tools that bridge the gap between academic research and industry applications.

Petru Florin Mihanceaمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Verification and Testing
• Object-Oriented Design
• +۵ مورد دیگر

Petru Florin Mihancea is an Associate Professor at the Department of Computers, Faculty of Automation and Computers, Politehnica University of Timisoara. He holds a Dr. Eng. degree and is responsible for teaching Object-Oriented Programming and Software Engineering Fundamentals courses. Dr. Mihancea graduated from "Emanuil Gojdu" Highschool in Oradea, Romania in 1998 and began his software engineering studies at the Politehnica University of Timisoara the same year. In 2002, he won the "Best Software Engineer" award at the first LOOSE competition, which led to him joining the LOOSE Research Group. He defended his Ph.D. Thesis titled "A Novel Client-Driven Perspective on Class Hierarchy Understanding and Quality Assessment" with "Cum Laude" honors in 2009 under the supervision of Dr. Eng. Ioan JURCA. His primary research interests focus on software engineering, particularly in software quality assessment, program analysis, formal verification and testing, object-oriented design, and software maintenance and evolution. Dr. Mihancea has developed various code analysis tools that have been integrated into industrial products, demonstrating the practical impact of his research. His work often bridges the gap between theoretical research and practical applications in software development. Analysis of Dr. Mihancea's recent publications reveals a consistent focus on software quality assessment and program analysis. His research spans from fundamental aspects of object-oriented design to practical tools for detecting code issues and improving software security. A notable trend is his work on creating extensions for commercial analysis tools like CodeSonar and BTC EmbeddedPlatform, showing how his research directly contributes to industry practices. His publications also demonstrate expertise in both theoretical aspects of software engineering and practical tool development. Best Software Engineer award at the first LOOSE competition Dr. Mihancea has been involved in various research projects throughout his career. Notably, as a member of the eAustria Research Institute, he participated in the Spacios project, developing tools for verification of security properties of web applications. He has also worked on hardware research projects, developing tools for circuit customization and generation. His current research focuses on methods and tools for continuous quality assurance in complex software systems. He has collaborated with industry partners to develop code analysis products for automatic detection of potential bugs, demonstrating the practical impact of his research. His work has been acknowledged by PostgreSQL leaders for its contribution to their system. Dr. Mihancea is affiliated with the LOOSE Research Group and has been involved with the eAustria Research Institute. His work often involves developing analysis instruments and program investigation techniques, with several of his research activities being integrated into industrial products.

Jiang Huمشاهده پروفایل

استاد

• Electronic design automation
• VLSI physical design
• Optimization of large computing systems
• +۵ مورد دیگر

**Jiang Hu** is a Full Professor of Electrical and Computer Engineering at Texas A&M University, holding a Hans Fischer Senior Fellowship at the Technical University of Munich (TUM-IAS). He earned his B.S. in Optical Engineering from Zhejiang University (1990), M.S. in Physics from the University of Minnesota (1997), and Ph.D. in Electrical Engineering (2001). Before joining Texas A&M in 2002, he worked at IBM Microelectronics. His research focuses on Electronic Design Automation (EDA), VLSI physical design, and hardware security, with notable contributions to machine learning-driven CAD tools and approximate computing architectures. **Education**: B.S., Optical Engineering, Zhejiang University (1990) M.S., Physics, University of Minnesota (1997) Ph.D., Electrical Engineering, University of Minnesota (2001) **Research Interests**: Jiang Hu's work bridges EDA and computer architecture, emphasizing optimization of large-scale computing systems. His projects include automated power modeling frameworks (e.g., APOLLO), neural network-driven placement algorithms, and security-enhanced dataflow architectures. He also explores plasmonic materials and perovskite solar cells through interdisciplinary collaborations. **Awards**: IEEE Fellow (2012) Alexander von Humboldt Research Fellowship (2011) Multiple best-paper awards at IEEE/ACM conferences (2003–2021) **Grants & Leadership**: He served as Technical Program Chair for ACM International Symposium on Physical Design (2011–2012) and co-chaired the ACM/IEEE Workshop on Machine Learning for CAD (2023). His research has led to 10 patents and supervision of 24 Ph.D. students. **Labs & Teams**: His group collaborates with TUM-IAS on projects like *A New and Scalable Methodology for Fast Machine Learning Accelerator Design*, advancing EDA tools for next-generation hardware systems.

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

استاد آموزشی

• Computer Science Education
• Programming Pedagogy
• Software Engineering
• +۳ مورد دیگر

David Kosbie is a Teaching Professor in the School of Computer Science at Carnegie Mellon University (CMU), specializing in computer science education and software engineering. He serves as Director and Co-Founder of the CMU CS Academy, dedicated to expanding access to rigorous computer science education. His academic roles include teaching foundational courses like 15-112 (Fundamentals of Programming and Computer Science) and 15-113 (Special Topics in Applied Python Programming). He holds the Herbert A. Simon Award for Teaching Excellence (2012), recognizing his impactful pedagogical contributions. His research interests span software development methodologies, graphical toolkits (e.g., Garnet/Amulet), and user-centered design. He actively develops curricula and oversees large-scale course implementations, emphasizing programming best practices and computational problem-solving. Education details are not explicitly provided in the source texts. His professional activities include leading course design, mentoring students, and contributing to academic initiatives like the CMU CS Academy. He has published work on constraint-based programming systems, reusable software components, and interactive user interface frameworks. Collaborations include partnerships with researchers like Brad A. Myers and colleagues at CMU. His teaching philosophy emphasizes hands-on learning, rigorous code analysis, and fostering student engagement through structured problem-solving exercises.

Gerald Jay Sussmanمشاهده پروفایل

استاد

• Artificial Intelligence
• Computer Languages
• Computer Architecture
• +۶ مورد دیگر

Gerald Jay Sussman is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology (MIT). He received his S.B. (1968) and Ph.D. (1973) in mathematics from MIT and has been conducting artificial intelligence research there since 1964. His primary research focuses on understanding problem-solving strategies used by scientists and engineers, with dual goals of automating these processes and formalizing educational methodologies. He co-directs the Sussman Lab at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). His research spans artificial intelligence, computer languages, VLSI design, computational classical mechanics, synthetic biology, and telescope engineering. Notable contributions include co-creating the Scheme programming language, developing AI-based CAD tools for VLSI, designing the Digital Orrery for orbital mechanics simulations, and pioneering computational approaches to teaching classical mechanics. His current work includes developing explainable AI systems for autonomous vehicles. Professor Sussman's publications demonstrate broad interdisciplinary impact, with recent works spanning computer science education, software design, computational physics, and synthetic biology. His research consistently bridges theoretical computer science with practical engineering applications and educational innovation. Scientific Awards & Honors: Karl Karlstrom Outstanding Educator Award (ACM, 1990) Amar G. Bose Award for Teaching (MIT, 1992) IEEE EAB Major Education Innovation Award (2023) Taylor L. Booth Education Award (IEEE, 2024) National Academy of Engineering Member Fellow: IEEE, AAAI, ACM, AAAS, American Academy of Arts and Sciences He has supervised 46 PhD students spanning five decades, with dissertations covering AI, computer architecture, computational biology, and physical system modeling. His Sussman Lab develops computational tools for science education and engineering design, including contributions to the Magellan telescopes in Chile. Current projects involve explainable AI systems and computational mechanics frameworks.

Riccardo Scandariatoمشاهده پروفایل

استاد

• Software Security
• Cybersecurity
• Usable Security
• +۶ مورد دیگر

Riccardo Scandariato is a full professor and head of the Institute of Software Security at Hamburg University of Technology (TUHH), Germany. He coordinates the International Master in Information and Communication Systems and has held academic positions at institutions like the University of Virginia, Politecnico di Torino, KU Leuven, and the University of Gothenburg before joining TUHH in 2020. Education: PhD in Computer Science from Politecnico di Torino (2004). Career highlights include leading interdisciplinary research in software security, vulnerability repair, and AI-driven cybersecurity solutions. Research focuses on secure software design, automated vulnerability repair, and empirical methods for cybersecurity. Key interests include microservices, IoT, and cyber-physical systems, with emphasis on developer-centric security practices and usable privacy features. Notable projects include SEC4AI4Sec (EU Horizon Europe) and KiThreat (CREATUM GmbH), addressing AI-augmented systems and GenAI-based software risks. Former projects include CASUS (automotive security assurance cases) and CyReV (automotive cyber resilience). Research team includes senior researchers and PhD students working on topics like secure code generation (Catherine Tony), vulnerability localization (Cuong Bui Quang), and ML-driven threat analysis (Torge Hinrichs). Alumni have contributed to areas like automotive systems, privacy in smart homes, and architectural threat modeling. Grants: EU-funded AssureMOSS (2020–2023), H2020, and VINNOVA-backed CASUS (2017–2021). Committees: PC member of major conferences like ECSA, ARES, and SANER. Steering committee for ARES. Labs/Teams: Leads the Institute of Software Security at TUHH, focusing on interdisciplinary tools for secure application design. Collaborates with industry partners like Volvo and CREATUM GmbH.

• High-Performance Computing
• Parallel Computing
• Distributed Systems
• +۴ مورد دیگر

George Bosilca is a Professor at the University of Tennessee, Knoxville, specializing in high-performance computing and parallel systems. With over two decades of research contributions, he has established himself as a leading expert in task-based runtime systems, distributed computing, and MPI implementations. His research focuses on developing and optimizing task-based runtime systems for extreme-scale computing environments, with particular emphasis on fault tolerance, performance optimization, and scalability. Bosilca's work spans multiple domains including scientific computing, climate modeling, and deep learning applications. He has made significant contributions to the PaRSEC runtime system and has extensively researched MPI optimization techniques for modern HPC architectures. The trend in Bosilca's recent publications demonstrates a strong focus on addressing challenges in exascale computing, including fault tolerance in distributed systems, GPU acceleration for scientific workloads, and energy-efficient computing techniques. His work bridges theoretical computer science with practical implementations for real-world scientific applications across various domains. Bosilca maintains extensive collaborations with leading researchers in the HPC community, most notably with Jack J. Dongarra (103 co-publications), Aurelien Bouteiller (60 co-publications), and Thomas Hérault (54 co-publications). These collaborations have resulted in numerous publications at top-tier conferences including SC, IPDPS, and EuroMPI, as well as in prestigious journals such as IEEE Transactions on Parallel and Distributed Systems and the International Journal of High Performance Computing Applications.

Hongyang Gaoمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Deep Learning
• +۳ مورد دیگر

Hongyang Gao is an Assistant Professor at Iowa State University, focusing on AI, Machine Learning, and Data Science. His work bridges theoretical foundations and practical applications in neural networks, graph representation learning, and cybersecurity. Education: PhD in Computer Science, Texas A&M University MS in Computer Science, Tsinghua University B.S. in Biomedical English, Peking University Research Interests: Explores neural ODEs, graph neural networks (GNNs), and their applications in molecular modeling, vulnerability detection, and trustworthy AI systems. His recent work emphasizes model interpretability (e.g., MotifExplainer), optimization theory for implicit networks, and graph-based explainability techniques. Publications Trends: Recent papers (2022-2025) highlight advancements in graph learning frameworks, such as G2T-LLM for molecule generation and MAGE for GNN explainability. His work on Neural ODEs explores activation function impacts on convergence, while cybersecurity papers apply dataflow analysis for vulnerability detection. Advising: Collaborates with students on projects involving motif-based methods (e.g., Motifpiece), meta-learning (Meta-AdaM), and trustworthy AI (data preconditions research). No grants explicitly listed in provided texts.

Erik P. de Vinkمشاهده پروفایل

دانشیار

• Formal Methods
• Software Product Lines
• Probabilistic Systems
• +۶ مورد دیگر

Erik P. de Vink is an Associate Professor at Eindhoven University of Technology (TU/e), Department of Mathematics and Computer Science. He also serves as an Associated Research Fellow at CWI, the Dutch National Research Institute for Mathematics and Computer Science. His research focuses on formal methods, software product lines, dynamic system adaptation, and probabilistic process algebra. He has held roles such as Treasurer of Formal Methods Europe and organized symposia like the International Symposium on Formal Methods (2018). His academic background includes a PhD from VU Amsterdam, a Senior Researcher position at KPN, and prior teaching at Leiden University. Key research interests include formal modeling of software systems using tools like mCRL2 and Prism, analysis of feature-behavior interactions in software product lines, and validation techniques for dynamic system adaptation. He has co-promoted 9 PhD students in areas like denotational semantics, security, and probabilistic process algebra. His work integrates theoretical computer science with practical applications in distributed systems and concurrency. Recent articles explore topics such as formal methods education, bisimulation in polyhedral models, and probabilistic process analysis. He contributes to open-source tool development (e.g., mCRL2) and has published extensively in journals like Formal Aspects of Computing and Journal of Logical and Algebraic Methods in Programming .

Maciej Bestaمشاهده پروفایل

پژوهشگر

• Sparse Graph Computations
• Large Language Models
• Graph Neural Networks
• +۷ مورد دیگر

Maciej Besta is a leading researcher at ETH Zurich's Institute for Computing Platforms, where he heads research initiatives at the Scalable Parallel Computing Lab (SPCL) and contributes to the ETH Future Computing Laboratory (EFCL). Working under the mentorship of Professor Torsten Hoefler, he has established himself as a prominent figure in high-performance computing, graph processing, and large language models. Position: Researcher at Institute for Computing Platforms, ETH Zurich Research Leadership: Head of Sparse Graph Computations and Large Language Models Research at SPCL Collaboration: Leads project management for SPCL's contributions to ETH Future Computing Laboratory Besta's research spans multiple abstraction levels, from hardware and network topologies to middleware, algorithms, and programming models. His primary focus areas include graph-enhanced language models, graph neural networks, graph databases, and sparse models, with applications across various computational settings. He approaches these problems through rigorous performance modeling and formal reasoning, emphasizing both scalability and practical implementation. His recent publications reveal a clear trend toward integrating graph structures with language models and AI systems. Besta has pioneered work on graph databases, knowledge graphs of thoughts, and higher-order graph neural networks, while maintaining his strong foundation in high-performance computing and network topology design. His research bridges traditional HPC with cutting-edge AI, creating novel approaches for efficient large-scale computation. IEEE TCSC Award for Excellence in Scalable Computing (Early Career, 2023) Multiple Best Paper Awards at Supercomputing conferences (2022, 2023) ACM SIGHPC Doctoral Dissertation Award (2022) ETH Medal for outstanding doctoral thesis (2021) Fellow of The Explorers Club (2022) Besta actively mentors ETH Zurich students through semester projects, Bachelor's, and Master's theses, focusing on graph processing and related computer science challenges. His mentorship extends beyond technical guidance, incorporating lessons from his extensive polar and mountaineering expeditions that emphasize mental resilience, efficient risk management, and leadership. He has supervised numerous student projects that have resulted in high-impact publications at top-tier conferences. As a core member of the Scalable Parallel Computing Lab, Besta collaborates with researchers across ETH Zurich and international institutions. His unique approach integrates insights from extreme environment expeditions into research methodology, creating a distinctive framework for tackling complex computational problems. The lab's work under his leadership spans theoretical modeling, practical implementation, and real-world deployment of high-performance systems.

• High-Performance Computing
• Performance Modeling
• Parallel Computing
• +۳ مورد دیگر

Alexandru Calotoiu is a Researcher in the Department of Computer Science at ETH Zürich, affiliated with the Professorship for Scalable Parallel Computing. His work focuses on performance modeling, high-performance computing (HPC), serverless systems, and cloud computing. He leads research in empirical performance modeling for complex applications, optimization of parallel algorithms, and scalable cloud architectures. Key research areas include noise-resilient performance models, serverless computing frameworks, and compositional parallel programming. He has contributed to benchmarking tools like SeBS and developed techniques for loop scheduling, static analysis, and resource disaggregation in HPC environments. His publications from 2023–2025 emphasize serverless systems (e.g., FaaSKeeper, Cppless), performance embeddings for optimization, and specialized supercomputing for climate science. These studies address scalability, reproducibility, and cross-platform performance portability in data-centric workloads. No scientific awards are explicitly listed, but his work has been presented at leading conferences such as ISCA and IEEE/ACM events. He collaborates on projects like rFaaS (RDMA-enabled serverless platforms) and Process-as-a-Service frameworks. His research bridges theoretical models with practical implementations in distributed systems and cloud infrastructure.

Rajit Manoharمشاهده پروفایل

استاد

• Asynchronous VLSI Design
• Concurrency
• Formal Methods
• +۵ مورد دیگر

Rajit Manohar is the John C. Malone Professor of Electrical & Computer Engineering at Yale University, with appointments in Applied & Computational Mathematics and Computer Science. He is a core member of the interdisciplinary Computer Systems Lab (CSL), which bridges ECE and CS departments. His research focuses on asynchronous VLSI design, neuromorphic computing, and hardware-software co-design. Education: Manohar holds a B.S., M.S., and Ph.D. from the California Institute of Technology. His academic career spans over two decades, with notable contributions to asynchronous circuit theory and neuromorphic engineering. Research Interests: Manohar's work emphasizes energy-efficient asynchronous architectures, concurrency control, and biologically inspired computing. He explores topics like formal methods for circuit verification, cognitive systems, and dynamic sensor networks. His lab develops tools like Fluid (asynchronous synthesis) and Neurobench (neuromorphic benchmarking). Publications: Recent work includes advancements in asynchronous logic synthesis (Maelstrom), neuromorphic frameworks (Neurobench), and scalable brain-computer interfaces (SCALO). His research often intersects NSF-funded projects in energy-aware computing and neuromorphic systems. Awards: Inaugural Misha Mahowald Prize (2025), MIT TR35 (2000s), IBM Goldberg Award (2023) Grants & Labs: Manohar leads NSF-supported initiatives in carbon-aware networking and neuromorphic hardware. The Computer Systems Lab collaborates across disciplines to advance sustainable computing and neuro-inspired architectures.

• Robotics
• Computer Vision
• Industrial Automation
• +۴ مورد دیگر

Oleksandr Semeniuta is an active researcher specializing in robotics, computer vision, and industrial automation systems. His work demonstrates consistent contributions to the field with publications spanning from 2015 to 2022, indicating ongoing academic or research activity. His collaborations with researchers like Petter Falkman across multiple publications suggest established research partnerships in the robotics domain. Dr. Semeniuta's research interests center around practical applications of robotics and computer vision in industrial settings. His work encompasses event-driven architectures for data processing and robot control, stereo calibration methods for 3D reconstruction, and resource-aware machine learning for IoT security. His research shows a strong focus on developing practical frameworks and systems that address real-world challenges in manufacturing and industrial automation. The publication trends reveal a consistent focus on robotics systems engineering, with particular emphasis on vision-based solutions and event-driven architectures. His work bridges theoretical computer vision concepts with practical industrial applications, especially in automotive manufacturing and robotic deburring systems. The research demonstrates progression from foundational work on dataflow programming for vision systems to more complex implementations of machine learning on edge devices for security applications. While specific awards are not documented in the available publication records, the consistent output in reputable venues including IEEE conferences and PeerJ Computer Science indicates recognition within the academic community. His work appears in both journal and conference publications, suggesting a balanced approach to disseminating research findings through different academic channels. Dr. Semeniuta's collaborative network includes researchers from various institutions, with Petter Falkman appearing as a frequent co-author across multiple projects. This suggests participation in research teams focused on industrial robotics and computer vision applications. His work on frameworks like EPypes indicates contributions to software infrastructure that enables more efficient development of robotic systems and data processing pipelines.