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

Michael Ruthمشاهده پروفایل

دانشیار

• Software Engineering
• Distributed Systems
• Software Testing

Michael Ruth is an Associate Professor and Program Director of Computer Science & Cyber Security in the Department of Computer Science and Information Technology at Roosevelt University, within the College of Science, Health and Pharmacy. He joined the university in 2009 as an Assistant Professor and was promoted to Associate Professor in 2015 after completing his PhD at the University of New Orleans. His educational background includes: Ph.D. in Engineering & Applied Science from the University of New Orleans M.S. in Computer Science from the University of New Orleans Dr. Ruth's research centers on software engineering with specialized focus on software testing and distributed systems. His primary contributions involve developing decentralized regression test selection frameworks for web services, addressing critical challenges in balancing service provider constraints with testing effectiveness. His work explores concurrency management, fault locatability, and benchmark development for web service testing. Analysis of his 11 publications (2005-2010) reveals consistent thematic focus on regression testing methodologies for service-oriented architectures. Key research trajectories include client-side framework development for resumable applications, adaptation of SRMR messaging protocols, and empirical validation of decentralized testing frameworks. His publications demonstrate progressive refinement of techniques for web service testing while maintaining practical applicability in distributed environments. Scientific awards: No scientific awards or fellowships were mentioned in the source materials. Regarding academic advising and research funding, the available documentation does not specify any graduate students supervised or grant awards received. His industrial experience includes software development roles with the US Navy and network engineering at a New Orleans bank prior to his academic appointment. No dedicated research laboratories or specialized teams are described in the provided information, though his academic genealogy traces through notable figures including Frederick Terman and Vannevar Bush.

• Software Verification
• Formal Methods
• Program Synthesis
• +۴ مورد دیگر

Madhusudan Parthasarathy is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, College of Engineering. His research focuses on software verification, formal methods, and logic in computer science, with significant contributions to trustworthy AI systems, program synthesis, and security. Ph.D. in Theoretical Computer Science (2002), Institute of Mathematical Sciences, University of Madras Research interests include automating software verification, building correct-by-design systems, and exploring synergies between machine learning and program synthesis. He pioneered visibly pushdown languages , impacting XML processing and program verification. His tools like VEX and Strand advanced security and heap reasoning. Recent articles focus on blockchain verification, timed automata, and learning logics from data. His work has been widely cited, with the visibly pushdown language paper alone generating over 940 scholarly entries. Best Paper Award, 19th USENIX Security Symposium (2010) He has advised numerous students and postdocs, with former advisees now at institutions like Purdue University and Google. His outreach initiatives include the ConTraIL privacy-preserving contact tracing project and the MASSIVELY EMPOWERED CLASSROOMS MOOC platform for Indian undergraduates. He teaches courses like CS 521: Advanced Topics in Programming Systems and CS 474: Logic in Computer Science , while actively serving on program committees for top-tier conferences such as POPL and PLDI.

Paulo Tabuadaمشاهده پروفایل

استاد

• Cyber-physical systems
• control systems
• formal methods
• +۱ مورد دیگر

Paulo Tabuada is a Professor in the Department of Electrical and Computer Engineering at the University of California, Los Angeles (UCLA), holding the prestigious Vijay K. Dhir Endowed Chair in Engineering. His academic work centers on cyber-physical systems, control systems, formal methods, and security. His research integrates theoretical control frameworks with computational verification techniques, emphasizing rigorous mathematical approaches to system security and reliability. This interdisciplinary work bridges electrical engineering and computer science, particularly in developing formal verification tools for physical system control. Professor Tabuada has received exceptional recognition, including: Fellow IEEE (2017) Vijay K. Dhir Endowed Chair in Engineering (2017) Antonio Ruberti Young Researcher Prize (2015) George S. Axelby Award (2011) Donald P. Eckman Award (2009) NSF CAREER Award (2005) He directs the Cyber-Physical Systems Laboratory at UCLA, where his research program has attracted significant funding including the NSF CAREER grant. His leadership in control theory and security applications has established him as a key contributor to next-generation cyber-physical infrastructure development.

Adrien Taylorمشاهده پروفایل

پژوهشگر

• Optimization Algorithms
• Algorithm Reliability
• Mathematical Optimization
• +۱ مورد دیگر

