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

Adil Hammadiمشاهده پروفایل

مدرس

• Supply Chain Management
• Sustainable Project Management
• IoT in Business Operations
• +۵ مورد دیگر

Adil Hammadi is a Lecturer in the School of Management and Marketing at Curtin University, within the Faculty of Business and Law. He contributes to the Office of the Provost, supporting academic governance and strategic initiatives. Based at the Curtin Perth campus in the Curtin Business School Building 1, his work spans multiple disciplines across Curtin’s global footprint, encompassing campuses in Australia, Dubai, Malaysia, Mauritius, and Singapore. His research interests focus on technology-driven solutions for business operations and supply chain management. Key areas include IoT integration in supply chains, sustainable project management methodologies, and ethical considerations in corporate practices. He investigates deception in supply chains and its impact on customer perceptions, alongside trust frameworks for cloud computing and web service reliability. Earlier work emphasized transactional systems and database recovery protocols, showcasing expertise in foundational IT infrastructure challenges. Recent publications highlight IoT’s transformative role in supplier relationships and sustainable project management practices. Earlier works (2019–2022) explore deception’s corrosive effects on corporate culture and supply chain resilience. His 2004–2006 studies established reliable transactional web service models, while later contributions (2012–2014) advanced cloud-based SLA management and business intelligence integration. This trajectory reflects evolving research from technical reliability to strategic, ethical applications of technology. No scientific awards were explicitly mentioned in the provided texts. His teaching spans cross-disciplinary areas, including the Centre for Aboriginal Studies, Business, Law, Health Sciences, Humanities, and Science & Engineering, indicating a commitment to academic diversity. No formal advisees (PhD/Master’s students) or grants were noted, suggesting a focus on teaching and independent research. Advising and grants sections remain unpopulated in the available information. He is not associated with any labs or research teams listed in the provided texts.

Robbyمشاهده پروفایل

استاد

• Formal Methods
• Software Engineering
• Programming Languages
• +۳ مورد دیگر

Robby is a Professor in the Department of Computer Science at Kansas State University's College of Engineering, holding the Don and Linda Glaser - Carl and Mary Ice Keystone Research Scholar title. He maintains an active research profile through the SAnToS Lab and has been continuously affiliated with the university since 2004. His educational background includes: Ph.D. in Computer Science from Kansas State University (2004) M.S. in Computer Science from Kansas State University (2000) B.S. in Computer Science from Oklahoma State University (1998) Robby's research centers on formal methods and software engineering , specializing in specification and verification techniques for high-assurance systems. His work develops user-friendly formal languages and cost-efficient verification algorithms that significantly enhance software trustworthiness in safety-critical domains like aerospace and defense systems. This research bridges theoretical foundations with practical industrial applications through tools like the Sireum framework. His publication record (2021-2025) reveals a strong trajectory toward integrated verification ecosystems, particularly the Sireum suite (Logika, Slang) and HAMR toolset for AADL-based development. These works consistently address model-code verification gaps and contract-based testing in cyber-physical systems, demonstrating growing industry adoption through collaborations with organizations like Galois and NASA. Notable recognitions include: NASA Turning Goals into Reality award (2003) NSF CAREER award (2007) ICSE Most Influential Paper award (2000) ACM SIGSOFT Impact award (2010) FMICS Best Tool Paper Award (2024) Robby's research program combines significant funding from sources like the NSF CAREER grant with active industry partnerships. His SAnToS Lab serves as a hub for developing verification methodologies that scale from academic prototypes to real-world deployment in safety-critical systems, emphasizing practical toolchains for assurance engineering. He leads the SAnToS Lab (Software Analysis and Test Organization), which focuses on advancing formal verification techniques for high-integrity software through frameworks like Sireum and HAMR, with applications spanning microkernels, cyber-physical systems, and educational tools.

• Programming Languages
• Semantics
• Type Systems
• +۵ مورد دیگر

Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.

