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

Francesca Stradoliniمشاهده پروفایل

مدرس

• Bioelectronics
• IoT for Medical Monitoring
• Anesthesia Delivery Systems
• +۳ مورد دیگر

Francesca Stradolini is a Lecturer at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Electrical Engineering Doctoral School (EDEE). She holds a PhD in Electrical Engineering from EPFL (2018), with prior education in Bio Engineering and Neuroscience from the University of Genoa (2012, 2015). Her current work focuses on R&D engineering for medical devices, emphasizing system lifecycle management, human factors engineering, and compliance with CE/FDA regulations. As an invited guest, she contributes to usability engineering education and interdisciplinary research at EPFL. PhD: IoT Bio-Electronic Multi-Panel Device for On-line Monitoring of Anaesthesia Delivery (EPFL, 2018) MSc: Bio Engineering (University of Genoa, 2015) BSc: Bio Engineering (University of Genoa, 2012) Her research spans bioelectronics, IoT-enabled medical monitoring, and electrochemical sensor development for clinical applications. Key areas include anesthesia delivery systems, wearable diagnostics, implantable devices, and human factors engineering. Her work integrates fluidic systems, noble metal nanostructures, and open-source hardware (e.g., Raspberry Pi) to address challenges in traceability, fouling mitigation, and pharmacokinetic modeling. Scientific recognition includes the Ville de Lausanne Award (2019) , EPFL Outstanding PhD Thesis Distinction (2018) , and a Best Paper Award at MOBIHEALTH (2016) . She has published extensively in journals like IEEE TBIOCAS, Sensors and Actuators B, and IEEE Sensors Journal, with collaborative studies on propofol monitoring, carbon nanoallotrope drug detection, and implantable sensor validation. Her technical expertise includes managing medical device development lifecycles, designing IoT architectures for intensive care, and optimizing electrochemical sensors for stability in undiluted biological fluids. She has contributed to conferences such as IEEE BioCAS, ISCAS, and MOBIHEALTH, focusing on translational studies in personalized medicine and 3D-printed medical systems.

Gail E. Kaiserمشاهده پروفایل

استاد

• Software Engineering
• Static and Dynamic Program Analysis
• Software Testing
• +۷ مورد دیگر

Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.

Grant Hoمشاهده پروفایل

استادیار

• Security and Privacy
• Machine Learning for Security
• Data Science
• +۳ مورد دیگر

Grant Ho is an Assistant Professor in the Computer Science Department at the University of Chicago. His research focuses on computer security, particularly at the intersection of data and security. Prior roles include a CSE Postdoctoral Fellowship at UC San Diego, a Visiting Researcher position at Corelight Labs, and a PhD in Computer Science from UC Berkeley (advised by Vern Paxson and David Wagner). He holds a B.S. in Computer Science from Stanford University. **Research Interests**: Enterprise security, AI/ML applications in security, large-scale threat analysis, and data-driven cybersecurity practices. His work spans detecting attacks (e.g., phishing, ransomware), improving security measures, and evaluating the efficacy of security policies. **Awards**: 2023 IEEE Euro S&P Best Paper Award, 2019 and 2017 USENIX Security Distinguished Papers, 2017 Internet Defense Prize, NSF and Facebook Fellowships, and the 2015 IEEE S&P Distinguished Practical Paper Award. **Advising & Teaching**: Current advisees include Aniket Anand (PhD), Christiana Marchese (PhD), and Robert Liu (B.S.). Taught courses include Introduction to Computer Security (CMSC 23200) and seminars on AI/ML and NLP in cybersecurity. Collaborates with industry partners like Barracuda Networks and Dropbox. **Labs & Teams**: Leads a research group focused on enterprise security challenges, emphasizing practical impact and interdisciplinary approaches.

Xinwen Fuمشاهده پروفایل

استاد

• Computer Security and Privacy
• IoT Security and Privacy
• Mobile Security
• +۷ مورد دیگر