Adrien Taylor is a Researcher at Inria and the 2024 recipient of the prestigious ERC Starting Grant. He is a key member of the Sierra project team at Inria Paris, where he focuses on developing optimization algorithms with guaranteed reliability. Dr. Taylor's research interests center on mathematical optimization with strong theoretical guarantees, addressing critical challenges in algorithmic reliability where failure could have significant consequences. His work bridges theoretical computer science and practical implementation, with potential applications across machine learning, operations research, and engineering design. His recent ERC Starting Grant represents significant recognition of his research trajectory and potential impact. As he stated in his interview: 'Beyond the funding itself, this ERC is synonymous with recognition and a bit of peace of mind. The investment in time and energy to obtain it was significant, but I now have secure funding for the next five years, and I will therefore be able to devote myself fully to my research.' ERC Starting Grant 2024: Awarded for research on optimization algorithms with guaranteed reliability As part of the Sierra project team, Dr. Taylor benefits from and contributes to a collaborative research environment where team members share expertise in securing ERC funding and advancing optimization theory.

Tarik Grabaمشاهده پروفایل

مدرس

• Hardware Security
• Embedded Systems Design
• Integrated Circuit Reliability
• +۳ مورد دیگر

Tarik Graba is a Lecturer at Télécom Paris and a member of the Secure and Safe Hardware (SSH) research team within the Information Processing and Communication Laboratory (LTCI) department. His work focuses on hardware security, embedded systems, and cryptographic implementation. Education: Not explicitly mentioned Current Affiliations: Télécom Paris (Faculty), LTCI, SSH Team His research explores designing secure and reliable integrated systems , with emphasis on managing complexity, power consumption, and flexibility in embedded environments. He contributes to side-channel analysis , lightweight cryptographic algorithms , and hardware-based security mechanisms . The 15 most recent publications highlight his work in lightweight cryptography , hardware security , and embedded system optimization , particularly focusing on RISC-V extensions , side-channel leakage , TRNG circuits , and secure cryptographic processors . Scientific Awards Academic Palms award, Télécom Paris (2021) Tarik Graba collaborates extensively in hardware security research and has advised multiple projects on physical security countermeasures and embedded cryptographic systems . He works with teams like the SSH Laboratory to develop secure hardware architectures.

Christian Rohnerمشاهده پروفایل

استاد

• Wireless Sensor Networks
• Backscatter Communication
• Network Security
• +۵ مورد دیگر

Christian Rohner is a Professor at the Department of Information Technology at Uppsala University, specializing in the Division of Computer Systems. His research spans over two decades with a clear evolution from early work in opportunistic networking to current cutting-edge research in backscatter communication and physical-layer security. Professor Rohner's research interests focus on wireless communication systems , particularly backscatter communication , sensor networks , and network security . His work on analog backscatter tags has pioneered techniques for channel estimation, reliable flooding protocols, and identification systems for battery-free devices. In wireless security , he has made significant contributions to radiometric fingerprinting, physical-layer authentication, and intrusion detection for IoT systems. His research in information theory applies theoretical frameworks to practical network analysis problems, including modularity computation in probabilistic networks and information decomposition. His recent publications (2020-2025) demonstrate a strong focus on enabling low-power wireless systems, with applications ranging from medical contexts (fat intra-body communication) to temperature sensing with RFID tags. The research shows a clear trajectory toward practical implementations of battery-free sensor networks that can operate without traditional power sources while maintaining security and reliability. Professor Rohner has maintained long-term collaborations, particularly with Thiemo Voigt at Uppsala University, resulting in numerous joint publications across multiple research domains. His work bridges theoretical foundations with practical implementations, making significant contributions to both academic research and potential real-world applications in wireless networking.

Fei Chiangمشاهده پروفایل

دانشیار

• Data Management
• Data Quality
• Data Privacy
• +۶ مورد دیگر

Dr. Fei Chiang is an Associate Professor in the Department of Computing and Software at McMaster University's Faculty of Engineering. Her research focuses on data management , with emphasis on data quality, data privacy, information extraction , and contextual data cleaning . She has collaborated with IBM Global Services and Microsoft Research on improving data quality in enterprise systems. Key research themes include graph databases , temporal data analysis , and privacy-aware data processing Recent publications explore federated learning , SQL understanding in LLMs , and temporal graph constraints Industry collaborations with IBM Toronto Lab and Microsoft Research have led to innovations in data cleaning automation and semantic analysis. Her work bridges database theory with machine learning applications in healthcare inventory optimization and flight reliability prediction.