Vahid Rafeمشاهده پروفایل

مدرس

• Search-Based Software Engineering
• Blockchain Technology
• Formal Verification
• +۳ مورد دیگر

Dr. Vahid Rafe is Lecturer and co-program lead for Computer Science at Goldsmiths, University of London. His research focuses on search-based software engineering and blockchain technology, with additional expertise in formal verification and model transformation. Research integrates artificial intelligence with software engineering practices including automated testing techniques, bug localization, and formal verification. Recent work applies machine learning to software quality assurance, combinatorial testing optimization, and blockchain security analysis. Publications demonstrate consistent innovation in AI-enhanced software engineering methods, particularly hybrid algorithms for test generation and deep learning approaches for software maintenance. Recent work addresses security vulnerabilities in cryptographic systems.

• Software Engineering
• Web Applications
• Formal Methods
• +۳ مورد دیگر

May Haidar is an Assistant Professor in the Department of Electrical Engineering & Computer Science at York University. Her work bridges theoretical and applied domains, focusing on software engineering, web applications, and formal verification techniques. Education: Ph.D. in Computer Science (Université de Montréal, 2008), M.S. (Concordia University), B.S. (American University of Beirut) Current Role: Teaching Object-Oriented Programming, Advanced Programming, and Web Development courses Her research explores formal methods in software engineering, particularly temporal logics and run-time verification for web applications. She has contributed to hybrid analysis techniques for composite web services and anomaly detection frameworks. Publications span formal verification, web application security, and embedded systems design, with a focus on integrating temporal logic extensions into validation processes. While no explicit awards are listed, her work has been presented at global conferences, including events in Dubai, Cambridge, and Las Vegas.

Stewart Weissمشاهده پروفایل

دانشیار

• Software Quality Assurance
• Computer Science Education
• Computational Biophysics
• +۳ مورد دیگر

Stewart Weiss is an Associate Professor in the Department of Computer Science at Hunter College, part of the City University of New York (CUNY). His research focuses on Software Quality Assurance, computational biophysics, and integrating open-source software into computer science education. He holds a PhD in Computer Science from New York University's Courant Institute (1987), an M.S. from the same institute (1984), and a B.A. in Mathematics from Hunter College (1982), alongside a B.Arch. from The Cooper Union (1973). Dr. Weiss teaches courses such as Software Design and Analysis, Computer Theory, and UNIX Tools. His work spans grants from NSF and PSC-CUNY, including research in protein structure prediction via the kernel energy method and educational initiatives like 'Computing for Social Good.' He has advised on projects like the 'Gateway for Open Source Software Development' in curricula and contributed to tools for adaptive contrast sensitivity testing. His teaching philosophy emphasizes rigorous academic standards and hands-on learning. He has developed extensive resources, including tutorials on UNIX, parallel programming, and C/C++ programming. His research has explored topics ranging from mutation testing frameworks to quantum chemistry applications in molecular modeling.

Eric Koskinenمشاهده پروفایل

دانشیار

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

Eric Koskinen is the Charles Berendsen Chair Associate Professor in the Department of Computer Science at Stevens Institute of Technology. His research focuses on improving concurrent software development for multi-core and distributed systems through advances in programming languages, verification techniques, and formal methods. He holds a PhD from the University of Cambridge and has held roles at Yale, NYU, and industry positions at IBM, Microsoft, and Amazon. Education: PhD (2013) University of Cambridge, MS (2008) Brown University, BS (2001) William & Mary Research Interests: Concurrent programming, formal verification, programming language design, and distributed systems Recipient of over $5M in grants from NSF/ONR/DARPA. Active in conference organization (POPL, PLDI) and has developed verification tools like CityProver and Veracity. Advises PhD students in concurrency research and teaches courses on programming languages, discrete structures, and software verification.

• Automated Deduction
• Automated Reasoning
• Theorem Proving
• +۴ مورد دیگر