Dr. Xinwen Fu is a Professor in the Miner School of Computer & Information Sciences at the University of Massachusetts Lowell, where he also serves as Director of the iSAFER Center. He received his Ph.D. in Computer Engineering from Texas A&M University (2005), M.S. in Electrical Engineering from University of Science and Technology of China (1998), and B.S. in Electrical Engineering from Xi'an Jiaotong University (1995). Research Interests Dr. Fu specializes in Computer Security and Privacy , with particular focus on IoT Security , Mobile Security , Network Security , and Digital Forensics . His research has been published in all four top computer security conferences: IEEE Symposium on Security and Privacy (S&P/Oakland), ACM Conference on Computer and Communications Security (CCS), USENIX Security Symposium, and Network and Distributed System Security Symposium (NDSS), as well as prestigious journals like ACM/IEEE Transactions on Networking and IEEE Transactions on Dependable and Secure Computing. His work has gained significant media attention from CNN, Wired, Huffington Post, Forbes, Yahoo, MIT Technology Review, and PC Magazine, including multiple appearances on CNN Domestic and International. He has also served as TPC member for numerous prestigious conferences including ACM CCS, IEEE INFOCOM, and IEEE ICDCS. Scientific Awards Best paper award at IEEE International Conference on Industrial Internet (ICII) 2019 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2017 Teaching Excellence Award of Department of Computer Science, UMass Lowell, 2016 Best paper award, International Performance Computing and Communications Conference (IPCCC) 2016 Award of Excellence, GeekPwn 2016 Ethic Smart Life Hack Competition Erich Spengler Student Cyber Paper Award with students, The Colloquium for Information Security Education (CISSE), 2016 Spotlight Paper of the IEEE Transactions on Mobile Computing (TMC), February 2014 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2013 Best paper award, IEEE International Conference on Communications (ICC): Communications and Information Security Symposium, 2013 Teaching award, Department of Computer Science, University of Massachusetts Lowell, 2011

Lorrie Faith Cranorمشاهده پروفایل

استاد

• Usable Privacy and Security
• Privacy Engineering
• Human-Computer Interaction
• +۱۸ مورد دیگر

Lorrie Faith Cranor is the Director and Bosch Distinguished Professor in Security and Privacy Technologies at the CyLab Security and Privacy Institute, and the FORE Systems University Professor of Computer Science and Engineering and Public Policy at Carnegie Mellon University. She also directs the CyLab Usable Privacy and Security Laboratory (CUPS) and co-directs the MSIT-Privacy Engineering master’s program. She previously served as Chief Technologist at the U.S. Federal Trade Commission and is a co-founder of Wombat Security Technologies. Carnegie Mellon University – CyLab Security and Privacy Institute School of Computer Science – Department of Computer Science College of Engineering – Department of Engineering and Public Policy PhD Program in Societal Computing Human-Computer Interaction Institute (affiliate) Heinz College (affiliate) Dr. Cranor’s research centers on usable privacy and security, privacy engineering, and technology policy. Her work spans authentication systems, privacy policies, IoT security, and human behavior in digital environments. She has pioneered research on password usability, privacy labels (e.g., 'nutrition labels' for privacy), and privacy decision-making. Her interdisciplinary approach integrates computer science, public policy, and behavioral science to create systems that are both secure and user-friendly. Her recent publications reflect a strong focus on privacy interfaces, consent mechanisms, IoT security labels, and user comprehension of digital privacy. Trends include evaluating the usability of privacy controls across platforms, designing tools for developers to generate accurate privacy disclosures, and understanding user behavior in online tracking and advertising contexts. Her work frequently appears in top venues such as CHI, SOUPS, and PETS. ACM CHI Academy inductee ACM Fellow IEEE Fellow 2018 ACM CHI Social Impact Award 2018 International Association of Privacy Professionals Privacy Leadership Award 2018 IEEE Cybersecurity Award for Practice Alumni Achievement Award, McKelvey School of Engineering Top 100 Innovator under 35, Technology Review Dr. Cranor has advised numerous PhD students in interdisciplinary programs including Societal Computing, Engineering and Public Policy, and Human-Computer Interaction. Her research has been supported by grants from the National Science Foundation, DARPA, and industry partners. She serves on the boards of the Computing Research Association, Center for Democracy and Technology, and Electronic Privacy Information Center. She is a frequent media commentator on privacy and security issues. She leads the CyLab Usable Privacy and Security Laboratory (CUPS), a multidisciplinary research group that includes faculty and students from computer science, policy, and HCI. The lab focuses on making privacy and security systems more intuitive, effective, and user-controlled. Key projects include the Usable Privacy Policy Project, privacy nutrition labels, and the Personalized Privacy Assistant Project.

