Find Academic Supervisors

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.

• Bioelectronics
• IoT for Medical Monitoring
• Anesthesia Delivery Systems
• +3 more

Blase Ur is an Associate Professor of Computer Science at the University of Chicago, leading the UChicago SUPERgroup (Security, Usability, & Privacy Education & Research group). His research focuses on data-driven methods to improve online security, privacy, and usability of complex systems. He holds a PhD from Carnegie Mellon University and an AB from Harvard University. Education: PhD in Societal Computing, Carnegie Mellon University (2016) AB in Computer Science, Harvard University Research Interests: Blase's work spans computer security, privacy, HCI, and ethical AI. He develops tools like password meters, privacy transparency systems, and IoT security solutions. His SUPERgroup emphasizes interdisciplinary collaboration, with projects addressing data-driven decision-making and usability challenges in AI and IoT. Articles Trends: Recent work includes studies on ad transparency systems, user perceptions of privacy in AI, and barriers to passwordless authentication. Research often combines empirical user studies with technical implementations to bridge gaps between security mechanisms and user needs. Awards: NSF CAREER Award (2021) Quantrell Award for Teaching (2021) SIGCHI Outstanding Dissertation Award (2018) Advising & Grants: Advisor to PhD students like Kevin Bryson. Secured grants from NSF, Mozilla, and Meta. Active in outreach to broaden CS participation, including K-12 programs. Labs & Teams: Co-director of the SUPERgroup and affiliated with the Systems Group and CERES Center for Unstoppable Computing at UChicago.

• Computer Security
• Privacy
• Human-Computer Interaction (HCI)
• +4 more

Brian Y. Lim is an Associate Professor in the Department of Computer Science at the National University of Singapore (NUS), leading the NUS Ubicomp Lab. His research integrates Explainable AI (XAI) , Human-Computer Interaction (HCI) , and Ubiquitous Computing to address societal challenges in healthcare , wellness , and urban sustainability . He holds a Ph.D. and M.S. in Human-Computer Interaction from Carnegie Mellon University and a B.S. in Engineering Physics from Cornell University. Education: B.S., Engineering Physics, Cornell University M.S., Human-Computer Interaction, Carnegie Mellon University Ph.D., Human-Computer Interaction, Carnegie Mellon University His research focuses on designing human-centric AI systems that prioritize transparency and user trust. Key areas include explainable AI algorithms , context-aware computing , data visualization , and trustworthy machine learning . Projects like RexNet and Directed Diversity demonstrate his work in creating relatable AI explanations and enhancing crowd creativity through algorithmic prompting. Recent publications (2022–2025) highlight advancements in faithful visual explanations , user-centric XAI frameworks , and healthcare analytics . Notable awards include the CHI'22 Best Paper Award , IMWUT Distinguished Paper Award , and MOE Outstanding Mentor Award . He has advised numerous PhD and Masters students and leads the NUS Ubicomp Lab, which explores applications like TasteHealthy (food recommendation app) and Food Loves Fellowship (narrative data visualization).

• Human-Computer Interaction
• Ubiquitous Computing
• Explainable Artificial Intelligence
• +4 more

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

• Software Verification
• Formal Methods
• Programming Languages
• +5 more

Frank Li is an Assistant Professor at Georgia Tech, affiliated with the School of Cybersecurity and Privacy and School of Electrical & Computer Engineering . His research focuses on computer security and privacy , particularly internet, network, and web security, with a data-driven approach. Education : PhD in Computer Science from UC Berkeley, BS in Computer Science from MIT (Course 6-3) Experience : Previously a visiting researcher at Facebook, with internships at Google and Microsoft Research Research interests include empirical computer security , internet measurement, password policies, IoT security, browser extensions, and DeFi vulnerabilities. His work combines large-scale data analysis, network traffic studies, and user behavior experiments. His publications highlight trends in IPv6 adoption , security notifications, password masking, third-party web content, and PLC security evaluation. Teaching awards include the Student Recognition of Excellence in Teaching (Annual CIOS Award and Semester Honor Roll) at Georgia Tech. He leads the BEES Lab (Better Empirically Established Security), which investigates security and privacy issues through internet-wide measurements, network traffic analysis, and data mining. Lab members include PhD and MS students in computer science.