Erik Johnsonمشاهده پروفایل

استاد

• Smart Structures
• Structural Vibration Control
• Controllable Damping Devices
• +۳ مورد دیگر

Erik Johnson is a Professor of Civil Engineering at an unspecified university, affiliated with the Sonny Astani Department of Civil and Environmental Engineering. He has held leadership roles such as Associate Chair, Interim Chair, and currently serves as Vice Dean for Academic Programs. His research focuses on smart structures, structural vibration control, and computationally-efficient simulation algorithms for dynamical systems, with applications in controllable damping devices and seismic mitigation. Education: B.S., M.S., Ph.D. in Aeronautical and Astronautical Engineering (University of Illinois at Urbana-Champaign), Graduate Certificate in Biblical Studies (Trinity Evangelical Divinity School) Professional Affiliations: Senior Member of AIAA; Member of ASCE and ASME; Chair of ASCE technical committees; Associate Editor, ASCE Journal of Engineering Mechanics His work spans disciplines including control theory, structural engineering, and computational methods. Articles highlight Bayesian approaches, inverse problems, and sensor placement optimization under uncertainty. Erik contributes to advancing seismic resilience and mechatronic systems for civil infrastructure. Scientific Awards: 2001 NSF CAREER Award, 2005 International Association for Structural Safety and Reliability Medal, 2016 University of Illinois Distinguished AE Alumnus Award

• Software Engineering
• Software Testing
• Program Analysis
• +۴ مورد دیگر

Alessandro (Alex) Orso is the Dean and Professor at the University of Georgia College of Engineering , starting in 2025. Previously, he spent 25 years at Georgia Institute of Technology , where he served as a Professor in the College of Computing , Director of the Scientific Software Engineering Center , and Associate Dean for Off-Campus and Special Initiatives . Education: Ph.D. in Computer Science – Politecnico di Milano, Italy M.S. in Electrical Engineering – Politecnico di Milano, Italy B.S. in Electrical Engineering – Politecnico di Milano, Italy Research Focus: Alex Orso is a leading expert in software engineering , with a focus on software testing , program analysis , and debugging . His work aims to improve software reliability, security, and trustworthiness , and has been validated on real-world systems. He has led initiatives to integrate AI and large language models into testing workflows, particularly for REST APIs and mobile applications . Scientific Recognition: Distinguished Member of the Association for Computing Machinery (ACM) Fellow of the Institute of Electrical and Electronics Engineers (IEEE) ISSTA Impact Paper Award (2021) Research Funding & Leadership: Orso has secured major funding from Google, IBM, Microsoft , and government agencies. In 2021, he led the acquisition of $11 million from Schmidt Futures to establish the Scientific Software Engineering Center at Georgia Tech, where he served as inaugural director. Teaching & Innovation: He was an early advocate of Georgia Tech’s Online Master of Science in Computer Science (OMSCS) and has taught a virtual software engineering course since its launch in 2014.

• Networking
• Distributed Systems
• Network Security
• +۳ مورد دیگر

Siegmar Sommer is a Researcher at the Humboldt University of Berlin , affiliated with the Institute of Computer Science under the Faculty of Mathematics and Natural Sciences . He has worked at the university since 1986 in various technical and scientific roles. Dipl.-Ing. in Computer Engineering (1982) Dr.-Ing. in Computer Science (1986) Postgraduate studies in Higher Education (1990) His research focuses on networking , distributed systems , and network security , with historical contributions to optical information transmission , LAN protocols , and security-relevant systems . His work bridges hardware-software co-design and educational theory in technical disciplines. The 1980s-1990s articles highlight expertise in LAN architecture, optical communication, and security frameworks. Keywords span Networking , Operating Systems , and Education , with subfields like Fiber Optic Networks , CSMA/CD Protocols , and Higher Education Curriculum . He contributed to the Computer Engineering Group and holds a patent for " Bus Access Method for a Local Computer Network " (1986). His teaching legacy includes courses on programming languages (BASIC, PASCAL, PEARL), computer graphics, and modern topics like Wireless Communication Systems and Reliable Distributed Systems . Contact: Email: sommer@informatik.hu-berlin.de Phone: +49 30 2093-41256 Office: Room IV.303, Rudower Chaussee 25, Berlin-Adlershof