Christopher Lynch is a Professor in the Department of Computer Science at Clarkson University, part of the Coulter School of Engineering & Applied Sciences. His research focuses on Automated Deduction, including theorem proving, algorithm efficiency, and cryptographic protocol analysis. He has contributed to the development of efficient algorithms and tools for verification in hardware/software systems. His research interests include automated deduction, automated reasoning, and theorem proving, with a particular emphasis on improving algorithm efficiency for verifying specifications in hardware and software. He has developed new algorithms and modified existing ones to enhance their performance. Additionally, his work extends to cryptographic protocol analysis, focusing on symbolic methods and tools like CryptoSolve to ensure system security. His recent articles explore advancements in satisfiability modulo theories (SMT), unification algorithms (e.g., XOR unification and asymmetric unification), and the application of formal methods to cryptographic systems. Key contributions include improving theorem proving efficiency and developing tools for protocol verification. Christopher Lynch has been involved in collaborative research grants, including the "Unification Laboratory" projects aimed at enhancing cryptographic protocol analysis tools. No specific grants or advising details beyond this are provided in the text.

Jason Jaskolkaمشاهده پروفایل

دانشیار

• Cyber Security Evaluation
• Security Assurance
• Formal Methods
• +۴ مورد دیگر

Jason Jaskolka is an Associate Professor in the Department of Systems and Computer Engineering at Carleton University, part of the Faculty of Engineering and Design. He holds a Ph.D. from McMaster University and is a licensed Professional Engineer in Ontario. His research focuses on cyber security evaluation and assurance, formal methods, and secure software engineering. He leads the Cyber Security Evaluation and Assurance (CyberSEA) Lab, emphasizing security-by-design principles for complex systems like industrial control systems and IoT-enabled healthcare. Education: Ph.D. (Software Engineering, McMaster University, 2015), M.A.Sc. (Software Engineering, McMaster University, 2010), B.Eng. (Software Engineering and Game Design, McMaster University, 2009). Research interests include: Cyber Security Evaluation & Assurance, Data-Driven Security Metrics, Formal Verification of Security Properties, Secure Software Architecture Design, and Industrial Cyber-Physical Systems Security. His work addresses challenges in threat modeling, compliance with security standards, and mitigating implicit system vulnerabilities. Recognition includes the 2021 New Faculty Excellence in Teaching Award for innovative pedagogy. He actively supervises graduate students in funded research positions. Key collaborations include Health Canada's Scientific Advisory Committee on Digital Health Technologies and the U.S. Department of Homeland Security’s Cybersecurity Postdoctoral Fellowship at Stanford University. Labs/Teams: CyberSEA Lab, focusing on developing rigorous security evaluation frameworks and tools for software-dependent systems.

Tzu-Chieh Kurt Hongمشاهده پروفایل

استادیار

• Shape Grammars
• Visual Computing
• Generative Modeling
• +۴ مورد دیگر

Dr. Tzu-Chieh Kurt Hong is an Assistant Professor at the Department of Architecture within the School of Architecture and Design at the University of Kansas. He teaches design studios, algorithmic modeling, parametric design, and computer programming in design studies. He founded K9K Research & Design, focusing on innovative computational design methodologies. His research emphasizes shape grammars, visual computing, and generative modeling, particularly through the development of the Shape Machine—a computational tool integrating shape recognition and rewriting into CAD systems. Education: Ph.D. in Architecture (Design Computation), Georgia Institute of Technology (2021) M.S. in Architecture and Design, University of Michigan (2016) Master of Architecture, National Chiao Tung University (2008) M.S. and B.S. in Electronics Engineering, National Chiao Tung University (Taiwan) Research Interests: Shape embedding and rewriting in CAD systems Algorithmic design and generative systems Integration of traditional methods (e.g., Euclidean geometry) with computational tools Applications in architectural education and practice Awards: 2022 ARCC Dissertation Award for contributions to CAD systems through shape recognition research Professional Experience: Research Scientist at Georgia Tech's Shape Computation Lab (2016–2022) Contributions include the Shape Machine framework and the Smart 3D Atlanta visualization platform Labs/Teams: Leads the K9K Research & Design initiative, collaborating with academic and industry partners on computational design tools and generative workflows.