Ardalan Amiri Saniمشاهده پروفایل

دانشیار

• Mobile Systems
• Operating Systems
• Security
• +۵ مورد دیگر

Ardalan Amiri Sani is an Associate Professor in the Computer Science Department at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He leads the Trustworthy Systems Lab (TrussLab), focusing on secure and reliable mobile systems, operating systems, and virtualization. His research bridges mobile computing, security, and OS design, addressing challenges in I/O devices, kernel hardening, and verifiable provenance. Education: Ph.D. and M.Sc. from Rice University (ECE), B.Sc. from Sharif University of Technology. Awards include the NSF CAREER Award, Google ASPIRE Award, and UCI Dean's Mid-Career Research Award. He has advised numerous graduate and undergraduate students, many of whom now work in academia and industry. Research highlights include Tabellion (secure legal contracts on mobile devices), ProvCam (verifiable video provenance), and work on minimizing smartphone TCBs via hardware isolation. His grants include NSF funding for OS kernel security and NSA support for provenance systems. Education: Ph.D., Electrical and Computer Engineering, Rice University, 2014 B.Sc., Electrical Engineering, Sharif University of Technology Grants: $500K NSF Award (with UCR) for OS kernel security (2020) NSF SaTC Award for GPU security in browsers Google ASPIRE Award for Android system call filtering Labs/Teams: Trustworthy Systems Lab (TrussLab), collaborating with industry partners like Intel and Broadcom.

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

استاد

• Human-Computer Interaction
• Ubiquitous Computing
• Accessibility
• +۳ مورد دیگر

James Fogarty is a Professor at the Paul G. Allen School of Computer Science & Engineering, University of Washington. He serves as a core member of the DUB Group (Design. Use. Build.), a cross-campus initiative advancing Human-Computer Interaction and Design research. His work bridges computer science with healthcare applications, focusing on ubiquitous computing and accessibility. Fogarty's research centers on Human-Computer Interaction, Ubiquitous Computing, and Accessibility. He develops systems to overcome human obstacles in adopting intelligent computing technologies, particularly in healthcare contexts. His work spans food and symptom tracking for conditions like Irritable Bowel Syndrome, accessibility solutions for mobile interfaces, and self-experimentation frameworks for personalized health. Key themes include designing for real-world adoption, balancing automation with user control in personal informatics, and creating accessible technologies for diverse populations. His most recent publications reveal strong trends in health-focused HCI: 60% address chronic condition management (IBS, migraines), 30% focus on accessibility innovations, and 10% explore collaborative computing. Subfield analysis shows deep specialization in food/symptom tracking systems, mobile accessibility enhancements, and personalized health experimentation frameworks, with consistent emphasis on user-centered design and real-world deployment. Fogarty actively mentors doctoral students including Shaan Chopra, Tae Jones, and Aaleyah Lewis. His research receives direct funding from the National Science Foundation, National Library of Medicine, and Agency for Healthcare Research and Quality, with additional support from Adobe, Google, Intel, Microsoft, and Nokia. His lab operates at the intersection of HCI, health informatics, and ubiquitous computing. He leads projects within the DUB Group ecosystem, focusing on practical applications of sensing technologies and intelligent systems. Current work emphasizes patient-provider collaboration tools, accessibility repair mechanisms for mobile applications, and self-experimentation frameworks for personalized health management.

• Network Security
• Android Security
• Malware Analysis
• +۶ مورد دیگر

Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.

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

استاد

• Computer Systems Security
• Trusted Execution Environments
• Mobile Platform Security
• +۷ مورد دیگر