Ondrej Vaculinمشاهده پروفایل

استاد

• Passive Vehicle Safety
• Automated Driving
• Vehicle Dynamics
• +۳ مورد دیگر

Prof. Ondrej Vaculin, Ph.D., is a Professor at Technische Hochschule Ingolstadt (THI), specializing in passive vehicle safety, mechatronic systems, and automated driving. He joined THI in 2018 and previously held roles at TÜV SÜD Prague (2008–2018) as Vice President for Safety and Security in Automotive, and as a researcher at Czech Technical University (2005–2008) and DLR Oberpfaffenhofen (2000–2005). His research focuses on enhancing vehicle safety through advanced simulation, sensor integration, and machine learning applications. Education: Ph.D. in Mechanics of Solids, Deformable Bodies and Continua from Czech Technical University in Prague (2001), and a degree in Technical Cybernetics from the Faculty of Electrical Engineering at the same university (1991). His work bridges theoretical research and practical implementation, addressing challenges in automated driving systems, crash simulation, and human body diversity in safety design. Research interests include passive safety systems, autonomous vehicle dynamics, and infrastructure integration for safety enhancements. Recent publications emphasize collaborative smart infrastructure, sensor fusion for free space detection, and machine learning in crash detection. He actively contributes to FISITA, serving as a Council Delegate and member of technical committees. Awards/memberships: Active in FISITA, holding leadership roles in technical committees. No explicit awards listed, though his contributions to automotive safety standards are notable. Grants and advising: While no specific grants or students are detailed, his extensive industry and academic collaborations (e.g., IN2Lab testing field projects) highlight his role in applied research and development.

Fosca Giannottiمشاهده پروفایل

استاد

• Mobility Data Mining
• Social Network Analysis
• Privacy-Preserving Data Mining
• +۶ مورد دیگر

Fosca Giannotti is a Full Professor at Scuola Normale Superiore in Pisa, Italy, and leads the Pisa KDD Lab - Knowledge Discovery and Data Mining Laboratory, a joint research initiative of the University of Pisa and ISTI-CNR. Founded in 1994, the Pisa KDD Lab is one of the earliest research labs focused on data mining. Giannotti is a pioneering scientist in mobility data mining, social network analysis, and privacy-preserving data mining. Her educational background includes a Master Degree in Computer Science from the University of Pisa (1982) with 110/100 cum laude. She has held numerous visiting positions including at MCC in Austin, CWI Amsterdam, UCLA, and the Barabasi Lab at Northeastern University. Giannotti's research focuses on social mining from big data, encompassing smart cities, human dynamics, social and economic networks, ethics and trust, and diffusion of innovations. She has authored more than 300 papers and coordinated tens of European projects and industrial collaborations. Her current work increasingly centers on Explainable AI (XAI), as evidenced by her prestigious ERC Advanced Grant for the XAI project focused on "Science and technology for the explanation of AI decision making." Her recent publications reveal a strong emphasis on trustworthy AI, with research spanning privacy-preserving techniques, fairness in machine learning, human-AI collaboration frameworks, and medical applications of explainable AI. The breadth of her work demonstrates how data mining principles are being applied across diverse domains from social sciences to healthcare. ERC Advanced Grant for XAI project Premio Internazionale Tecnovisionarie 2021 Intelligenza Artificiale Giannotti has coordinated numerous significant projects including SoBigData (the European research infrastructure on Big Data Analytics and Social Mining), XAI, TAILOR (Foundations of Trustworthy AI), HumanE-AI-Net, and AI4EU. As former coordinator of SoBigData, she led an ecosystem of ten cutting-edge European research centers providing an open platform for interdisciplinary data science. She leads the Pisa KDD Lab, which serves as a hub for research on knowledge discovery and data mining. The lab has been instrumental in developing techniques for mobility data analysis, social network mining, and privacy-preserving data analytics, with applications ranging from smart cities to pandemic response.

• Stochastic Processes
• Operations Research
• Data-Driven Decision Making
• +۴ مورد دیگر

