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

• Software Engineering
• Probabilistic Programming
• Security and Penetration Testing
• +۵ مورد دیگر

Jürgen Cito is an Associate Professor in the Department of Software Engineering at the Faculty of Informatics, TU Wien, where he leads research in probabilistic programming, security, and configuration management. His work is supported by major grants from the Austrian Science Fund (FWF), European Commission, and Meta Platforms, Inc., with active projects spanning 2022-2027. His research focuses on the intersection of software engineering and machine learning, particularly in static analysis of probabilistic programs, AI-driven penetration testing, and infrastructure security. Key contributions include identifying secret exposure in configuration files, grammar inference for ad hoc parsers, and performance prediction from source code, often combining empirical studies with tool development. Analysis of his 15 most recent publications (2020-2024) reveals three dominant trends: (1) Security vulnerabilities in configuration management systems, especially secret leakage in dotfiles; (2) Application of large language models to offensive security testing; and (3) Machine learning techniques for performance prediction and AutoML optimization in software contexts. Cito has supervised 22 Master's students on cutting-edge topics including AI security, infrastructure as code, and program analysis. His current research portfolio includes: Types4Strings (FWF, 2024-2027): Type systems for string processing Cloud Open Source Research Mobility Network (EU, 2023-2026): Open-source cloud infrastructure Software Assistants for Probabilistic Programming (Meta, 2022-2026): AI tools for probabilistic code He is embedded in TU Wien's Institute of Software Technology and Interactive Systems (E194), collaborating on cross-institutional projects focused on software security and developer tooling, with particular emphasis on empirical validation of security practices and configuration management systems.

Josep Casanovasمشاهده پروفایل

استاد

• Modelling and Simulation
• Internet and Information Systems
• Urban Mobility
• +۴ مورد دیگر

Josep Casanovas is a Full Professor at the Statistics and Operations Research Department of the Technical University of Catalonia (UPC), affiliated with the Barcelona School of Informatics. He previously served as head of inLab FIB (2012-2020) and as dean (1998-2004) and vice-rector (2006-2011) of UPC, leading strategic initiatives in university governance and ICT policies. His research focuses on Modelling and Simulation , Internet and Information Systems , and Urban Mobility . He has led projects for the European Union, including C-ROADS Spain, REMEDiAL, and ECHORD++, addressing intelligent transport, software automation, and robotic innovation. Recent publications highlight his work on agent-based simulation for urban health, deep learning applications in traffic and energy savings, and wildfire management tools . He co-directs LogiSim and coordinates the Severo Ochoa Research Excellence Program at the Barcelona Supercomputing Center (BSC-CNS).

Ian Bayleyمشاهده پروفایل

مدرس ارشد

• Cybersecurity
• Secure Programming
• Exploits
• +۱۱ مورد دیگر

Dr. Ian Bayley is a Senior Lecturer in Computer Science at the School of Engineering, Computing and Mathematics, Oxford Brookes University. He serves as Subject Coordinator for MSc courses in Computing Science, Advanced Computer Science, and Computer Science for Cyber Security. His research focuses on cybersecurity, secure programming, software engineering, and design patterns, with collaborations on topics like LLM evaluation, exploratory testing for machine learning, and agent-oriented programming for microservices. He is affiliated with the Cloud Computing and Cybersecurity Group (CCC) and the Artificial Intelligence, Data Analysis and Systems (AIDAS) Institute. Teaching responsibilities include modules such as Secure Programming (undergraduate/postgraduate) and Professional Programming Practice for first-year undergraduates. He actively supervises cybersecurity projects and students, including Debalina Ghosh (LLM evaluation) and Kieren Stanton (authentication in vehicular networks). Research interests span cybersecurity patterns, software design composability, formal methods for web services, and agent-oriented approaches to microservices. Recent work explores LLM evaluation via scenario-based meta-information and testing challenges in machine learning applications. He co-leads research on design pattern composition and algebraic specifications. Publications span journals like Journal of Systems and Software and IEEE Transactions on Software Engineering , addressing topics from cybersecurity patterns to formal verification of web services. His teaching and research emphasize practical software engineering principles and cutting-edge cybersecurity practices.

Henri Hansenمشاهده پروفایل

مدرس

• Partial Order Reduction
• Stubborn Sets
• Petri Nets
• +۴ مورد دیگر

Henri Hansen is a University Lecturer at Tampere University's Computing Sciences Department within the Faculty of Information Technology and Communication Sciences. His research focuses on concurrency theory, partial order reduction, stubborn sets, Petri nets, and formal methods. He holds a Doctor of Science (Technology) and Master of Science in Technology from Tampere University. Key research interests include optimizing state space exploration through techniques like stubborn sets, analyzing financial networks (e.g., stock market dynamics), and applying formal methods to industrial systems. His work bridges theoretical foundations with practical applications in software verification and blockchain systems. Recent publications emphasize network analysis in financial markets and Bitcoin systems, alongside advancements in partial order reduction algorithms. Hansen has received three notable awards for his contributions to stubborn set theory and coverability algorithms.