David Lie is a Professor at the University of Toronto, jointly appointed in the Edward S. Rogers Department of Electrical and Computer Engineering, Department of Computer Science, and Faculty of Law. He directs the Schwartz Reisman Institute for Technology and Society, co-founded the IT3 Lab, and serves as Associate Director at the Data Sciences Institute. His research focuses on securing computer systems through operating systems, architecture, and formal verification approaches. B.A.Sc (University of Toronto, 1998) M.S. (Stanford, 2001) Ph.D. (Stanford, 2004) His research emphasizes building secure systems for mobile platforms and cloud computing, with significant contributions to trusted execution environments (XOM architecture precursor to Intel SGX/ARM TrustZone) and Android permission mapping (PScout tool). Recent work spans cryptographic side-channels, web tracking detection, and AI safety. Key honors include SOSP 2003 Best Paper, Ontario MRI Early Researcher Award (2008), Connaught Global Challenge Award (2017), and Canada Research Chairs (Tier 2 2013-2018, Tier 1 current). He has secured over $30M in research funding and served as General Chair for CCS 2018. Lie leads the IT3 Lab (Technology and Policy Integration), collaborates with industry leaders (Google, VMware, Telus), and mentors graduate students working on practical security implementations. He co-teaches ECE1724: Privacy Problems with Lisa Austin from the Faculty of Law, reflecting his technology-policy interests.

Xiaodong Linمشاهده پروفایل

استاد

• Information Security
• Privacy-Enhancing Technologies
• Digital Forensics
• +۴ مورد دیگر

Dr. Xiaodong Lin is a Professor at the University of Guelph's School of Computer Science and an IEEE Fellow (2017) for contributions to secure vehicular communications. He leads the Blockchain Technology and Cybersecurity (BTC) lab, focusing on privacy-enhancing technologies, digital forensics, wireless network security, blockchain applications, and DeFi security. PhD, Beijing University of Posts and Telecommunications, China PhD, University of Waterloo, Canada His research bridges theoretical and applied domains in cybersecurity, particularly vehicular networks, smart grids, and decentralized systems. Recent work examines blockchain security, privacy-preserving protocols for IoT, and secure data aggregation in wireless networks. Key publication trends include secure fog computing for vehicular crowdsensing, privacy-preserving authentication in 5G, and cryptographic solutions for smart grids. Awards highlight multiple Best Paper recognitions at IEEE conferences. IEEE Fellow (2017) Best Paper Awards (IEEE INFOCOM 2018, GLOBECOM 2017, SECURECOMM 2016) Dr. Lin supervises graduate students in blockchain security, AI security, and digital forensics. His lab provides financial support to qualified students.

• Computer Security
• Cryptography
• Privacy
• +۴ مورد دیگر

Matteo Maffei is a Full Professor at TU Wien, leading the Security and Privacy group. He joined in 2017 after 11 years at Saarland University's CISPA. He holds a Ph.D. in Computer Science from Ca’ Foscari University of Venice (2006). He coordinates the TU Wien Cybersecurity Center, the SecInt Doctoral School, and the FWF Special Research Program SPyCoDe. His research focuses on formal methods for security and privacy, blockchain technologies, and web security. Roles: Full Professor, Coordinator of TU Wien Cybersecurity Center, Module Head of Christian Doppler Lab for Blockchain Technologies (CDL-BOT), Board Member of Vienna Cybersecurity and Privacy Research Cluster (ViSP). His work emphasizes formal verification of cryptographic protocols, smart contracts, and decentralized systems. Key achievements include ERC Advanced (2024) and Consolidator (2018) Grants, and leadership roles in conferences like IEEE Computer Security Foundations Symposium (CSF). Research Interests: Formal methods, smart contracts, blockchain scalability, web security, privacy-preserving protocols, and decentralized systems. His recent projects include optimizing Lightning Network channels, secure multi-hop payments, and AI-driven robustness verification. Publications: Over 200 publications in top venues like CCS, IEEE S&P, and CRYPTO. Recent work includes advancements in blockchain interoperability (e.g., Alba bridges), light client protocols (Blink), and neural network verification techniques. Grants & Awards: ERC Advanced Grant (2024), ERC Consolidator Grant (2018), DFG Emmy Noether Fellowship (2009). Led projects funded by EU Horizon, FWF, and industry partners like ABC Research GmbH. Advising & Labs: Supervised over 20 PhD/Master theses. Active in the Christian Doppler Lab for Blockchain Technologies and the SPyCoDe SFB. Collaborates with institutions like SBA Research and Stanford University.

