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

Tianyi Zhangمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.

• Cybersecurity and Privacy
• Data Management and Data Science
• Distributed Computing and Systems Software

Professor Jun Zhang is a leading academic in cybersecurity at Swinburne University, Australia, where he directs the Cybersecurity Lab. He has been honored as Australia's top cybersecurity researcher and instrumental in establishing Swinburne as a globally recognized cybersecurity research institution. His work includes high-impact papers and multi-million-dollar R&D projects, culminating in awards like the 2021 'Top Cybersecurity Research Institution' accolade. As course director of the Bachelor of Cyber Security, he pioneered an industry-driven teaching model with Deloitte and CSIRO, significantly boosting course enrollment. His collaborations extend to Adobe's Curriculum Innovation Program and the Australian P-TECH initiative, promoting STEM education and cybersecurity awareness. He supervises doctoral candidates and leads grants focused on AI-driven cybersecurity, smart home security, and blockchain-based edge computing. His research spans vulnerability detection, GAN forensics, IoT security, and privacy preservation in OSNs. Research interests include cybersecurity fundamentals, data science applications, and distributed systems. Notable achievements include the PTFix framework for Java vulnerabilities, the IoTFuzz smart home testing system, and CTI mining methodologies. Awards reflect his mid-career research excellence and industry partnerships. His grants with CSIRO and defense organizations emphasize real-world impact, addressing challenges from malware detection to adversarial machine learning. The Cybersecurity Lab and collaborative projects like Artchain demonstrate his commitment to bridging academia and industry. Professional activities include supervising over 20 HDR students and securing grants totaling millions. His work on blockchain-based edge storage (CSEdge) and SDCCP congestion control highlights innovation in networking. Future directions include advancing AI for design collaboration with CSIRO and enhancing privacy in smart energy technologies. His contributions span technical, educational, and community outreach domains, positioning him as a pivotal figure in cybersecurity's evolution.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

Todd Millsteinمشاهده پروفایل

استاد

• Software Reliability
• Network Verification
• Programming Languages
• +۵ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

Derek Keirمشاهده پروفایل

دانشیار

• Earth Science
• Structural Geology
• Tectonics
• +۵ مورد دیگر

Dr. Derek Keir is an Associate Professor in Earth Science within the Ocean and Earth Science department at the University of Southampton. He specializes in passive seismology, remote sensing, geochemistry, and field geology to study earthquakes and volcanoes in Africa, Arabia, the Caribbean, and Italy. He leads the Geology and Geophysics research group and serves as Chief Editor of the Structural Geology and Tectonics section in Frontiers in Earth Science , and holds editorial roles in Volcanology and Structural Geology. Education: MSci Geology and Geophysics (Imperial College London, 1998-2002), PhD in Tectonics and Seismology (Royal Holloway University of London, 2002-2006). Previous roles include NERC Research Fellow (University of Leeds, 2007-2011) and Lecturer (University of Southampton, 2011-2015). Research focuses on continental rifting, magmatic systems, and geothermal resources. Notable projects include the South Tanganyika Active Rift Seismicity study (sponsored by Beach Energy) and investigations into the lithospheric structure of the Ontong Java Plateau (NERC-funded). His work combines seismology, InSAR, and geochemical analyses to understand tectonic processes. Publications highlight contributions to understanding volcanic subsidence (Dallol), rift-scale magmatic inflation in Afar, and seismic hazard in the Apennines. Awards include the 2024 Nature Paper (Coevolution of craton margins), Jason Morgan Early Career Award (2011), and Bullerwell Award (2013). Supervises PhD students in INSPIRE programs and collaborates on international projects like the Afar Dallol Drilling initiative. His research bridges field observations with advanced geophysical modeling to advance continental dynamics understanding.

Jacob Krügerمشاهده پروفایل

استادیار

• Software Engineering
• Software Evolution
• Variant-Rich Systems
• +۵ مورد دیگر

