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

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

استاد

• Control Systems
• Robotics
• Humanoid Robots
• +۷ مورد دیگر

Joseph Oriolo is a Full Professor of Automatic Control and Robotics at the Department of Computer, Control and Management Engineering (DIAG) at Sapienza University of Rome, where he also serves as the director of the DIAG Robotics Lab. He received his Ph.D. in Control Engineering from Sapienza University of Rome in 1992 and joined the DIAG in 1994. As an IEEE Fellow, he has made significant contributions to the field of robotics and control systems. His research spans multiple areas within robotics and control engineering, with particular focus on humanoid robots , mobile robots , UAVs , visual motion control , multi-robot systems , and sensor-based navigation . His work bridges theoretical control systems with practical robotics applications, emphasizing motion planning, learning control, and kinematically redundant robots. His research has resulted in over 230 publications in international journals and conferences, as well as two books. An analysis of his recent publications (2022-2025) reveals a strong emphasis on advanced control techniques for humanoid and mobile robots, particularly Model Predictive Control (MPC) applications for gait generation, navigation, and manipulation. His work increasingly integrates vision-based approaches for safe human-robot interaction and navigation in complex environments, with a growing focus on real-world applications including crowd navigation and cooperative robotics. Best Paper Award at the 17th International Workshop on Human-Friendly Robotics (HFR 2024) IEEE Robotics and Automation Magazine Best Paper Award for 2020 IEEE Fellow Professor Oriolo has served in significant editorial roles including Associate Editor (2001-2005) and Senior Editor (2009-2014) of the IEEE Transactions on Robotics. He has been actively involved in major robotics conferences, serving as Organization Chair for the 2007 IEEE International Conference on Robotics and Automation in Rome and on the Program Committees of numerous international conferences including ICRA, IROS, and RSS. He currently teaches courses on Control Systems and Autonomous and Mobile Robotics at Sapienza University of Rome. As director of the DIAG Robotics Lab, he leads research efforts in humanoid robotics, mobile manipulation, and autonomous navigation. The lab focuses on developing control frameworks that enable robots to operate effectively in complex, dynamic environments, with applications ranging from industrial automation to human-robot collaboration.

Rene Marcel Plonusمشاهده پروفایل

پژوهشگر ارشد

• Machine Learning
• Marine Biology
• Fisheries Management
• +۵ مورد دیگر

Dr. Rene Marcel Plonus serves as a Postdoctoral Researcher in Marine Ecosystem Dynamics and Management at the University of Hamburg's Faculty of Mathematics, Computer Science and Natural Sciences. He is affiliated with the Department of Biology and works within the Institute of Marine Ecosystem and Fisheries Sciences, focusing on computational approaches to marine conservation. His educational background includes a 2023 PhD in Fisheries Science with thesis 'Multi-dimensional characterization of pelagic habitats at different spatio-temporal scales', a 2018 Master's in Ecosystem and Fisheries Sciences, and a 2015 Biology Bachelor's degree. He holds European Scientific Diver certification from 2017. Plonus specializes in developing machine learning solutions for marine science applications, particularly automatic fish species classification using underwater video footage to support non-invasive fisheries management. His research integrates computer vision with ecological monitoring, targeting biodiversity assessment in the North Sea and Baltic regions. His publication record demonstrates consistent output in high-impact marine science journals since 2017, with recent 2024 publications showing continued focus on plankton habitat identification and microbial transport pathways. Current projects include the Nikofin initiative using BRUVs (Baited Remote Underwater Videos) and eDNA for biodiversity monitoring at the Sylt Outer Reef. As a researcher, he actively contributes to advancing computational methods in marine ecology through algorithm development for plankton image classification and pelagic habitat segregation, addressing critical challenges in ecosystem-based fisheries management.

Biagio Cosenzaمشاهده پروفایل

دانشیار

• High-performance computing
• Compiler technology
• Software optimization
• +۷ مورد دیگر