• 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.

Valerie Viet Triem Tongمشاهده پروفایل

استاد پژوهشی

• Information Flow Control
• Android Security
• Malware Analysis and Detection
• +۵ مورد دیگر

Valerie Viet Triem Tong is a Research Professor at the Paris Institute of Electrical and Electronic Engineering, School of Electrical and Electronic Engineering. She has established herself as a leading researcher in cybersecurity with a particular focus on information flow control systems, Android security, and malware analysis. Her work spans both theoretical foundations and practical security tools development. Her research interests center on Information Flow Control , where she has developed frameworks for monitoring and enforcing security policies at both operating system and application levels. She has made significant contributions to Android Security , creating tools for detecting malicious behavior in mobile applications and addressing privacy concerns in smartphone environments. Her work in Malware Analysis includes developing advanced techniques for tracking and visualizing malware behavior, with emphasis on evasive Windows malware and Android malware in the wild. She also investigates Peer-to-Peer Network Security , focusing on Sybil attack resistance and distributed identity management. Analysis of her publication record reveals a consistent trajectory from foundational work in information flow theory to increasingly applied security research. Her recent work shows a strong emphasis on practical security tools (DaViz, GUI-Mimic, BAGUETTE), security evaluation methodologies (Digital twin, CERBERE), and addressing contemporary challenges in malware analysis (debiasing datasets, handling obfuscated applications). A notable trend is her integration of visualization techniques with security analysis to make complex security data accessible to both experts and machine learning systems. As an advisor, she has mentored numerous researchers who have become first authors on significant publications, including Radoniaina Andriatsimandefitra, Tomás Concepcion Miranda, and Cedric Herzog. Her research has been supported by multiple grants focused on cybersecurity infrastructure, though specific grant details are not provided in the available information. Dr. Tong is actively involved with the CIDre security research group in Rennes, contributing to collaborative projects that bridge theoretical security models with practical implementation challenges. Her work on information flow monitoring has evolved from basic research to applied systems that address real-world security concerns across multiple platforms.

• Software Engineering
• Deep Learning
• Human-Computer Interaction
• +۷ مورد دیگر

Prof. Dr. Chunyang Chen is a full professor in the Department of Computer Science at the Technical University of Munich (TUM) in Heilbronn, Germany, and an adjunct professor at Monash University, Australia. He is a core member of the Munich Data Science Institute, board member of Heilbronn Data Science Center, and fellow at Fortiss. His research spans Software Engineering, Deep Learning, and Human-Computer Interaction (HCI), focusing on AI/ML, NLP, and program analysis applications. PhD from Nanyang Technological University (NTU), Singapore His research explores three primary domains: AI-Driven Mobile App Development : Focused on requirement elicitation, UI design, code generation, and GUI testing using LLMs, NLP, and lightweight program analysis. Software Repository Mining : Involves library/API migration, collaborative editing, query reformulation, and thesaurus construction. Deep Learning Security : Examines robustness and security in mobile apps, including on-device model attacks, backdoor attacks, phishing attacks, and defense mechanisms. His recent publications highlight trends in LLM applications for software testing, bug replay, accessibility, and dataset construction. Awards include Best Paper Honorable Mention at CHI 2024, DECRA, ACM SIGSOFT Early Career Award, multiple Distinguished Paper Awards, and the Chinese Government Award for Outstanding Self-financed Students Abroad. PhD students: Shengcheng Yu, Yanqi Su, Mark Huasong Meng, Wenchao Gu, Zhen Tao, Kai Huang, Sidong Feng, Yujin Huang, Jian Gu Master/Bachelor students: Dustin Minh Duc Vu, Jason Siu, Ruiqi Dong, Minh Nguyen, An-Chieh Chang, Chao Wu, Yujin Huang, Ishan Joshi, Xinyan Li Chunyang Chen has supervised numerous students across institutions including TUM, Monash University, Chinese Academy of Sciences, ANU, and others. His teaching portfolio includes courses on Generative AI, software engineering, and programming foundations. He actively contributes to academic service as a guest editor, program committee member, and reviewer for top-tier conferences and journals.

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

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. 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 centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.