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

Qinghua Luمشاهده پروفایل

استاد پژوهشی

• Responsible AI
• AI Safety
• Software Engineering for AI
• +۹ مورد دیگر

Dr Qinghua Lu is a leading researcher and Group Leader of the Software Systems Research Group at CSIRO's Data61, Australia’s premier data science and innovation center. She is a key contributor to international AI safety and governance initiatives, including Australia’s AI Safety Standard, OECD.AI’s trustworthy AI metrics, and the EU General-Purpose AI Code of Practice. Her research centers on Responsible AI , AI Safety , and Software Engineering for AI , with a focus on Agent Engineering, AI architecture, and DevOps. Her work has set foundational directions in the field, particularly through her widely cited roadmap on engineering responsible AI systems. Dr Lu has authored over 200 publications in top-tier journals and conferences such as ICSE, FSE, AAAI, and NeurIPS. Her recent publications reflect a strong trend in trustworthy AI, software engineering practices for AI systems, and evaluation frameworks. Her 2023 paper Towards a Roadmap on Software Engineering for Responsible AI won the ACM Distinguished Paper Award, highlighting its impact. She has received numerous honors, including: 2023 APAC Women in AI Trailblazer Award IEEE HITC Mid Career Award (2023) Julius Career Award (CSIRO, 2021–2025) Multiple ACM SIGSOFT Distinguished Paper Awards IEEE Transactions on AI Outstanding Associate Editor (2024) Dr Lu actively contributes to the academic community as Associate Editor for IEEE Transactions on Artificial Intelligence , Engineering Applications of AI , and other journals. She serves as Area Chair for ICSE’26, Program Chair for AIware’25 and CAIN’25, and has reviewed for top conferences including NeurIPS, ICML, and IJCAI. She leads a vibrant research group focused on Agent Engineering and AI Safety, driving innovation in architecture design, evaluation, compliance, and supply chain security for AI systems.

Timothy M. Jonesمشاهده پروفایل

استاد

• Computer Architecture
• Compilers
• Microarchitecture
• +۵ مورد دیگر

Timothy M. Jones is a Professor of Computer Architecture and Compilation at the University of Cambridge's Computer Laboratory, serving as Director of the Computer Architecture and Semiconductor Design Centre (CASCADE) and Fellow/Director of Studies at Gonville and Caius College. His research focuses on parallelism extraction in applications to enhance performance and address energy efficiency/reliability challenges in compilers, binary translators, and microarchitectures. Current work includes novel cache prefetching techniques, thread-level parallelism schemes, and advanced core prediction methods. He has an Erdős number of 4 and a Dijkstra number of 4 via collaborative networks. Research interests span computer architecture fundamentals, compiler optimizations, hardware security mechanisms, and fault tolerance strategies. Notable contributions include speculative vectorization, heterogeneous parallel error detection (MEEK/FireGuard), and security tools like MarkUs and MineSweeper. CASCADE oversees interdisciplinary projects addressing future microprocessor/system challenges. Jones supervises PhD students through CASCADE's 2025 intake program. Publications emphasize architectural innovations in memory systems, security, and energy efficiency. Key works include MASCOT (memory dependence prediction), Scalar Vector Runahead (2024), and Decoupled Vector Runahead (2023). His work integrates hardware-software co-design principles to tackle real-world processor bottlenecks.

Ahmed Elbeltagiمشاهده پروفایل

استادیار

• Hydrology
• Agricultural Water Management
• Climate Change Adaptation
• +۶ مورد دیگر

Ahmed Elbeltagi is an Assistant Professor in the Agricultural Engineering Department at Mansoura University's Faculty of Agriculture. His work focuses on hydrology, agricultural water management, and climate change adaptation. Specializes in data-driven modeling for water resource optimization Integrates machine learning with traditional hydrological models Active in climate change impact assessments on agricultural systems Recent research trends include: Developing open-source tools like Aqua-MC for irrigation simulation Applying hybrid deep learning models for evaporation prediction Advancing water quality assessment through multivariate analysis Exploring economic applications of wetlands in arid regions He collaborates with institutions across Egypt, India, China, and Saudi Arabia, with a focus on sustainable water management solutions.