Biagio Cosenza is an Associate Professor at the Department of Computer Science, University of Salerno, Italy. He leads research in high-performance computing, compiler technology, and software optimization. Previously, he was a Senior Researcher at TU Berlin (2015-2019) and a Post-Doctoral Researcher at the University of Innsbruck, Austria (2011-2015). His educational background includes: Ph.D. from University of Salerno (2011), supervised by Prof. Vittorio Scarano Dr. Cosenza's research focuses on creating efficient programming models for heterogeneous computing systems. His work spans compiler technology, automatic performance tuning, and energy-efficient computing approaches. He has made significant contributions to SYCL-based programming models and MPI implementations, with emphasis on portability across diverse hardware platforms including GPUs and accelerators. His research often bridges theoretical computer science with practical applications in scientific computing and bioinformatics. His recent publications demonstrate a strong trend toward heterogeneous and distributed computing, with particular emphasis on energy efficiency, performance portability, and SYCL-based programming models. Many papers focus on applications in drug discovery and scientific simulations, showing how his theoretical work translates to real-world scientific problems. Dr. Cosenza has received several prestigious recognitions: Best Paper Award at the 14th BenchCouncil International Symposium (2022) Elevated to Senior Member of the IEEE (2022) Recognized as ACM Senior Member (2022) He leads multiple significant research projects including the PRIN 2022 project "LibreRT" and the EuroHPC project "LIGATE." His work has secured substantial funding from sources including the German Research Foundation (DFG), the Italian Ministry of Education, University and Research, and EuroHPC. He actively mentors students and collaborators on advanced topics in high-performance computing. Dr. Cosenza is a member of the ISIS Lab at the University of Salerno and contributes to open standards through his work with the Khronos Group and SYCL Working Group. His research group develops tools like CELERITY, a C++ SYCL-based programming model for accelerator clusters, and EMPI, an enhanced message passing interface in modern C++.

• Program Analysis
• Formal Methods
• Software Verification
• +۵ مورد دیگر

Maria Christakis is a Full Professor at the Faculty of Informatics, Vienna University of Technology, where she leads the Software Engineering Research Unit and the Rigorous Software Engineering Group at the Information Systems Engineering Institute. Her work bridges theoretical foundations with practical tools for reliable software development. Her research focuses on Program Analysis, Formal Methods, Software Verification, and Test Generation . She develops techniques for automatic test generation, program analysis, and software verification to enhance software robustness while improving developer experience. Key innovations include metamorphic testing frameworks, soundness testing for program analyzers, and verification tools for smart contracts and machine learning systems. Christakis' recent publications reveal strong trends in zero-knowledge circuit testing, smart contract security, machine learning verification, and action-policy testing . Her work combines formal methods with practical engineering solutions, particularly for blockchain systems, neural networks, and program analyzers. She emphasizes sustainability in testing through projects like GreenBench. Amazon Research Award (2023) for Testing Dafny for Unsoundness and Brittleness Bugs Facebook Faculty Research Award for Program Analysis Google Research Scholar Award for Metamorphic Specification and Testing Best Presentation Award at ESEC/FSE'20 Distinguished Paper Award at ICSE'16 She actively mentors PhD and Master's students through projects like Circuzz, Sherlock, and Nomos. Her group receives substantial funding from the Austrian Science Fund (FWF), European Commission, Amazon Research Awards, and Google Research Scholar program. Current major projects include the Structured Doctoral Program on Automated Reasoning (FWF-funded) and the Amazon Research Award project on Dafny testing. Christakis leads the AGI Labs team building AI agents and contributes to Amazon Nova foundation models. Her group maintains strong industry collaborations with Amazon (through Amazon Research Awards and Amazon Scholars program), MPI-SWS, and Microsoft Research.

Tevfik Bultanمشاهده پروفایل

استاد

• Software Verification
• Static Analysis
• Model Checking
• +۹ مورد دیگر

Tevfik Bultan is a Professor in the Department of Computer Science at the University of California, Santa Barbara, where he leads the Verification Laboratory (VLab). He has been actively teaching undergraduate and graduate courses including CS 160 (Translation of Programming Languages), CS 267 (Automated Verification), and CS 272 (Software Engineering), along with specialized seminars on topics like Neural Network Verification and Quantitative Verification. Ph.D. in Computer Science, University of Maryland, College Park (1998) M.S. in Computer Engineering and Information Science, Bilkent University (1992) B.S. in Electrical and Electronics Engineering, Middle East Technical University Professor Bultan's research focuses on software verification, static analysis, model checking, and security, with particular emphasis on quantitative information flow, side channel analysis, and string analysis. His work bridges theoretical foundations with practical applications in web software, service-oriented computing, and concurrency. He has pioneered techniques for detecting bugs in identity and access management policies and quantifying information leakages in crypto libraries, which earned him Amazon Research Awards in 2017 and 2023. His recent publications and student dissertations reveal a strong trend toward quantitative approaches to security analysis, with increasing focus on automated techniques for detecting and mitigating side channels in various contexts including network communications, cryptographic libraries, and access control systems. His work combines formal methods with practical security applications, often developing novel constraint solving and model counting techniques. Amazon Research Award (2017): Automatically Detecting Bugs in Identity and Access Management Policies Amazon Research Award (2023): Detecting and Quantifying Information Leakages in Crypto Libraries Professor Bultan has advised numerous PhD students who have gone on to academic positions at institutions like Stevens Institute of Technology, Harvey Mudd College, and King Saud University, as well as industry positions at companies including Amazon, Google, Microsoft, and Intel. His laboratory, the Verification Laboratory, has received funding from various sources to support research in software verification and security analysis. The lab focuses on developing practical verification techniques that can be applied to real-world software systems.