Jacob Krüger is an Assistant Professor at Eindhoven University of Technology , specializing in the development and evolution of variant-rich software systems. He holds a PhD from Otto-von-Guericke University Magdeburg (2021) and has held academic and research positions at institutions including Ruhr-University Bochum, Chalmers University of Technology, and the University of Toronto. His research focuses on the interplay between human cognition and software quality, particularly in complex systems requiring frequent adaptation. Education: PhD in Computer Science, Otto-von-Guericke University Magdeburg (2021) MSc Business Informatics, Otto-von-Guericke University Magdeburg (2016) Research Interests: Variant-Rich Systems Program Comprehension Software Product Lines Human Factors in Software Engineering Architecture Smells and Quality Assurance Articles Trends: Recent work emphasizes fork ecosystem visualization (VisFork tool), the impact of AI on scientific practices, and crisis-driven software development (e.g., Corona-Warn-App). Key themes include empirical studies, tool development, and industry collaboration. Awards: Best Dissertation Award (2022) Frank Anger Memorial Award (2019) Multiple conference best-paper and review awards Advising & Grants: Supervises 12+ PhD students across multiple institutions. Active in funding projects like INKleSS (German Research Foundation) and FOSD Meeting 2024 (NWO). Leads collaborations with ASML, Danfoss, and Axis AB. Labs/Teams: Member of the Software Engineering and Technology (SET) group at TU Eindhoven, focusing on industrial-strength software systems and cognitive aspects of development.

Zhendong Suمشاهده پروفایل

استاد

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

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

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

مدرس

• Biomedical Imaging
• Image Processing
• Deep Learning Applications
• +۵ مورد دیگر

Daniel Sage is a Lecturer and Scientific Advisor at École polytechnique fédérale de Lausanne (EPFL) , affiliated with the Biomedical Imaging Laboratory (LIB) under the College of Engineering (STI) and School of Life Sciences (SV) . He specializes in bioimage informatics , structured-illumination microscopy , and deep learning applications for biomedical imaging. His work spans algorithm development for single-molecule localization microscopy (SMLM) , fluorescence imaging , and 3D reconstruction . His research group has developed open-source tools like FlexSIM for light inhomogeneity correction, DeepImageJ for integrating deep learning in ImageJ, and Steer'n'Detect for orientation-accurate template detection. His publications focus on correcting multiple-blinking artifacts in PALM, optimal transport metrics for SMLM evaluation, and contextual feature analysis for xenograft cell classification. He mentors PhD students and contributes to interdisciplinary education through courses such as Bioimage Informatics and Fundamentals of Image Analysis , emphasizing practical software solutions and Java programming for bioimage processing. His collaborations include institutions like Howard Hughes Medical Institute and Centre National de la Recherche Scientifique (CNRS) .

Laurie Williamsمشاهده پروفایل

استاد

• Software Security
• Agile Software Development
• Software Supply Chain Security
• +۴ مورد دیگر

Laurie Williams serves as a Goodnight Distinguished University Professor in the Computer Science Department within the College of Engineering at North Carolina State University. She co-directs both the NCSU Secure Computing Institute and the NC State Science of Security Lablet, demonstrating deep institutional leadership in cybersecurity research. With over 260 refereed publications, her work establishes her as a prominent figure in software security academia. Her research spans critical areas including software security, agile development practices (particularly continuous deployment), software reliability, and software supply chain security. Williams focuses on practical security solutions addressing modern challenges like malicious dependencies in open-source ecosystems, AI-generated code vulnerabilities, and runtime protection mechanisms. Her work bridges theoretical security principles with industry-relevant applications. Recent publications reveal strong trends toward software supply chain security, with multiple 2024-2025 papers addressing vulnerability exploitability, malicious commit detection, and metrics-driven security control selection. Her research increasingly incorporates machine learning for threat detection while maintaining focus on human factors in secure development practices. IEEE Fellow (2018) National Science Foundation CAREER Award (2004) ACM SIGSOFT Influential Educator Award (2009) Multiple IBM Faculty Awards (2002-2012) NCSU Alumni Association Outstanding Research Award (2015-2016) Williams leads multiple major NSF-funded projects including the $5.7M SaTC Frontiers grant on secure software supply chains and the Science of Security Lablet with $3.6M in DoD funding. Her research emphasizes practical industry impact through collaborations with Cisco and Laboratory for Analytic Sciences. She actively mentors through the NCSU Research Leadership Academy and maintains significant educational outreach in software security. Her laboratory work centers on the Secure Computing Institute and Science of Security Lablet, where her team develops frameworks for vulnerability prediction, supply chain risk assessment, and secure development methodologies. Current projects focus on machine learning integrity, cognitive modeling for security decisions, and empirical analysis of build/deployment logs for anomaly detection.