• Computer Security
• Network Security
• Web Security
• +5 more

Gretchen A. Macht is an Associate Professor in the Department of Mechanical, Industrial and Systems Engineering at the University of Rhode Island, College of Engineering. She specializes in Human Systems Engineering, with research emphasizing team performance, sustainability, electric vehicles, solar energy systems, and voting systems. Her work bridges engineering, ergonomics, and public policy. Her research interests focus on understanding and optimizing human-centered systems. She investigates team communication and performance through fuzzy cognitive maps and entropy modeling, develops sustainable design practices for products and energy systems, and analyzes user behavior in electric vehicles and solar installations. A significant portion of her research is dedicated to election systems, where she uses simulation to improve accessibility, safety, and efficiency of in-person voting, particularly during public health crises. Her recent publications span topics such as EV charging behavior, solar installation safety, voting simulation, and team dynamics. These works reflect interdisciplinary trends combining systems engineering, data analytics, ergonomics, and sustainability science. She frequently employs simulation, naturalistic data analysis, and human factors methodologies. Dr. Macht has secured substantial grant funding from organizations including the U.S. Election Assistance Commission, National Science Foundation, MIT, and Democracy Fund. She serves as Principal Investigator (PI) or Co-PI on projects related to election systems (e.g., SMILE, URI VOTES), ergonomic redesign of protective gear, and community solar development. She leads the SIS Lab and the URI VOTES initiative, fostering collaborative research on simulation and system design. Her lab supports graduate students in conducting impactful research at the intersection of engineering and societal challenges. Notable grants include: PI, MIT: “Voting in Person - White Paper” (2023) PI, US EAC: “SMILE 2.0” (2022) PI, Democracy Fund: “URI VOTES Pocket Guide Tool” (2022) Co-PI, NSF: “Election Science: Convergence Accelerator Workshop Proposal” (2021) PI, US EAC: “SMILE: Simulation Models for an Immersive Learning Environment” (2021) She has advised several graduate students, including Mehrsa Khaleghikarahrodi, Nicholas D. Bernardo Jr., and Tim Jonas, whose research aligns closely with her focus areas in EVs, elections, and team performance.

• Human Systems Engineering
• Team Performance
• Sustainability
• +7 more

Karthik R. Narasimhan is a Professor at Princeton University's School of Engineering and Applied Science in the Department of Computer Science. Previously, he earned his PhD from MIT under Regina Barzilay and served as a visiting research scientist at OpenAI during 2017-18. His research focuses on the intersection of language and decision-making, building autonomous agents that learn from both experience and human knowledge. His research spans multiple high-impact areas including language agents (Text-DQN, CALM, ReAct, Tree of Thoughts), reinforcement learning (h-DQN, Multi-Objective RL), and AI safety (Toxicity in ChatGPT, DataMUX). He has developed critical datasets and benchmarks such as WebShop, InterCode, SWE-bench, and SILG that have become standard evaluation tools in the field. Current work emphasizes agent capabilities, software engineering automation, and multimodal interaction. His publication trends show strong focus on practical agent deployment (SWE-agent, Tree of Thoughts), safety evaluation (Probing AI Safety), and efficiency improvements (DataMUX). Recent work increasingly addresses real-world challenges in software engineering, security, and human-AI collaboration through rigorous benchmarking. Co-author of foundational GPT (2018) paper Key developer of Text-DQN (2015), CALM (2020), ReAct (2022), Tree of Thoughts (2023) Creator of influential benchmarks: WebShop (2022), SWE-bench (2023), InterCode (2023) He actively advises students through Princeton's computer science program, with research supported by multiple grants focused on autonomous agent development and language-based decision systems. His GitHub repositories (nlp-datasets, text-world-player) demonstrate strong community engagement in open-source research tools. Current projects include advancing language agent capabilities through Reflexion (2023) and Tree of Thoughts (2023) frameworks while addressing critical safety and efficiency challenges.