Matteo Biagiolaمشاهده پروفایل

پژوهشگر

• Software Testing
• Test Generation
• AI for Software Testing (AI4SE)
• +۴ مورد دیگر

Matteo Biagiola is a Researcher in the Faculty of Informatics at Università della Svizzera italiana (USI), Lugano, Switzerland, and a PostDoctoral researcher at the University of St. Gallen (HSG). He specializes in software testing, particularly test generation for Web applications, deep reinforcement learning systems, and autonomous driving software. His work focuses on enhancing AI robustness through testing and improving software testing via AI techniques. Biagiola holds a Ph.D. from Università degli Studi di Genova (Italy) in collaboration with Fondazione Bruno Kessler, Trento. He has conducted postdoctoral research at USI on the Precrime ERC Advanced Grant project under Paolo Tonella. His research tools include μPRL (mutation testing for RL agents), STILE (web test parallelization), and GenBo (boundary state generation for autonomous systems). Education: Ph.D.: Università degli Studi di Genova / Fondazione Bruno Kessler (2016–2020) M.Sc.: Università Politecnica delle Marche (2014–2016) Affiliations: PostDoc & Scientific Collaborator: University of St. Gallen / USI (2025–present) PostDoc: USI (2020–2025) Visiting Ph.D. Student: University of British Columbia (2018) His research interests span AI-driven testing tools, autonomous system validation, and simulation-based testing. He has received the Distinguished Paper Award at ICST 2025 and serves on program committees for major conferences like FSE, ICSE, and ICST. He co-organizes workshops like DeepTest (co-located with ICSE) and the Cyber-Physical Systems tool competition (SBFT).

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

استاد

• Science Education
• Project-Based Learning
• STEM Education
• +۳ مورد دیگر

Joseph Krajcik is the Lappan-Phillips Professor of Science Education at Michigan State University (MSU), where he also directs the CREATE for STEM Institute. He holds a Ph.D. from the University of Iowa. His research focuses on improving science education through project-based learning (PBL), curriculum design, and the integration of artificial intelligence (AI) into STEM instruction. Krajcik has authored over 100 manuscripts, books, and curriculum materials, emphasizing coherence between standards, teaching practices, and student learning outcomes. He has received significant recognition, including election to the National Academy of Education (2020), the McGraw Prize in Pre-K-12 Education (2020), and the ISDDE Prize for Excellence in Education Design (2021). His work bridges theory and practice, collaborating with teachers to develop and test innovative learning environments. Recent efforts explore AI’s role in assessment, equity, and instructional decision-making, while maintaining a strong focus on PBL’s efficacy in K-12 settings. Krajcik’s international collaborations include guest professorships at Beijing Normal University (China), Ewha Woman’s University (South Korea), and the Weizmann Institute of Science (Israel). His research spans science engagement, systems thinking, computational modeling, and culturally relevant pedagogy, particularly in underserved urban classrooms.

• Software Engineering
• Parallel and Distributed Systems Architecture
• Trusted Components and Services
• +۶ مورد دیگر

Professor Heinrich Schmidt is an Adjunct Professor in the School of Science at RMIT University, Australia. His research focuses on Software Engineering, Distributed Systems, and Cyber-Physical Systems. He specializes in areas such as formal verification, safety-critical systems, and cloud computing. His work emphasizes practical applications in industrial automation, IoT, and HPC environments. Key research interests include spatio-temporal analysis, fault tolerance, and adaptive systems design. He has supervised projects on IoT data contextualization, software fault characterization, and spatial modeling in PRISM. Over 98 publications highlight his contributions to formal methods, distributed systems, and industrial software solutions. Professor Schmidt collaborates on projects like Chiminey (cloud/HPC integration) and VxLab (industrial visualization). His teaching covers parallel systems, trusted components, and model-based monitoring. No specific awards are listed, but his extensive publication record underscores his academic impact.

• Cyber-Physical Systems
• Autonomous Systems
• Formal Methods
• +۴ مورد دیگر