Julian Millieمشاهده پروفایل

استاد

• Anthropology of Indonesia
• Islamic Culture and Society
• Religion and Politics
• +۷ مورد دیگر

Julian Millie is a Professor in Indonesian Studies at Monash University, Faculty of Arts, where he coordinates and teaches in the Indonesian Studies program. His academic work bridges anthropology, religious studies, and Southeast Asian studies, with a focus on the social and political dimensions of Islamic practice in Indonesia. His research centers on embodied Islamic routines, including preaching, ritual, and commemoration of regional Islamic figures. He has led major ARC-funded projects such as Preaching Islam: politics, performers and publics and Glocalisation and sub-national Islams , and currently leads the international project Islamic Bureaucracies and Pious Publics in Turkey and Indonesia . Anthropology of Indonesia Islamic Culture and Society Ritual and Religion Public Islam and Preaching Social Change in Muslim Societies Political Anthropology His recent publications (2023–2024) reveal a continued focus on Islamic consumerism, reformist critiques of consumption, ritual embodiment, and the politics of Islamic education. These works span journals like Asian Studies Review and edited volumes on preaching and Malay-Indonesian Islamic studies, showing strong interdisciplinary reach into sociology, cultural studies, and education policy. Julian Millie has contributed to scholarly discourse through editorial roles, including guest editorships for Asian Studies Review (2023) and International Journal of Cultural Studies (2013). His media engagements highlight his commitment to public anthropology, commenting on the state of Indonesian studies in Australia and Islamic education policy. He is actively involved in research grants, including current funding from 2020 to 2025, and has collaborated with scholars across Australia, Indonesia, and Turkey. While no formal advisees are listed, his leadership in research projects suggests mentorship and team coordination. He is a central figure in the study of contemporary Indonesian Islam, contributing to both academic and public understanding.

Radu Jianuمشاهده پروفایل

مدرس

• Data Visualisation
• Visual Analytics
• Human Computer Interaction
• +۷ مورد دیگر

Dr. Radu Jianu is a Lecturer in the Department of Computer Science at City, University of London , where he has been a faculty member since 2016. He is affiliated with the giCentre , a leading research group in information visualization. He earned his PhD and MSc in Computer Science from Brown University, USA, and a Diploma in Engineering from the Polytechnic University of Timisoara, Romania. His academic career includes a previous role as Assistant Professor at Florida International University (2012–2016). His research focuses on Data Visualisation, Visual Analytics, and Human-Computer Interaction . He conducts interdisciplinary collaborations with domains such as biology, food policy, and energy decarbonisation, aiming to develop interactive visual tools that enhance data understanding and decision-making. His methodological approach includes user studies, eye-tracking, and the design of novel visualization techniques. Dr. Jianu teaches Programming in Java and Cognition and Technologies , and he coordinates the Programming Bootcamp. He also holds administrative responsibilities as the Progression and Support Director in the Computer Science Department and is a member of its Executive Committee (ExCo). His recent publications reflect a growing interest in LLM-assisted visual analytics, gaze-aware systems, and collaborative human-AI analytical frameworks . He has published in top venues such as IEEE TVCG, CHI, EuroVis, and Nature Immunology, with several best paper awards. His work on the RAMPVIS project highlights his contributions to visualization in public health emergencies. Scientific Awards: Best Paper Award, Symposium on Graph Drawing (2018) Best Short Paper Award, EuroVis (2020) Advising and Grants: Dr. Jianu supervises multiple PhD and MSc students, including Dany Laksono (Energy Decarbonisation) and Maeve Hutchinson (NLP-mediated Visualization). His students have co-authored high-impact, award-winning papers. He has been involved in funded research initiatives such as RAMPVIS, which received support from UKRI/EPSRC for developing visual analytics infrastructure during the COVID-19 pandemic. Labs and Teams: He is an active member of the giCentre at City, University of London, a hub for visualization research. He also collaborates with interdisciplinary teams in epidemiology, immunology, and computer science, contributing to large-scale projects like the Immunological Genome Project and RAMPVIS.