• Language Agents
• Reinforcement Learning
• Natural Language Processing
• +3 more

Verena Zimmermann serves as Assistant Professor (Tenure Track) for Security, Privacy and Society at ETH Zurich within the Department of Humanities, Social and Political Sciences. She leads the Security, Privacy and Society research group, focusing on human-centered approaches to safety, IT security, and privacy challenges in emerging technologies. Her academic foundation includes a PhD in Usable Security from TU Darmstadt, where her dissertation From the Quest to Replace Passwords towards Supporting Secure and Usable Password Creation earned dual awards from the German Association for Data Protection and Data Security (GDD) and the Ernst-Ludwigs-Hochschulgesellschaft. Zimmermann's research pioneers the shift from viewing humans as security vulnerabilities to recognizing them as integral solutions. Her work spans password security, phishing interventions, smart home privacy, and cybersecurity education, consistently applying human factors principles to design systems that align with natural user behavior. Current projects explore emotional dimensions of security engagement, quantum governance frameworks, and LLM-related privacy concerns through interdisciplinary lenses combining computer science, psychology, and safety science. Recent publications reveal strong thematic trends toward understanding user motivations in security behavior, developing personalized training through augmented reality and adaptive systems, and translating safety science principles to cybersecurity incident management. Her work increasingly addresses societal implications of emerging technologies like quantum computing and generative AI. Her distinguished recognitions include: GDD Dissertation Award for Usable Security research Ernst-Ludwigs-Hochschulgesellschaft Dissertation Award IANUS Award (2nd place) for Moving from a 'Human-as-Problem' to a 'Human-as-Solution' Cybersecurity Mindset Zimmermann actively mentors through ETH's Human-Centered Security and Privacy Lab while collaborating internationally with institutions including ATHENE (German National Center for Applied Cybersecurity), Abertay University's Cybersecurity Division, and the Safety Science Innovation Lab. Her research receives support from Swiss and European funding bodies focused on privacy-preserving technologies and organizational security behavior. At ETH Zurich, she directs the Security, Privacy and Society group which employs design thinking, LEGO Serious Play, and mixed-methods research to tackle real-world security challenges. The team partners with industry stakeholders to develop practical solutions for phishing resistance, smart home privacy, and cybersecurity education while maintaining strong ties to the Research Training Group 2050 Privacy and Trust for Mobile Users.

• Usable Security
• Privacy
• Human-Computer Interaction
• +3 more

Peter A. Flach is Professor of Artificial Intelligence at the Intelligent Systems Laboratory, School of Computer Science, University of Bristol, where he has been faculty since 1997 and was promoted to Professor in 2003. He currently directs the UKRI AI Centre for Doctoral Training in Practice-Oriented Artificial Intelligence and serves as Vice-President of the European Association for Data Science (EuADS), having previously served as its President. His research centers on rigorous evaluation and improvement of machine learning systems, with seminal contributions to classifier calibration (including Beta Calibration and Precision-Recall-Gain curves), explainable AI frameworks, and data science methodology. He pioneered the extension of CRISP-DM to data science trajectories and developed Explainability Fact Sheets for systematic assessment of XAI approaches. His work bridges theoretical foundations with practical deployment in real-world systems. Analysis of his recent publications reveals a dominant focus on interpretable and reliable machine learning, with strong emphasis on performance evaluation metrics, model calibration techniques, and human-centered explainability. His research increasingly addresses healthcare applications through projects like SPHERE and clinical decision support systems, while maintaining core contributions to fundamental ML theory. His scientific recognition includes prestigious fellowships: Fellow of the European Lab for Learning and Intelligent Systems (ELLIS) Fellow of the European Association for Artificial Intelligence (EurAI) Professor Flach has secured major research funding including UKRI Centre for Doctoral Training grants and EU network funding (TAILOR). He leads extensive collaborations across Engineering, Population Health Science, and international institutions (Monash University, Polytechnic University of Valencia), plus over 20 industry partners in the Practice-Oriented AI CDT including LV= and QinetiQ. His work with the SPHERE project demonstrates successful translation of AI research into residential healthcare settings. He leads the Intelligent Systems Laboratory at Bristol, which develops influential open-source tools including the FAT Forensics Python toolbox for algorithmic fairness and the Explainability Fact Sheets framework. His lab maintains strong connections with the European AI community through ELLIS and EurAI, positioning Bristol as a hub for human-centered and methodologically rigorous AI research.