Stella Kapodistria is an Associate Professor at Eindhoven University of Technology's Department of Mathematics and Computer Science, specializing in Stochastic Operations Research. She holds roles as EAISI High Tech Systems Associate Professor and editorial board member of journals like MCAP and PEIS. Her research focuses on data-driven decision-making, stochastic systems optimization, and maintenance policies, with applications in renewable energy, critical infrastructure, and cryptocurrency networks. She has secured grants including NWA-ORC, NWO Big Data, and TKI WoZ, and collaborates with industry partners in the Brainport region. Education: BSc (2003), MSc (2006, Hons.), and PhD (2009, summa cum laude) in Mathematics from the University of Athens. Postdoc at TU/e, followed by roles at Groningen University and TU/e's Stochastic Operations Research group. Teaching includes courses on Optimal Decision Making, Stochastic Performance Modeling, and Financial Mathematics. Research interests emphasize real-time learning, system resilience, and scalable algorithms for complex networks. Recent work addresses maintenance logistics, blockchain confirmation times, and wind energy prediction. She has published over 40 peer-reviewed articles and contributed to the 4TU Resilience Engineering Center. Awards include editorial leadership roles and grant funding. Advised 32 academic works and oversees industrial projects bridging theory and practice. Her labs and collaborations focus on adaptive systems, predictive analytics, and sustainable engineering solutions.

• Artificial Intelligence
• Cognitive Neuroscience
• Robotics
• +۳ مورد دیگر

Prof. W.F.G. Haselager is a Professor of Artificial Intelligence at Radboud University Nijmegen, affiliated with the Donders Institute for Brain, Cognition and Behaviour and the Donders Centre for Cognition. He holds dual expertise in philosophy, psychology, and AI, focusing on societal implications of emerging technologies. His research integrates empirical methods (e.g., robotics, computational modeling) with philosophical inquiry into agency, responsibility, and human self-understanding. Education: MSc degrees in Philosophy and Psychology, PhD (1995) from Vrije Universiteit Amsterdam. Teaching responsibilities include bachelor/master programs in AI and Cognitive Neuroscience. Active in public engagement through lectures/workshops on AI ethics, neurotechnology, and free will. Key research themes include neuroethics, AI equity, and brain-computer interfacing. Current projects include the ELSA Lab (AI for Health Equity) and 'Healthy Data' initiatives addressing algorithmic bias and medical AI oversight. He advises Zander Labs on neurotechnology ethics and co-leads multi-institutional grants exploring conversational AI and neurodiverse education. Media appearances include Dutch TV/NOS coverage of brain implants and podcasts on AI sentience. Ancillary activities include the 'Pim Haselager Lectures' series and advisory roles in neurotechnology ethics.

Chunming Qiaoمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Optical Networks
• Wireless Networks
• +۶ مورد دیگر

Dr. Chunming Qiao is a SUNY Distinguished Professor and Chair of the Department of Computer Science and Engineering at the University at Buffalo (SUNY) , leading the Lab for Advanced Network Design, Evaluation and Research (LANDR) since 1993. His work spans cyber-physical systems , optical networks , and Internet of Things (IoT) , with a focus on safety, reliability, and protocol design. Education: PhD in Computer Science from the University of Pittsburgh (1993) BS in Computer Science and Engineering from the University of Science and Technology of China (1985) Dr. Qiao’s research interests combine theoretical and applied network design, including autonomous vehicles , quantum computing , and cloud services . He pioneered optical burst switching (OBS) and iCAR systems for wireless convergence, cited in BusinessWeek and Wireless Europe . His recent publications emphasize quantum networking , federated learning , and autonomous driving security , with projects on entanglement routing , edge inference optimization , and LiDAR adversarial attacks . Articles span IEEE and ACM venues , and include best paper awards . Scientific Awards: TC-CSR Distinguished Technical Achievement Award (2015) SUNY Chancellor's Award for Excellence (2013) IEEE Fellow (2009) UB Exceptional Scholar-Sustained Achievement Award (2005) Dr. Qiao has secured over two dozen NSF grants and collaborations with Google , Cisco , and NEC Labs . His 7 US patents and consulting experience highlight his industry impact, while his editorial roles and conference leadership underscore academic influence. He actively contributes to multi-disciplinary research through the New York State Center of Excellence in Bioinformatics and Life Sciences and CEDAR , advancing high-performance computing and document analysis .