• Analysis of Timing Properties
• Dependable Systems
• Cyber-Physical Systems
• +۹ مورد دیگر

Dr Kun Wei is a Lecturer in Computer Science at the University of the West of England (UWE), joining in 2015. Previously, he worked as a Research Associate at the University of York, focusing on timing properties of complex systems and formal development of safety-critical applications. His research spans formal verification, security protocols, concurrent programming, and model-checking tools. BSc in Computer Science MSc in Internet Computing PhD in Computer Science from the University of Surrey His expertise includes the analysis of timing properties in social-technical systems and cyber-physical systems using the timebands model, as well as formal verification of security protocols. He specializes in object-oriented software development , concurrent programming , and semantics of programming languages , with applications in safety-critical and dependable systems . His work integrates theorem-proving and model-checking tools for system development and verification.

• Embedded Systems
• Artificial Neural Networks
• Signal Processing
• +۳ مورد دیگر

Magdalena Szymczyk is a Lecturer in the Department of Biocybernetics and Biomedical Engineering at AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering. Her work bridges embedded systems, biomedical signal processing, and geophysical data analysis. Research focuses on energy-efficient sensor networks, neural networks for GPR data classification, and mathematical transforms in signal analysis Expertise in parallel computing, real-time systems, and biomedical engineering applications Her publications (2015–2025) demonstrate a trajectory from parallel neural networks and S-transform/GPR methodologies to recent work on MicroPython in embedded systems. Key themes include energy optimization in distributed architectures and AI-driven signal processing across biomedical and geophysical domains. She has authored works on deterministic chaos in simulations, GPU image processing, and cybersecurity in microcontroller systems. Her current research emphasizes embedded systems security, medical signal diagnostics, and computational methods for geological analysis. She utilizes tools like OpenCL for GPU acceleration and MATLAB for parallel computing implementations.

Soumaya Cherkaouiمشاهده پروفایل

استاد

• Artificial Intelligence
• Telecommunications Networks
• Quantum Computing
• +۶ مورد دیگر

Soumaya Cherkaoui is a Full Professor in the Department of Computer Engineering and Software Engineering at Polytechnique Montréal. Previously, she served as a Full Professor at Université de Sherbrooke and held industrial roles as an aerospace project manager. Her research integrates artificial intelligence with telecommunications, focusing on quantum computing, frugal edge intelligence, and applications in connected vehicles and IoT. Current Position: Full Professor, Polytechnique Montréal Prior Academic Role: Full Professor, Université de Sherbrooke Industry Experience: Aerospace Project Manager Research Interests: Convergence of AI and communications, quantum computing for networking, frugal intelligence at the edge, and applications in autonomous vehicles, industrial IoT, and smart grids. She leads government and industry-funded projects, including a $6 million quantum initiative in 2025. Recent Publication Trends: Her 2025–2024 work emphasizes quantum-enhanced anomaly detection (via QGANs), Open RAN slicing with quantum optimization, and reinforcement learning for secure cognitive radio networks. Topics span 5G/6G, vehicular networks, and zero-trust architectures. Scientific Awards: IEEE Communication Society Distinguished Lecturer (2020) ACM Mirela Notare Award (2023) IEEE Bio-Inspired Computing STC Leadership Award (2023) N2Women: Stars in Networking and Communications (2023) Best Paper Awards at IEEE ICC 2017, IEEE LCN 2021, ICCSPA 2024 Advising and Grants: Supervised 3 Master's students in 2024, with research on quantum GANs and federated learning for vehicular networks. Secured grants like the $6 million quantum project (2025) and participated in CFI-QC government funding (2022). Editorial and Leadership: Served as Associate Editor for IEEE, Wiley, and Elsevier journals. Chaired conferences like IEEE LCN 2019 and IEEE ICC2025, and held leadership roles in IEEE Communications Society committees.

Jonathan Andrew Crowcroftمشاهده پروفایل

استاد

• Computer Networks
• Distributed Systems
• Opportunistic Communications
• +۷ مورد دیگر