Shuang Liuمشاهده پروفایل

پژوهشگر

• Embedded Systems
• Computer Architecture
• Networks-on-Chip (NoC)
• +۳ مورد دیگر

Shuang Liu is a Researcher at the Institute of Computer Architecture and Computer Engineering, University of Stuttgart. Their work focuses on embedded systems, networks-on-chip (NoC), and chip design methodologies. They specialize in deadlock-free routing, fault-tolerant computing, and application-specific system synthesis using advanced techniques like integer linear programming. Research interests include optimizing NoC architectures for chiplet-based systems, co-design of floorplanning and routing topologies, and energy-efficient signal processing in medical electronics. Their recent work emphasizes formal verification methods and performance optimization in hardware-software co-design. Publications span topics such as deadlock prevention in NoC, ILP-based routing synthesis, and trade-offs in hearing aid ASIP design. Office hours are Monday 2–3 p.m. in Room 1.001, Pfaffenwaldring 5b, Stuttgart.

Rachida Dssouliمشاهده پروفایل

استاد

• Software Engineering
• Quality Assurance
• Service Engineering
• +۷ مورد دیگر

Rachida Dssouli is a Professor at the Concordia Institute for Information Systems Engineering (Concordia University). Her research focuses on advanced software engineering methodologies, quality assurance systems, and distributed computing frameworks. She specializes in model-based testing, federated learning optimization, and big data quality management. Her work integrates formal verification techniques with modern machine learning approaches to address challenges in edge computing, IoT, and safety-critical systems. Key research areas include: Development of hybrid swarm intelligence algorithms for optimizing large language model deployment in edge-cloud environments Design of reinforcement learning frameworks for robotics motion planning and IoT device scheduling Creation of interpretable machine learning tools for fault detection in software systems Establishment of holistic big data quality frameworks for continuous monitoring and unstructured data analysis Formal verification methods for avionics systems using multi-agent models Her recent work demonstrates trends toward AI-driven solutions for testing methodologies (e.g., SHAP-Driven fault detection) and edge-cloud integration (e.g., MIMO-based computation offloading optimization). The 2025 publications highlight advancements in federated learning and trust-aware IoT scheduling. Earlier works (2018-2020) emphasize foundational contributions to cloud trust models, big data quality metrics, and safety-critical system testing. Her research also addresses emerging technologies for developing countries through frameworks like neurodegenerative disease monitoring systems and mobile application requirements engineering. She has contributed to service-oriented architectures for healthcare systems and cloud-based resource orchestration strategies.

Marta Ariasمشاهده پروفایل

دانشیار

• Machine Learning
• Data Mining
• Design and Analysis of Algorithms
• +۳ مورد دیگر

Marta Arias is an Associate Professor in the Computer Science Department at Universitat Politècnica de Catalunya (UPC), Barcelona, and a member of the LARCA research group. She has held academic positions since 2007, including roles at Columbia University and the University of Edinburgh. Her research focuses on Machine Learning, Data Mining, Algorithm Design, and Logic in Computer Science. She teaches advanced courses in Machine Learning, Information Retrieval, and Complex Networks at undergraduate and master's levels, including the Erasmus Mundus program in Data Mining and Knowledge Management. Educations: PhD in Computer Science from Tufts University (2000-2004), Postgraduate Studies at University of Edinburgh (1999-2000), B.Sc. in Computer Science from UPC (1992-1997). Professional experience includes software engineering and research roles in New York and Barcelona. Research highlights include developing algorithms for real-time ranking systems, Twitter-based financial forecasting, and causal network analysis. Notable contributions include the 'Best Paper Award' at AIPESW@ECAI 2020 and a 3rd place award in football performance research. Her work spans theoretical foundations (e.g., Horn clause learning) and applied domains like cybersecurity, healthcare analytics, and energy systems. Teaching responsibilities include labs and lectures on Machine Learning, Information Retrieval, and Programming, with active involvement in curriculum design and pedagogical innovation. Ongoing projects include enterprise risk analysis, synthetic data generation, and network modeling.