• Formal Methods
• Software Engineering
• Program Verification
• +۷ مورد دیگر

Carlo A. Furia is an Associate Professor at the Software Institute within the Faculty of Informatics at Università della Svizzera italiana (USI). He leads the ATOM research group and is actively involved in advancing formal methods in software engineering. His work bridges theoretical rigor with practical applicability, particularly in verification, automated repair, and empirical analysis of software systems. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research focuses on making formal methods practical through automation, combining diverse techniques, and conducting thorough empirical evaluations. He is particularly interested in using Bayesian data analysis to assess software engineering data. His work spans program verification (e.g., AutoProof), contract inference, API usability, and multilingual program analysis. His recent publications highlight trends in automated program repair, JVM bytecode analysis, Android security, and empirical methodologies. These works reflect a consistent emphasis on correctness, reliability, and empirical validation in software development. Scientific service includes: Associate Editor, Empirical Software Engineering (EMSE) journal Program Committee member, FM 2026, FormaliSE 2026, ASE 2025, iFM 2025 He has advised students and leads the ATOM group, which develops tools for software analysis. He teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. Current research directions include improving empirical evaluation rigor and enhancing verification at lower code levels like bytecode.

Muhammad Asaduzzamanمشاهده پروفایل

استادیار

• Software Engineering
• Mining Software Repositories
• Empirical Software Engineering
• +۲ مورد دیگر

Muhammad Asaduzzaman is an Assistant Professor in the School of Computer Science within the Faculty of Science at the University of Windsor. His research focuses on software engineering, particularly software maintenance, mining software repositories, and recommendation systems for developers. Research interests span empirical studies of software artifacts, API usage analysis, and improving developer productivity through tools like COSTER for API element identification. Recent work examines dependency management in Maven ecosystems and AI-assisted code completion. Publications show consistent focus on analyzing developer activities through platforms like Stack Overflow and GitHub. Current investigations include LLM applications for code synthesis and technical debt impact analysis.

• Robotics
• Human-Robot Interaction
• Machine Learning
• +۷ مورد دیگر

Christian Smith is an Associate Professor and Lecturer at the Department of Robotics, Perception and Learning at Kungliga Tekniska Högskolan (KTH Royal Institute of Technology). His research focuses on robotics and applications in human-centered environments like home environments, small workshops, and healthcare facilities, including the development of new robotic systems for research. Teaching Roles: Course Coordinator/Teacher/Examiner for courses such as Introduction to Robotics (DD2410), Research Project in Robotics (DD2411), and Java Programming for Python Programmers (DD1380) Research Themes: Human-Robot Interaction, Behavior Trees, Exoskeletons, Intent Recognition, and Multimodal Perception Awards: No specific scientific awards mentioned in the provided text His KTH profile highlights work on adaptive robotics systems and formalized control strategies. The research portfolio spans from theoretical studies on behavior tree programming to applied work in assistive technologies and teleoperation systems.

• Virtualization
• Operating Systems
• Concurrency
• +۴ مورد دیگر

Gaël Thomas is a Senior Researcher at Inria Saclay and a part-time Professor at École Polytechnique. He leads the Benagil team, a joint initiative between Inria and Telecom SudParis/IP Paris. His research focuses on virtualization, operating systems, concurrency, and runtime systems, with an emphasis on improving system performance and safety. He holds a PhD and Habilitation from Sorbonne Université and has extensive academic experience, including roles as a Professor at Telecom SudParis (2014–2023) and an Associate Professor at UPMC (2006–2014). Education: PhD in Computer Science, 2005, UPMC Sorbonne Université Habilitation à Diriger les Recherches (HDR), 2012, UPMC Sorbonne Université MSc in Computer Science, 2001, MIAIF Program Research Interests: Gaël’s work spans virtualization techniques, NUMA architecture optimization, garbage collection scalability, lock-free algorithms, and persistent memory systems. He has pioneered solutions like J-NVM for Java NVMM and NumaGiC for big data systems. Grants & Awards: Principal Investigator of DiVA (PEPR Cloud, 868k€) and Maplurinum (ANR PRC, 184k€) Contributions to VMKit and infra-web-cours development Labs/Teams: Benagil Team (Inria/Telecom SudParis) focuses on systems and runtime optimization.