Josefine B. Graebener is a Postdoctoral Scholar Research Associate in the Department of Computing & Mathematical Sciences at the California Institute of Technology (Caltech). Her research focuses on formal methods for test and evaluation of autonomous systems, including cyber-physical systems and reactive systems. She holds an office at the Annenberg IST Center (Mail Code 305-16) and can be reached at jgraeben@caltech.edu . Her work emphasizes assume-guarantee contracts for compositional system analysis, automated test synthesis, and failure-tolerant design for applications like autonomous vehicles and spacecraft computers. Key contributions include the development of the Pacti framework for scalable system analysis and the study of thermal stabilization in space telescopes using phase change materials. Josefine’s publications span topics such as reach-avoid specifications for autonomous systems, trade-off analysis in spacecraft computer design, and directive-response architectures for automated systems. While no formal awards are listed, her research demonstrates significant contributions to system reliability and formal verification methodologies.

Kelvin Ericksonمشاهده پروفایل

استاد

• Control Systems
• Factory Automation
• Programmable Logic Controllers
• +۳ مورد دیگر

Dr. Kelvin Erickson is the Curators’ Distinguished Teaching Professor of Electrical and Computer Engineering and Undergraduate Coordinator at Missouri University of Science and Technology. He joined the faculty in 1986 and served as Department Chair from 2002 to 2014. His expertise spans control systems, factory automation, and programmable logic controllers (PLCs), with over 40 years of experience in industrial automation and process control. Education: PhD in Electrical Engineering, Iowa State University MS and BS in Electrical Engineering, Missouri University of Science and Technology (formerly University of Missouri-Rolla) Research Interests: Dr. Erickson focuses on manufacturing automation, PLC design and applications, advanced process control, and industrial control systems. He has authored multiple textbooks, including Programmable Logic Controllers: An Emphasis on Design and Application and Allen-Bradley PLCs: An Emphasis on Design and Application . Awards and Honors: International Society of Automation Fellow (2019) Curators’ Distinguished Teaching Professorship (2019) IEEE Region 5 Outstanding Engineering Educator Award (2015) Multiple UMR Outstanding Teacher Awards (1987–2015) Grants and Collaborations: He has led grants such as the Controls Laboratory Equipment project (co-PI with Jagannathan Sarangapani). His industry collaborations include work with Fisher Controls, Magnum Technologies, and Rockwell Automation. Labs and Affiliations: Dr. Erickson is affiliated with the Kent D. Peaslee Steel Manufacturing Research Center and serves as an ABET Evaluator and ETAC Commissioner.

Manish Motwaniمشاهده پروفایل

استادیار

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

Manish Motwani is an Assistant Professor at the School of Electrical Engineering and Computer Science, Oregon State University. His research focuses on automating software engineering practices to improve software quality, particularly in high-performance computing (HPC), REST APIs, and natural language-driven program repair. He leads the Advanced Software Engineering Research (ANSWER) lab, which is part of the Software Engineering and Human-Computer Interaction group. Education: Ph.D. in Computer Science (University of Massachusetts Amherst), Postdoctoral Fellow (Georgia Institute of Technology) Motwani's research bridges empirical analysis of software repositories with automated techniques for testing, debugging, and program repair. Key projects include: Automated Testing for HPC Applications OpenAPI Specification Generation via Static Analysis High-Quality Patch Validation Using Bug Reports JaRFLy Framework for Patch Evaluation Swami Tool for Natural Language Test Oracles RAFL and Blues Fault Localization Techniques His work addresses critical challenges such as patch overfitting, HPC bug detection, and semantic search for real-world defects. He has published in top venues like ICSE, TSE, and EMSE, and holds two U.S. patents for automated requirements and regulatory compliance tools. At Oregon State, Motwani actively mentors and seeks motivated PhD students interested in software testing, debugging, and program repair for HPC and AI/ML applications. He previously contributed to requirements engineering at Tata Research Development and Design Centre in India.

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

مدرس ارشد

• Structural Engineering
• Concrete Technology
• Building Information Modeling (BIM)
• +۵ مورد دیگر

Dr David Begg is a Senior Lecturer at the University of Portsmouth, affiliated with the Faculty of Technology and School of Civil Engineering and Surveying. He contributes to the Portsmouth Centre for Advanced Materials and Manufacturing and serves as a PhD supervisor. Academic Rank: Senior Lecturer University: University of Portsmouth School: Faculty of Technology Department: School of Civil Engineering and Surveying His research focuses on structural engineering, concrete technology, and smart systems. Key areas include: Structural Modeling, Monitoring, and Design Steel Fiber Reinforced Concrete Building Information Modeling (BIM) Optimization Seismic Analysis and Rehabilitation Intelligent Structural Systems Research trends show consistent contributions to concrete material properties, BIM integration, and seismic vulnerability assessment. Scientific awards are not explicitly mentioned in available data. He accepts PhD students but notes no current funding opportunities.

Stephen D. Wolthusenمشاهده پروفایل

استاد

• Cybersecurity
• Network Security
• Industrial Control Systems
• +۴ مورد دیگر