• Machine Learning
• Artificial Intelligence
• Explainable AI (XAI)
• +3 more

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Program Synthesis
• Program Verification
• Type Systems
• +5 more

Janne Lindqvist is an Associate Professor at the Department of Computer Science, Aalto University. His research bridges security engineering, human-computer interaction (HCI), and privacy, with a focus on making security systems usable and user-centric. University: Aalto University Department: Department of Computer Science Rank: Associate Professor Email: janne.lindqvist@aalto.fi Lindqvist’s work spans security engineering , privacy systems , and user research , emphasizing practical authentication methods, password management, and human behavior in security contexts. He explores how users interact with systems like TPM APIs, gesture passwords, and mobile authentication mechanisms. Recent publications highlight trends in authentication systems , ubiquitous computing security , and mobile user behavior . Key themes include biometric authentication, gesture-based security, and balancing usability with cryptographic robustness. CHI'25 Honorable Mention Award CHI'24 Best Paper Award His research integrates empirical studies with technical implementations, such as analyzing password forgetting patterns and developing acoustic sensing for vehicle detection (e.g., Auto++, BO-Ear). Collaborative efforts span machine learning, psychology, and embedded systems.

• Security Engineering
• Science of Security
• Human-Computer Interaction
• +4 more

Dr. Jeewanie Jayasinghe Arachchige is a Lecturer in the Department of Computer Science at Vrije Universiteit Amsterdam, Faculty of Science. She teaches undergraduate courses including Bachelor Project Computer Science, Professional Development, and Software Engineering Processes for the academic year 2024–2025. Her research focuses on process mining , healthcare informatics , and data security . She applies process mining to analyze healthcare pathways and subpopulation treatment variations, develops explainable AI frameworks for predictive analytics, and examines data governance in emerging architectures like Data Lakehouses. Her work intersects legal informatics, particularly formalizing Sri Lankan civil court processes using ontology engineering. Recent publications highlight trends in balancing simplicity and complexity in process modeling, Industry 4.0 healthcare applications, and cybersecurity in model-driven web development. She has contributed to over 20 peer-reviewed articles since 2006, spanning topics from service-oriented architectures to value network analysis. Her teaching and research emphasize practical applications of IT in healthcare, legal systems, and enterprise environments. No ancillary activities are currently recorded.

• Process Mining
• Healthcare Informatics
• Data Security
• +3 more

Professor Rainer Böhme is a prominent academic in the field of IT security and privacy at the University of Münster's School of Business and Economics, Department of Information Systems. He also holds a professorship for Security and Privacy at the University of Innsbruck's Institute of Computer Science. His research spans multiple dimensions of digital security, with particular expertise in steganography, digital forensics, privacy-enhancing technologies, and the economic aspects of cybersecurity. Dr. Böhme earned his Doctoral Degree from TU Dresden's Faculty of Computer Science in 2008, following studies in Communications, Economics and Computer Science at Technische Universität Dresden and Université Paris XII. His academic journey includes positions as Assistant Professor at the University of Münster (2010-2015), Postdoctoral Fellow at the International Computer Science Institute in Berkeley (2009-2010), and Scientific Staff at TU Dresden's Chair of Privacy and Data Security. His research interests focus on steganography and steganalysis, digital forensics, privacy-enhancing technologies, security and usability, economic and behavioral aspects of information privacy, virtual currencies, and the economics of information security. His work bridges technical security mechanisms with economic and behavioral considerations, creating a unique interdisciplinary approach to cybersecurity challenges. Analysis of his recent publications reveals a strong trend toward the economics of security, particularly regarding blockchain technologies, cryptocurrency, and privacy valuation. His work increasingly examines the intersection of technical security mechanisms with market dynamics, regulatory frameworks, and user behavior. The research spans theoretical game-theoretic models, empirical studies of user behavior, and practical applications in digital forensics and privacy protection. Program Co-Chair, Financial Cryptography and Data Security (2015) Program Co-Chair, New Security Paradigms Workshop (NSPW) (2015) General Chair, 8th International Conference on IT Security Incident Management & IT Forensics (2014) Organizer and Program Co-Chair, 1st Workshop on Bitcoin Research (2014) Associate Editor, Electronic Commerce Research (since 2013) Associate Editor, EURASIP Journal on Information Security (since 2013) Professor Böhme has supervised multiple Master's theses in Information Systems, including work on static code analysis for smart contracts, remote maintenance protocol security, and application protection requirements in retail banking. His research is supported by significant grants from the German Federal Ministry of Research, Technology and Space, the DFG, and the EU FP7 program, with projects focusing on digital forensics, privacy-enhancing technologies, and cryptocurrency crime prevention. He leads the IT Security Research Group at the University of Münster, which investigates theoretical and applied aspects of information security with particular emphasis on the economic dimensions of security decisions.