Jon Crowcroft is the Marconi Professor of Communications Systems in the Department of Computer Science and Technology at the University of Cambridge, and serves as the Chair of the Programme Committee at the Alan Turing Institute. He is also a Fellow of Wolfson College, Cambridge, and a visiting professor at the Department of Computing at Imperial College London. With a career spanning over three decades in computer networking research, Professor Crowcroft has made seminal contributions to the development of the Internet and continues to be highly active in cutting-edge research areas. His educational background includes: BA in Physics from Trinity College, University of Cambridge (1979) MSc in Computing from University College London (1981) PhD from University College London (1993) Professor Crowcroft's research spans multiple domains in computer networking and distributed systems. He has worked in Internet support for multimedia communications for over 30 years, with three main focus areas: scalable multicast routing, practical approaches to traffic management, and the design of deployable end-to-end protocols. His current research focuses on opportunistic communications, social networks, and techniques to scale infrastructure-free mobile systems. He is particularly known for his 'build and learn' paradigm for research and has recently been exploring decentralized digital identification systems, smart cities, and edge computing. His work often bridges theoretical foundations with practical implementations, emphasizing privacy-preserving approaches and sustainable network architectures. Professor Crowcroft has received numerous prestigious awards recognizing his contributions to the field, including: Election as Fellow of the Royal Society (2013) ACM SIGCOMM Award (2009) ACM Fellow (2002) Fellow of the Royal Academy of Engineering IEEE Fellow (2004) Chartered Fellow of the British Computer Society Throughout his career, Professor Crowcroft has advised numerous PhD students, including Mark Handley and Pan Hui, who have themselves become influential researchers in the networking community. He has authored several influential books that have been adopted internationally in academic courses, such as 'TCP/IP & Linux Protocol Implementation,' 'Internetworking Multimedia,' and 'Open Distributed Systems.' His research has been supported by various grants and collaborations with both academic institutions and industry partners, contributing to successful startup projects and influencing Internet standards. Professor Crowcroft is actively involved in several research initiatives, including serving on the Scientific Council of IMDEA Networks Institute since 2007 and the advisory board of the Max Planck Institute for Software Systems. He is also a director of the Matrix Foundation, which develops open network protocols. His current research group focuses on privacy-preserving analytics, decentralized systems, and the future of Internet architecture.

Dmitriy Traytelمشاهده پروفایل

دانشیار

• Logic
• Automata Theory
• Runtime Verification
• +۷ مورد دیگر

Dmitriy Traytel is an Associate Professor at the University of Copenhagen's Department of Computer Science since August 2020, where he currently heads the Software, Data, People & Society (SDPS) section. Prior to this position, he worked as a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. He completed his PhD at TU München under Tobias Nipkow's supervision in 2015. His research focuses on formal methods, particularly logic, automata theory, runtime verification and monitoring, decision procedures, (co)induction and (co)recursion, and interactive theorem proving. Traytel develops formally verified tools for runtime monitoring including VeriMon, TimelyMon, and WhyMon, emphasizing correctness and efficiency in monitoring complex temporal properties. His recent publications (2021-2025) demonstrate a strong focus on first-order temporal logic monitoring, with particular attention to explainable verdicts, scalable parallel implementations, and formal verification of monitoring algorithms. The work spans theoretical foundations in logic and category theory while maintaining practical applications in runtime verification systems. Distinguished Paper Award at POPL 2025 for 'Barendregt Convenes with Knaster and Tarski' Best Student Paper Award at FSCD 2016 Distinguished Paper Award at ATVA 2018 Traytel has supervised numerous PhD, Master's, and Bachelor's students in areas spanning formal verification, runtime monitoring, and theorem proving. His research has been supported through collaborations with major institutions including ETH Zürich and TU München. He actively contributes to the academic community by serving on program committees for major conferences including ITP 2025 and RV 2025. He leads the Software, Data, People & Society section at the University of Copenhagen, focusing on developing formally verified tools for runtime verification that bridge theoretical computer science with practical applications in security and system monitoring.

• computer security
• formal methods
• program logics
• +۳ مورد دیگر

