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

Antonio Ruiz-Cortésمشاهده پروفایل

استاد

• Service Oriented Computing
• Software Engineering
• Software Architecture
• +۴ مورد دیگر

Antonio Ruiz-Cortés is Professor of Software and Service Engineering at the University of Seville and an elected member of the Academy of Europe. He currently heads the Applied Software Engineering Group at the University of Seville and has served as President of the Spanish Society on Software Engineering (SISTEDES) since September 2018. His research spans multiple critical areas of modern software engineering: Service-Oriented Computing Software Architecture Business Process Management Testing methodologies Software Product Lines Automatic Model Analysis Professor Ruiz-Cortés has established himself as a leading researcher in REST API testing and verification, with multiple influential publications in top software engineering conferences. His work bridges traditional software engineering with emerging domains like quantum computing, demonstrating remarkable adaptability. He has developed practical tools including RESTest and AGORA that address real-world testing challenges faced by industry practitioners. His scientific contributions have been recognized with the Most Influential Paper award at SPLC 2017. He serves as associate editor for Springer Computing and has organized major conferences including JCIS 2008, SPLC 2017, SISTEDES 2018 and BPM 2020, demonstrating significant leadership in the academic community. Professor Ruiz-Cortés maintains active research funding supporting his work in service-oriented computing and software testing, though specific grant details aren't provided in the available information. His presidency of SISTEDES reflects his commitment to advancing software engineering research in Spain.

Austin Mordahlمشاهده پروفایل

استادیار

• Static Analysis
• Taint Analysis
• Automated Testing
• +۴ مورد دیگر

Austin Mordahl is an Assistant Professor in the Department of Computer Science at the University of Illinois Chicago. His research focuses on improving the usability and reliability of software quality assurance tools, particularly static analyses and fuzz testing. Dr. Mordahl actively seeks students interested in cutting-edge research in software engineering at UIC. Dr. Mordahl's research interests span multiple areas of software engineering with a particular emphasis on: Static Analysis and Taint Analysis for software security Automated Testing techniques including fuzz testing Improving the usability and reliability of software quality assurance tools Configurable static analysis tools and their behavior Applying machine learning to triage and configure static analysis tools Lifting static analysis to work on software product lines Improving evaluations of fuzz testing tools His recent publications demonstrate a strong focus on addressing challenges in configurable static analysis tools, with particular attention to nondeterministic behavior, configuration spaces, and automatic testing and debugging approaches. Mordahl's work bridges theoretical foundations with practical applications, aiming to make software quality assurance tools more accessible and effective for developers. Dr. Mordahl has received several prestigious awards for his work: NSF Graduate Research Fellowship Awardee (2020) Eugene McDermott Graduate Research Fellowship Awardee (2020) ICSE 2019 Student Research Competition Winner Dr. Mordahl is actively involved in mentoring and seeks students interested in software engineering research. He has served on numerous program committees for top software engineering conferences including ICSE, ASE, ISSTA, and PLDI. His service to the academic community extends to artifact evaluation committees, demonstrating his commitment to research reproducibility and rigor.

Lubomir Ivanovمشاهده پروفایل

استاد

• Natural Language Processing
• Authorship Attribution
• Virtual Reality
• +۳ مورد دیگر

Lubomir Ivanov is a Professor of Computer Science and current Chair of the Computer Science Department at Iona University, where he also serves as Game Development Coordinator and primary contact for all undergraduate programs. He joined Iona in 1999 after completing his academic training at Stevens Institute of Technology and has established himself as a versatile educator teaching courses ranging from computer architecture to virtual reality development. Education: Ph.D. in Computer Science, Stevens Institute of Technology M.S. in Computer Science, Stevens Institute of Technology B.S. in Computer Engineering, Stevens Institute of Technology Dr. Ivanov's research demonstrates exceptional interdisciplinary breadth, with dual pillars in Natural Language Processing and Applied Virtual Reality . His NLP work pioneers authorship attribution techniques using linguistic features from phonetic patterns (alliteration, assonance) to semantic dimensions (abstractness/concreteness), particularly for historical texts like Thomas Paine's writings. Simultaneously, his VR research creates impactful educational tools, including anti-bullying simulators with facial-expression recognition and mental health applications for non-suicidal self-injury assistance, reflecting strong collaborations with psychology departments. Analysis of his 15 most recent publications (2016-2024) reveals an evolving trajectory: early work focused on phonetic features for authorship analysis, progressively incorporating semantic and sentiment features, while his VR research matured from basic environments to sophisticated systems integrating real-time facial recognition and user experience optimization. Both strands consistently address real-world problems through computational methods. Scientific Awards: None mentioned in source material. Dr. Ivanov actively mentors students on research projects including the 'Bully' virtual environment and NSSI assistance software, securing collaborative grants with psychology departments. His leadership extends to university governance through the Faculty Senate and previous department chairmanship (2006-2009), alongside curriculum development for game development courses targeting non-CS majors. He directs a cross-disciplinary research ecosystem centered on the Game Development concentration, integrating computer science with education and psychology to create socially impactful technologies through ongoing VR and NLP innovation.

Ajitha Rajanمشاهده پروفایل

استاد

• Software Testing
• Software Verification
• Test Automation
• +۶ مورد دیگر