Stephen D. Wolthusen is a Professor at the Norwegian University of Science and Technology (NTNU), with an external affiliation at Royal Holloway, University of London (RHUL). His research focuses on cybersecurity, network security, and resilient systems within industrial control, IoT, and software-defined networks. He has led major projects such as the NHS Health and Care Test Beds (TIHM), RECONSYDER (resilient control systems), and ARTEMIS Joint Technology Initiative (Internet of Energy for Electric Mobility). His expertise spans adversarial modeling, privacy in IoT, and queueing network analysis for network resilience. Key contributions include work on IEC 61850 protocols, software-defined networks, and controllability metrics for critical infrastructure. He has supervised 8 research projects/students and served as an External Examiner at NTNU from 2016 to 2020. Education: Not explicitly listed, inferred via academic roles and publications. Grants: EPSRC, Innovate UK, ARTEMIS Joint Undertaking. His research aligns with UN SDGs, particularly addressing sustainable infrastructure and innovation through resilient cyber-physical systems.

• Information Systems Development
• Digital Transformation
• Agile Software Development
• +۵ مورد دیگر

Dr. Bartosz Marcinkowski serves as Professor and Head of the Department of Business Informatics at the University of Gdańsk's Faculty of Management, concurrently holding the positions of Deputy Dean for Research and Head of the Doctoral School. His academic leadership spans departmental administration, faculty research strategy, and doctoral program oversight within Poland's prominent management education institution. Marcinkowski's research centers on the intersection of information systems and practical business applications, with dominant focus areas including agile software development methodologies, digital transformation frameworks, and facility management technology adoption. His work consistently addresses contemporary challenges such as post-pandemic recovery in IT projects, generative AI integration, and sustainable business practices through empirical industry-academia collaborations. Recent publications demonstrate particular expertise in scaling agile frameworks for distributed teams and implementing blockchain solutions in enterprise environments. Analysis of his 2022-2025 publications reveals a strategic research trajectory emphasizing practical solutions for complex business-technology challenges. His work shows increasing integration of sustainability considerations across domains, from facility management to corporate governance, while maintaining strong methodological focus on agile approaches and systems integration. The recurring industry-academia collaboration theme highlights his commitment to bridging theoretical research with real-world business applications.

Olga Ristićمشاهده پروفایل

دانشیار

• Software Testing
• Information Technologies
• Modeling and Simulation
• +۵ مورد دیگر

Olga Ristić is an Associate Professor at the Department of Information Technologies, Faculty of Technical Sciences Čačak, University of Kragujevac, Serbia. Her office is located at Svetog Save 65, Čačak (Office No. 237), and she can be contacted via phone (+381 32 302-714) or email. She holds a Diploma in Technics and Informatics (1997), a Master's in Technical Sciences (2006), and a PhD in Information Technologies and Systems (2016), all from the University of Kragujevac. Her research focuses on: Software testing methodologies and quality assurance Modeling and simulation of complex systems Optimization algorithms for industrial applications Educational technology and IT pedagogy Mobile applications and information systems reliability Her recent publications emphasize interdisciplinary approaches, with strong trends in machine learning applications for cybersecurity, optimization in Industry 4.0 systems, educational technology innovations, and sustainable energy management. She frequently employs simulation techniques and algorithm development across diverse domains. She has led or contributed to eight Ministry of Science-funded projects: Curriculum development for IT education programs Software quality assurance frameworks Industrial system reliability modeling Food supply chain optimization Deregulated energy distribution systems At the Faculty of Technical Sciences, she coordinates courses across all academic levels, including Data Structures, Software Testing, Mobile Applications, and Quality of Software. She also conducts professional development seminars on database design and ISTQB certification.

Binoy Ravindranمشاهده پروفایل

استاد

• Computer Systems
• Software Verification
• Concurrency
• +۷ مورد دیگر

Binoy Ravindran is a Professor at Virginia Tech’s College of Engineering, Department of Electrical and Computer Engineering, leading the Systems Software Research Group (SSRG). His research focuses on computer systems, emphasizing security, performance, concurrency, distributed systems, and real-time computing, with recent work in software verification and heterogeneous-ISA platforms. Key projects: Low-level Reasoning Machine (LLRM), Popcorn Linux, LibrettOS, Hyflow, HermiTux, SlimGuard, HydraVM, KairosVM. He has co-authored 15+ papers from 2025 to 2022, spanning venues like ASPLOS, POPL, PLDI, VEE, PPoPP, and MIDDLEWARE, with awards including ACM Distinguished Scientist and eight Best Paper Awards. Service roles: Editorial Boards (IEEE Transactions on Cloud Computing, ACM TECS), Program Co-Chair (ACM Systor 2025), Committee memberships across ASPLOS, PLDI, and more.