Mads Dam is a Professor in Teleinformatics at the School of Computer Science and Communication at Kungliga Tekniska Högskolan (KTH), where he heads the Department of Theoretical Computer Science. His research focuses on computer security, formal methods, and program logics, with particular emphasis on the formal modeling and verification of low-level hardware and software execution platforms for security and application isolation. His educational background includes: PhD in Computer Science from the University of Edinburgh (1990) MSc in Computer Engineering from Aalborg University, Denmark BSc in Information Technology from Aalborg University, Denmark Mads Dam's research interests center on computer security, formal methods, and program logics. His current work focuses on the formal modeling and verification of low-level hardware and software execution platforms such as hypervisors and OS kernels and their underlying hardware. He has made significant contributions to information flow security, verification of microarchitectural systems, and network programming language security. His research bridges theoretical foundations with practical security applications. His recent publications show a strong trend toward verifying low-level systems, with a focus on information flow security for processors, network programming languages (particularly P4), and microarchitectural vulnerabilities. His work combines formal methods with practical security concerns, developing verification techniques that address real-world security challenges in hardware and software systems. The research spans theoretical foundations in temporal and epistemic logics to practical applications in network security and processor verification. His scientific awards and recognition include: Two framework grants from the Swedish Foundation for Strategic Research A junior individual grant from the Swedish Foundation for Strategic Research Project grants and a five-year research fellowship from the Swedish Research Council (VR) Project grants from Ericsson, Microsoft Research, US Air Force, and Vinnova (the Swedish Innovation Agency) Mads Dam has been a principal investigator on numerous research projects and has supervised many graduate students. He has been a partner in several European projects including HATS, S3MS, VerifiCard, LOMAPS, and UaESMC. His research has been supported by substantial grants from major funding bodies, reflecting the significance and impact of his work in computer security and formal methods. He is a founding member of several research centers at KTH, including Access, the CASTOR software research center, and the CDIS center for cyber defense and information security. These centers bring together researchers from multiple disciplines to address complex challenges in cybersecurity and software engineering.

Mohammad Iftekhar Husainمشاهده پروفایل

استاد

• Cyber Security
• Data Privacy in Social Networks
• Neurophysiology and Cyber Security
• +۷ مورد دیگر

Dr. Mohammad Iftekhar Husain is a Professor and Graduate Coordinator in the Department of Computer Science at California State Polytechnic University, Pomona (Cal Poly Pomona). He serves as the Inaugural Director of the PolySec Cyber Lab, a federally funded center for cyber security and forensics education, research, and outreach (~$2.5M in grants), and directs the university's Virtual Reality Lab. His career spans over a decade of leadership in cyber security program development, extramural funding, and academic governance. Education: B.S., Computer Science, Yamagata University (Japan) M.S. & Ph.D., Computer Science and Engineering, SUNY-Buffalo Dr. Husain's research focuses on data privacy in social networks, neurophysiological cyber security solutions, and blockchain applications. He has secured $18.4M in principal investigator grants, including NSF SFS, EAGER, and REU Site projects, and trained students placed in top institutions like UC campuses, MIT Lincoln Lab, and government agencies such as NSA and DHS. His work on brainwave authentication earned a US patent (USPTO 10,198,566) and media coverage in Time Magazine and PC Magazine . Scientific Awards: 2016 College of Science Distinguished Teaching Award Early Promotion and Tenure (2016) 2020 Faculty Learning Community for Leadership Pipeline Development Cohort As academic leader, he founded the Cal-Bridge CS Ph.D. pathway program for underrepresented students, chairs the CPP Academic Senate Academic Programs committee, and led university IT initiatives including Cyber Security Cluster Hiring and High-Performance Computing Lab development.

• Secure Computing
• Hardware/Software Co-Design
• Machine Learning
• +۶ مورد دیگر