• Laboratory Phonology
• Speech Production
• Motor Control
• +۵ مورد دیگر

Heather Weston is a doctoral researcher at Humboldt-Universität zu Berlin , affiliated with the DFG/ANR project SALAMMBO (Spoken Language in Motions: Learning and Adaptation of Speech Communication in the Context of Body Motions) under the Laboratory Phonology research area. Her work focuses on the interaction between physical movement and speech production, analyzing phenomena such as motion rate, speech tempo, glottal parameters, and intra-speaker variability during physical activity. Research Interests Effects of physical load on phonatory processes and voice stability Biomechanical modeling of speech-movement coordination Acoustic analysis of fundamental frequency (f0) and harmonics-to-noise ratio Physiological responses during light/moderate physical exertion Scientific Awards 2019: Fellowship in the Freies Wissen (Free Knowledge) program. Teaching 2022: Phonetics courses (SS 2022, WS 2021/22) at the University of Cambridge 2019: Embodiment in Speech course at Humboldt-Universität zu Berlin (WS 2019/20) Conference Participation Heather presented her research at workshops such as the Speech Motor Control 2022 (virtual), European Workshop on Speech Production (2022), and the 58th IDS Workshop (2022). She collaborated with researchers like Dr. Susanne Fuchs, Dr. Wim Pouw, and Dr. Amelie Rochet-Capellan.

Ugo Buyمشاهده پروفایل

دانشیار

• Software Engineering
• Concurrent Systems
• Real-Time Systems
• +۵ مورد دیگر

Ugo Buy is an Associate Professor in the Department of Computer Science at the University of Illinois at Chicago, affiliated with the College of Engineering. His research focuses on software engineering, particularly in modeling and analysis of concurrent and real-time systems, and the automatic generation of control supervisors for discrete manufacturing systems. He has also explored applications in supervisory control, dynamic reconfiguration, and automatic correction of multi-threaded Java programs. Education: Ph.D., University of Massachusetts, 1990 Research Interests: Dr. Buy's work spans software engineering for concurrent systems, real-time systems verification using finite automata and Petri nets, and supervisory control techniques for discrete manufacturing plants. Additional interests include multicore hardware development, mobile app development, and sensor networks. He co-directed a NIST-sponsored project on automated supervisory controllers for discrete manufacturing systems. Teaching: Dr. Buy has taught courses such as object-oriented programming (CS 342, CS 474), software engineering (CS 342, CS 440, CS 442, CS 540), and mobile app development (CS 478). Earlier in his career, he taught introductory computer science (CS 100, CS 101), data structures (CS 201), and theoretical courses (CS 301, CS 401). Professional Activities: Organization Committee Member, Petri Nets '93 (14th International Conference on Application and Theory of Petri Nets, Chicago, Illinois) Program Committee Member, ICCI'93 (Fifth International Conference on Computing and Information, Sudbury, Ontario) Program Committee Member, IWSSD-7 (IEEE Seventh International Workshop on Software Specification and Design, Redondo Beach, California) Program Committee Member, IWSSD-8 (IEEE Eighth International Workshop on Software Specification and Design, Paderborn, Germany)

Taha Khanمشاهده پروفایل

عضو هیئت علمی

• Usable Security and Privacy
• Cyber-crime Measurement
• Trustworthy AI
• +۲ مورد دیگر

Taha Khan is an Associate Teaching Professor at the Information Networking Institute within Carnegie Mellon University’s College of Engineering . He brings broad expertise in usable security and privacy, cyber-crime measurement, trustworthy AI, online censorship, and computer-science pedagogy to both his research and his teaching. Education: Ph.D. in Computer Science, University of Illinois at Chicago, 2020 B.S. in Electrical Engineering, Lahore University of Management Sciences, 2013 Research Interests: Dr. Khan’s work centers on understanding and improving how real users interact with security systems. His recent projects include building learning-based tools that automatically detect and manage sensitive files in cloud storage, performing large-scale measurement of commercial VPN security and performance, and reverse-engineering mobile applications to uncover surveillance risks. He also investigates privacy management on social media and explores how cultural context shapes user responses to online censorship. Currently, he is extending this agenda into the domain of secure and effective code-debugging with large language models, while looking ahead to emerging challenges in AI-driven cyber forensics and blockchain-based verification. Teaching & Mentorship: Khan champions an active-learning philosophy, having taught courses ranging from introductory programming and hardware organization to advanced systems, security, networks, programming languages, and databases. He remains deeply committed to mentoring graduate students, guiding them toward impactful, socially relevant research.