James Lawمشاهده پروفایل

پژوهشگر

• Human-Robot Collaboration
• Trustworthy Autonomous Systems
• Responsible Innovation
• +۳ مورد دیگر

Dr. James Law serves as a Senior Experimental Officer at Sheffield Robotics and leads the Collaborative Robotics Group within the School of Computer Science at the University of Sheffield. He holds a joint appointment between the Department of Computer Science and the Advanced Manufacturing Research Centre, and serves as Director of Innovation and Knowledge Exchange at Sheffield Robotics. His work integrates academic research with industrial applications in advanced manufacturing. His research focuses on human-robot collaboration, trustworthy autonomous systems, and responsible innovation in manufacturing robotics. Law develops safety assurance frameworks and digital twinning solutions for collaborative workspaces, with particular emphasis on trust engineering, user authentication, and graphical communication systems that reduce human anxiety in robot co-working environments. His interdisciplinary approach bridges computer science, engineering psychology, and industrial implementation requirements. Law's publication portfolio demonstrates consistent advancement in collaborative robotics safety, with recent work (2022-2024) focusing on verified safety controllers, digital twin frameworks, and trust modeling in human-robot triads. His research shows progression from foundational developmental robotics (2010-2015) toward applied industrial solutions, with increasing emphasis on security, safety assurance, and human factors in manufacturing contexts. As an active science communicator, Law serves on the UK Robotics and Autonomous Systems network (UK-RAS) management board and the EPSRC Early Career Forum in Manufacturing Research. EPSRC STAMAN: Robotic skill transfer for manufacturing (Co-PI, £1M+) Horizon Europe OpenSwarm: Energy-aware swarm orchestration (Co-PI, £463k) EPSRC Security of Digital Twins in Manufacturing (Co-PI, £775k) EPSRC UKRI Trustworthy Autonomous Systems Node (Co-PI, £3M) Law leads the Collaborative Robotics Group and contributes to the Complex Systems Modelling research group, focusing on translating theoretical safety frameworks into practical industrial implementations through close collaboration with manufacturing partners and policy stakeholders.

Daniel Jacksonمشاهده پروفایل

استاد

• Software Engineering
• Formal Methods
• Human-Computer Interaction
• +۴ مورد دیگر

Roles and Affiliations: Daniel Jackson is a Professor of Computer Science and Engineering at MIT, and Associate Director of CSAIL (Computer Science and Artificial Intelligence Lab). He leads the Software Design Group, focusing on conceptual software design, formal methods, and cybersecurity. Education and Professional Background: Jackson's work includes collaborations with NASA, Toyota, and Massachusetts General Hospital. He earned his ACM Fellow distinction and authored influential books like Software Abstractions and The Essence of Software . Research Interests: Jackson's research spans conceptual software design, formal methods using Alloy, cybersecurity, and autonomous systems. His projects include Riffle (local-first applications), Wildcard (web customization), and Certified Control (safety-critical systems). Articles Trends: Recent work emphasizes cybersecurity in autonomous vehicles, declarative diagram composition (Bluefish), and end-user software customization. His publications bridge theory and practical applications, often addressing dependability and usability. Awards and Recognition: ACM SIGSOFT Impact Award (2016), ACM SIGSOFT Outstanding Research Award (2017), MIT MacVicar Teaching Fellow, and MLK Leadership Award (2018). Grants and Labs: Supported by NSF grants and collaborations with industry, Jackson's work includes MIT’s Future of Data Initiative and cybersecurity projects. His lab, the Software Design Group, develops tools like Alloy and explores new paradigms for software development.