Farinaz Koushanfar is a Professor in the Department of Electrical and Computer Engineering at the Jacobs School of Engineering, University of California San Diego (UCSD) . She holds the Siavouche Nemat-Nasser Endowed Chair and serves as Founding Co-Director of the Center for Machine-Intelligence, Computing and Security . Her affiliations include NSF Trust-Hub (Co-PI) and NSF TILOS AI Institute . She also serves on the Editorial Board of The Proceedings of the IEEE . Research Focus: Prof. Koushanfar leads research in secure and efficient computing , including robust/safe AI , hardware/system security , AI-based optimization , and cryptographically secure privacy-preserving computing . Her work pioneered logic obfuscation/locking for chip security, automated co-design of AI systems , watermarking/tracing of deep learning models , and physical proofs of provenance . She explores co-design with cryptographic constructs for privacy preservation and manages nonlinearities in ciphertext domains. Article Trends: Recent publications show expertise in neural watermarking (deepfakes, media authentication), zero-knowledge proof frameworks , Trojan attack defenses in ML models, secure federated learning , and hardware acceleration of cryptographic protocols . Her work combines machine learning , cryptography , and physical design security across 2022-2025 publications. Scientific Awards: Fellow of ACM Fellow of IEEE Fellow of National Academy of Inventors (NAI) Fellow of Kavli Foundation of NAS Inducted to NAI 2024 Fellows Advising & Leadership: She has advised multiple PhD students who became faculty at top universities (e.g., Stanford, Purdue). She chairs conferences like ACM WiSec 2024 and co-led the NSF SaTC decadal review. Her lab ( ACES Lab ) produces award-winning graduates like Bita Rouhani (DAC Under-40 Innovators) and Shehzeen Hussain (UCSD Best Dissertation Award).

Mark Battyمشاهده پروفایل

استاد

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

Mark Batty is a Professor in the School of Computing at the University of Kent, specializing in formal methods for concurrent systems. His work bridges hardware-software interfaces, focusing on memory models for C/C++, OpenCL, and architectures including x86, ARM, POWER, and GPUs. As a member of the Programming Languages and Systems Research Group, he develops mathematical specifications and verification tools for real-world concurrency challenges. His research centers on empirical testing of hardware/compiler behavior, formal modeling of system components, and verification of fine-grained concurrent algorithms. Key contributions address relaxed memory semantics, transactional memory, and compositional reasoning for concurrent data structures. His work combines theoretical rigor with practical tool development to ensure correctness in complex concurrent environments. Analysis of his 2015-2025 publications reveals consistent focus on memory consistency models, formal verification of weak memory concurrency, and compiler optimizations. Dominant themes include C/C++11 standards, GPU concurrency semantics, and mechanized verification techniques. His research demonstrates strong industry relevance through collaborations with hardware vendors and contributions to language standards. Mark Batty has received significant recognition: John C. Reynolds Doctoral Dissertation Award (2015) from ACM SIGPLAN CPHC and BCS Distinguished Dissertation Award (2015) Lloyds Register Foundation and Royal Academy of Engineering Research Fellowship (2016) He actively leads major research initiatives and mentors next-generation researchers: Current Funding: EPSRC Standard Grant 'Verifiably Correct transactional memory' (2018), VeTTS Grant 'Specification and verification of C++ data structure libraries' (2018), EPSRC First Grant 'Compositional, dependency-aware C++ concurrency' (2018) PhD Recruitment: Actively seeking candidates for UKRI-funded studentship in Verified Trustworthy Software Systems Batty drives community engagement through Kent Concurrency Workshop (2016) and South of England Programming Language Seminars, fostering national collaboration in programming languages research. His leadership in organizing Royal Society discussions underscores his influence in trustworthy systems verification.

Saikat Duttaمشاهده پروفایل

استادیار

• Software Engineering
• Machine Learning
• Artificial Intelligence
• +۵ مورد دیگر