• Medical Image Analysis
• Artificial Intelligence
• Deep Learning
• +۳ مورد دیگر

Carlos Cano Espinosa is an Assistant Professor in the Department of Computer Science and Artificial Intelligence at the University of Alicante's Higher Polytechnic School II. His work integrates artificial intelligence with medical imaging to advance diagnostic technologies and digital health applications. PhD in Computer Science (international distinction) from University of Alicante MSc in Automation and Robotics His research focuses on medical image analysis using deep learning and machine learning, with applications in: Assisted diagnosis Biomarker quantification Automatic segmentation of anatomical structures Detection of pathological indicators in medical imaging Digital health solutions Metabolic activation analysis in adipose tissue Coronary artery disease assessment He has contributed to high-impact journals such as IEEE Transactions on Medical Imaging and NPJ Digital Medicine , with technical expertise in programming and data structures teaching. María Zambrano program postdoctoral fellowship recipient

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

دانشیار

• Educational Assessment
• Reading Fluency
• Special Education
• +۴ مورد دیگر

Joseph Nese serves as a Research Associate Professor in the Department of Education Policy and Leadership at the University of Oregon's College of Education, focusing on data-driven educational interventions and assessment systems to improve student outcomes through evidence-based decision-making. His academic credentials include: Ph.D. in School Psychology, University of Maryland, College Park (2009) M.A. in School Psychology, University of Maryland, College Park (2006) B.A. in Psychology (minor in English), University of California, Santa Barbara (2002) Nese's research integrates psychometrics, statistics, and computer science to bridge assessment and intervention. He pioneered the Computerized Oral Reading Evaluation (CORE) system and the Inclusive Skill-building Learning Approach (ISLA) as alternatives to exclusionary discipline, emphasizing practical tools for educators. Recent work leverages R programming for open science and reproducible research in educational data science. His 60+ publications demonstrate an evolution from foundational assessment validity studies toward AI-enhanced oral reading fluency measurement (using speech recognition and deep learning) and equity-focused discipline interventions, reflecting growing interdisciplinary collaboration across reading education, behavioral science, and computer engineering. Award recognition includes: Institute of Education Sciences Postdoctoral Research Fellowship Nese has secured $3 million in federal funding as PI/Co-PI for projects including CORE (R305A140203) and ISLA (R305A180006). He actively mentors graduate students in research design, statistical analysis, and scholarly publication through hands-on project involvement. His work operates through integrated collaborations with experts in reading instruction, special education, psychometrics, and behavioral outcomes, primarily centered at the University of Oregon's Behavioral Research and Teaching unit.

Torsten Lilgeمشاهده پروفایل

پژوهشگر

• Nonlinear Systems
• Discrete-Time Control Systems
• Observer Design
• +۳ مورد دیگر

Dr.-Ing. Torsten Lilge is a Senior Researcher/Lecturer at the Institute of Automatic Control Engineering , part of Leibniz University Hannover 's Faculty of Electrical Engineering and Computer Science. He has been a core member of the university since 1991 and held senior roles including Deputy Faculty Information Officer and Mentor at the Mechatronics Center Hannover. Research focus on nonlinear systems and discrete-time control Specialized in observer design for systems with unknown inputs and data fusion applications Key contributor to human-robot interaction and mechatronic stabilization solutions Publications show expertise in: 2025 : Global reactive obstacle avoidance using circular fields 2024 : Robust predictive control for energy systems 2023 : Real-time sampling techniques and educational robotics applications 2021-2019 : Multi-agent trajectory planning and antagonistic impedance control His work bridges theoretical control systems with practical implementations in robotics, with a particular emphasis on nonlinear observer design and dynamic modeling for real-world applications.

Martin Pahlمشاهده پروفایل

پژوهشگر

• Remote Sensing Data Evaluation
• Visualization of Remote Sensing Data
• Geospatial Data Quality Control
• +۳ مورد دیگر