• Steganography and steganalysis
• Digital forensics
• Privacy-enhancing technologies
• +4 more

Rosa I. Arriaga is an Associate Professor in the School of Interactive Computing at Georgia Institute of Technology, where she directs the Ubicomp Health and Wellness Lab. Her research focuses on Human-Computer Interaction (HCI), Ubiquitous Computing, and mHealth, with applications in mental health, chronic disease management (e.g., diabetes), and pediatric asthma care. She designs technology systems to improve patient engagement, continuity of care, and clinician-patient communication. Research Areas: Chronic Care Management PTSD Therapy Support (PECSS project) Diabetes Management (DUCSS project) mHealth System Design AI in Healthcare Key Projects: PECSS: Leverages ubiquitous computing and machine learning to address clinical challenges in PTSD therapy. DUCSS: A diabetes management system to streamline patient education and self-monitoring, particularly for underserved populations. ZenVR: A virtual reality system for meditation education, validated through longitudinal studies. Teaching: Teaches undergraduate courses in HCI and graduate courses in Human-Centered Computing (HCC). Her Coursera course Intro to User Experience Design has over 50K learners. Grants & Partnerships: Funded by GT-Emory AI Humanity, American Diabetes Association, and Georgia Center for Diabetes Translation Research. Collaborations with Emory University, University of Rochester, and medical professionals. Labs & Teams: Leads the Ubicomp Health and Wellness Lab, fostering interdisciplinary research with graduate and undergraduate students focusing on health technology innovation.

• Human-Computer Interaction (HCI)
• Ubiquitous Computing (Ubicomp)
• Social Computing
• +7 more

Gene Tsudik is a Distinguished Professor of Computer Science at the University of California, Irvine (UCI), with a career spanning over two decades. He obtained his Ph.D. in Computer Science from the University of Southern California (USC) in 1991, focusing on access control in the Internet. His research spans multiple areas including computer and network security, applied cryptography, and digital privacy, with a recent emphasis on database privacy, genomic privacy, and usable security. His notable contributions include the Inter-Domain Policy Routing (IDPR) protocol, KryptoKnight for network security, and Tree-Based Group Key Agreement protocols. He has over 210 publications and 8 patents. From 2002 to 2007, he served as Associate Dean of Research and Graduate Studies at UCI's School of Information and Computer Sciences and currently directs the UCI Secure Computing and Networking Center (SCONCE). Research Keywords : Cybersecurity, Cryptography, Privacy, Network Security, Digital Signatures, Genomic Data Protection. Scientific Awards : IEEE Fellow (2012), ACM Fellow (2014), AAAS Fellow (2016), Fulbright Senior Scholar (2007), and IFIP Fellow (2020). Professor Tsudik has supervised 18 PhD students and held visiting positions at universities across Europe and Asia. His recent publications focus on secure hardware attestation, biometric authentication, and social media data privacy.

• Computer and network security
• Cryptopoetry
• Internet security and privacy
• +2 more