Saikat Dutta is an Assistant Professor in the Department of Computer Science at Cornell University. He is affiliated with the Software Engineering Group and focuses on the intersection of Software Engineering and Machine Learning . His work aims to enhance the reliability of ML-based systems while applying ML techniques to solve software engineering challenges. PhD in Computer Science from University of Illinois Urbana-Champaign (Summer 2023) Postdoctoral Researcher at University of Pennsylvania Bachelor's in Computer Science and Engineering from Jadavpur University Research Interests: Dr. Dutta's research spans several key areas: Automated test generation and debugging for ML/DL libraries Using AI/ML for automated software engineering tasks Improving performance of regression tests in ML libraries Static and dynamic analysis for probabilistic programming Article Trends: His recent publications emphasize: Automated testing of ML systems Security vulnerability detection using LLMs Probabilistic program analysis Neurosymbolic learning frameworks Flaky test management in stochastic environments Stochastic regression test optimization Scientific Awards: Meta AI LLM Evaluation Research Grant (2025) Mavis Future Faculty Fellowship (2022-23) Facebook PhD Fellowship (2020-22) 3M Foundation Fellowship (2019-2020) Advising & Grants: Dr. Dutta actively recruits PhD students and postdocs. He leads research projects supported by grants from Meta AI and participates in program committees for top conferences like ICSE and ISSTA. His lab focuses on neurosymbolic systems and ML-based software verification.

• Artificial Intelligence
• Machine Learning
• Deep Learning
• +۵ مورد دیگر

Goran Oreški is an Associate Professor and Head of the Laboratory at the Faculty of Informatics in Pula (University Jurja Dobrile, Croatia), where he has been employed since 2019. He teaches courses on databases, object-oriented programming, data warehousing, and artificial intelligence at both undergraduate and graduate levels. Education: Ph.D. in Informatics (2016), Faculty of Organization and Informatics Industry Experience: 9 years as software architect and programmer in banking sector Research Focus: Artificial Intelligence systems, classical machine learning algorithms, and deep learning architectures. His work bridges theoretical advancements with practical applications in autonomous vehicles, traffic monitoring, and financial risk assessment. Recent Publication Trends: 2023-2025 works emphasize generative AI for synthetic credit data, traffic object segmentation with monocular cameras, and context-aware detection models (YOLO*C). Earlier works focus on genetic algorithms and ensemble learning for imbalanced datasets. Awards: Google RFP Award for autonomous vehicle research Highly Cited Paper (Web of Science, top 1%) Best Paper at CECIIS conference Leadership: Director of FIPU Laboratory since 2022, leading projects like ai.Shuttle (autonomous mini-bus) and CenAI (industry collaboration with Cenosco).

Hailiang Chenمشاهده پروفایل

استاد

• Artificial Intelligence
• FinTech
• Social Media
• +۸ مورد دیگر

Hailiang Chen serves as Professor in Innovation and Information Management, Assistant Dean (Taught Postgraduate), and Director of the Artificial Intelligence Research Institute at HKU Business School, The University of Hong Kong. His academic journey includes a PhD and MS from Purdue University and a BM from Tsinghua University. Doctoral Degree: Management Information Systems, Purdue University Master Degree: Economics, Purdue University Bachelor Degree: Information Management and Information Systems, Tsinghua University Professor Chen's research spans artificial intelligence, FinTech, social media analytics, and platform economics, with significant contributions to understanding how digital interactions shape financial markets and consumer behavior. His work frequently examines the intersection of technology adoption and economic outcomes, particularly in cryptocurrency markets, live-stream commerce, and venture capital decision-making. His research methodology combines large-scale data analysis with experimental designs to uncover causal relationships in digital ecosystems. His publications in elite journals like Journal of Financial Economics and Management Science demonstrate consistent impact, with multiple ESI Highly Cited Papers. Current projects include Gov-RAG for e-government services and comparative studies of AI search tools. His research has received continuous funding from Hong Kong's Research Grants Council for five consecutive years (2019-2023). Faculty Outstanding Researcher Award, HKU Business School (2022-23) INFORMS ISS Sandra A. Slaughter Early Career Award (2022) Association for Information Systems Early Career Award (2019) Three ESI Highly Cited Papers (Top 1% in field) Professor Chen actively contributes to academic service as Associate Editor for Journal of Management Information Systems and MIS Quarterly , and serves as Program Chair for the International Conference on Smart Finance. His industry collaborations include Alibaba, HSBC, and China Construction Bank, bridging academic research with real-world business applications in AI implementation and digital transformation.