Dr.-Ing. Martin Pahl is a faculty member at the Institute for Information Processing at Leibniz University Hannover , where he has served as Head of Administration since 2003 and leads the Remote Sensing Data workgroup since 2007. He also holds a part-time lecturing position at the University of Applied Science and Arts in Hannover , teaching Basics of Information Technology . Education: Diploma in Electrical Engineering, University of Hannover (1995) Dr.-Ing. in Information Processing, University of Hannover (2003) Research Interests: His research focuses on remote sensing data evaluation , visualization techniques , and quality control of geospatial datasets . He has contributed significantly to the development of systems for automatic quality assessment and semantic interpretation of multisensor remote sensing data . Publications Overview: His work spans from 2001 to 2012, with a strong emphasis on GIS data quality , photogrammetric methods , and knowledge-based systems for remote sensing applications. He has authored or co-authored over 15 peer-reviewed publications in top-tier venues like ISPRS and Photogrammetric Engineering & Remote Sensing . Projects & Collaborations: Project WIPKA-QS (Quality Control of Topographic Data) GeoAIDA system development for GIS data fusion and quality surveillance Technical Contributions: Beyond academia, he has developed open-source tools, including a Psion printer driver and UPS monitoring daemon for Raspberry Pi, demonstrating his expertise in system-level programming and hardware integration.

Martin Morenoمشاهده پروفایل

استادیار

• Compiler Optimizations
• High-Performance Computing
• Quantum Computing
• +۳ مورد دیگر

Martin Moreno is a tenure-track Assistant Professor in the Department of Computer Science and Engineering at The Ohio State University. His office is located in Dreese Laboratories at 2015 Neil Ave, Columbus, OH. His research focuses on the intersection of compilers, programming languages, high-performance computing, and quantum computing, with goals to enhance program execution speed, reliability, and portability across architectures. Research Interests: Dr. Moreno specializes in polyhedral compilation, GPU optimizations, quantum computing abstractions, distributed-memory algorithms, and energy-aware computing. His work bridges theoretical compiler design with practical performance improvements for modern hardware, including GPUs and quantum processors. Recent Research Trends: Analysis of his 15 most recent publications reveals strong emphasis on: 1) Automated code generation for distributed systems and tensor computations, 2) Quantum program optimization through affine transformations, 3) Energy-efficient GPU computing via polyhedral models, and 4) Novel compiler frameworks for task-based parallelism. His work consistently integrates formal methods (e.g., SMT solvers) with practical runtime systems. Student Advising: Actively seeks motivated students for research projects in compiler optimizations and quantum computing. Applicants to OSU are encouraged to list him as a potential advisor and mention PLSE/HPC interests in statements of purpose.

Christopher Timperleyمشاهده پروفایل

پژوهشگر

• Search-based software engineering
• Robotics software testing
• Program analysis
• +۵ مورد دیگر

Christopher Timperley is a Senior Systems Scientist in the Software and Societal Systems Department at Carnegie Mellon University, with additional appointments in the Robotics Institute and National Robotics Engineering Center within the School of Computer Science. His work is primarily conducted in the context of squaresLab. Timperley's research focuses on the intersection of software engineering, robotics, and program analysis, with particular emphasis on developing techniques for automatically detecting, locating, and repairing faults in large-scale software systems. His recent work has applied these techniques specifically to robotics systems, particularly autonomous vehicles. His research interests span search-based software engineering and testing, with applications in security and privacy, embedded systems security, formal methods for security, intrusion and anomaly detection, and security of AI and ML systems. His recent publications demonstrate a strong focus on robotics software systems, particularly those built using ROS (Robot Operating System). His work addresses critical challenges in robotics software development including architecture misconfigurations, behavioral modeling, test automation through simulation, and empirical studies of the robotics ecosystem. The publications reveal a consistent theme of applying software engineering principles to improve the reliability and security of robotics systems. Timperley received his Ph.D. in computer science from the University of York, UK, with a dissertation on search-based program repair under the supervision of Professor Susan Stepney. His work bridges theoretical advances in software engineering with practical applications in robotics, contributing significantly to the development of more robust and reliable robotics software systems.

Neel Krishnaswamiمشاهده پروفایل

مدرس

• Programming Languages
• Formal Verification
• Type Systems
• +۳ مورد دیگر

Dr. Neel Krishnaswami is a University Lecturer at the Department of Computer Science and Technology, University of Cambridge. His research focuses on programming languages, type systems, and formal verification. Institution: University of Cambridge Department: Department of Computer Science and Technology Academic Rank: Lecturer His research spans type theory, formal verification, and functional programming. Key contributions include work on refinement types, bidirectional typechecking, and separation logic for systems programming. Recent work trends include bidirectional type systems (2023), formal verification of C code (2023), higher-order automatic differentiation (2022), and comonadic effect systems (2020). Earlier work covers reactive programming (2021), Datalog extensions (2019-2020), and foundational type theory (2013-2015).