Ajitha Rajan is a Professor (Personal Chair of Software Testing & Verification) at the School of Informatics, University of Edinburgh. She joined the university in December 2012 as a Reader (equivalent to Associate Professor in American terms) and was promoted to Professor in 2024. Prior to her position at Edinburgh, she held postdoctoral positions at Oxford University and Laboratoire d'Informatique de Grenoble in France. She earned her PhD in Computer Science from the University of Minnesota in August 2009 under Professor Mats Heimdahl. Her research focuses on two primary directions: Automated Software Testing (including test input generation, test oracles, and coverage measurement) and Biomedical AI (particularly cancer survival models and interpretability for biological sequences and medical images). Her work has applications in safety-critical systems, blockchains, embedded systems, and medical diagnostics. She has made significant contributions to explainable AI for healthcare applications, especially in lung cancer detection and cancer survival analysis. Her recent publications demonstrate a strong trend toward interdisciplinary research at the intersection of software engineering and biomedical applications. She has numerous publications in top venues including ICSE, ASE, and healthcare-focused conferences. Her work increasingly focuses on making AI systems more interpretable and trustworthy, particularly in medical contexts where model decisions can have life-or-death consequences. ACM SIGSOFT Distinguished Reviewer Award, ISSTA 2025 Best Paper Award at ICHI 2025 Promoted to Professor (Chair in Software Testing & Verification) 2024 SICSA Best Supervisor Award 2024 ACM Distinguished Paper Award 2008 Professor Rajan actively supervises PhD students in both software testing and biomedical AI domains. She leads several funded projects including MANIFEST (a cancer immunotherapy response research platform), a Huawei Joint Lab project on RobustCheck, a Royal Society Industry Fellowship on AutoTest, and the KATY project on clinical knowledge for personalized medicine. Her research group includes current PhD students working on explainable AI for medical image analysis, scenario-based testing for autonomous driving, and protein design applications.

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

پژوهشگر

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

Sébastien Bardin is a Senior Researcher and CEA Fellow at the Software Safety and Security Laboratory of Commissariat à l'Energie Atomique (CEA) in Paris-Saclay, France, with affiliation to University Paris-Saclay. He leads significant research initiatives including the BINSEC group on binary-level security analysis (since 2012) and the QBricks group on quantum program verification (since 2020), and served as Head of the Software Quantum Program at CEA LIST from 2021-2023. His research focuses on formal methods and automatic program analysis with applications in software security. Key areas include binary-level security analyses such as vulnerability detection & assessment, reverse engineering, and malware deobfuscation, as well as quantum programming and verification. His methodological expertise spans symbolic execution, abstract interpretation, software model checking, and SMT solving. Bardin's publications demonstrate consistent impact across top venues in security and formal methods, with notable papers at ESOP, CAV, ICSE, NDSS, and S&P. His work on robust symbolic execution, directed fuzzing, and binary-level analysis has established him as a leading researcher in security-oriented program analysis. Recent publications show growing emphasis on quantum program verification alongside continued contributions to binary security analysis. Scientific Awards: ICSE 2021 ACM SIGSOFT Distinguished Paper Award RTAS 2021 Best Paper Award CAV 2021 Selected Paper CEA Fellow (2021-present) ACM Senior Member (2021-present) Bardin actively mentors PhD students and has advised numerous researchers who have received recognition including GDR Sécurité and GDR GPL PhD awards. His service to the community is extensive, with leadership roles in GDR Sécurité, RESSI, and organizing major conferences including CAV 2023 (sponsor co-chair) and FIC 2023 (scientific program chair). He also contributes to multiple program committees across security and formal methods venues.

• Formal Methods
• Software Verification
• Interactive Systems
• +۲ مورد دیگر

Jean-Marc Mota is a Researcher at ISAE-ENSMA affiliated with the LIAS laboratory, specializing in formal methods for interactive and multimodal systems through proof-based techniques and Event B methodology. His work bridges theoretical verification with practical interface design. His core research areas include: Formal Methods Software Verification Interactive Systems Multimodal Interfaces Process Algebra Publications from 2006–2014 reveal consistent focus on applying formal verification to interactive systems, emphasizing proof-based validation of multimodal interfaces and process algebra models to ensure reliability in user-centric applications. Mota operates within the Data Engineering team at LIAS—a joint laboratory between ISAE-ENSMA and ENSIP (University of Poitiers)—alongside Automatic Control and Real Time teams, focusing on sensorial engineering applications across campuses in Chasseneuil and Poitiers.

Anitha Gollamudiمشاهده پروفایل

استادیار

• Language-based Security
• Trusted Execution Environments
• Formal Methods
• +۴ مورد دیگر

Anitha Gollamudi is an Assistant Professor in the Department of Computer Science at the Miner School of Computer and Information Sciences, University of Massachusetts Lowell. She teaches core courses including Systems Security (COMP 5300), Compiler Construction (COMP 4060/5340), and Organization of Programming Languages (COMP 3010). Her research focuses on language-based security through hardware-assisted mechanisms, cryptography, and formal methods. Current projects include: Automatic compartmentalization of Trusted Execution Environment (TEE) programs Formal foundations of Fully Homomorphic Encryption (FHE) compilers Privacy-preserving machine learning with encrypted learning Analysis of her 8 recent publications (2016-2025) reveals dominant themes in TEE security and secure compilation. Key contributions address memory safety in WebAssembly, authorization logic for computation principals, and formal verification of cryptographic systems. Her work consistently bridges theoretical foundations with practical implementations for real-world security challenges. No scientific awards were mentioned in the available information. Professor Gollamudi actively mentors students across levels, currently advising PhD candidates Wesley B. Nuzzo and Samuel Dodson alongside undergraduate Benjamin Houle. Her former students include Nam Bui, James Chen, Yuka Akiyama (honors thesis), and Andrew Eggleston. She emphasizes collaborative research and encourages prospective students to contact her with research interests and academic background. She leads a research group focused on applying programming language techniques to security problems, with ongoing projects targeting enclave placement optimization, FHE correctness verification, and encrypted machine learning frameworks.