Find Academic Supervisors

• Computer Security
• Cryptography
• Privacy
• +4 more

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.

Paolo TonellaView profile

Professor

• Software Engineering
• Software Testing and Analysis
• Web Engineering
• +4 more

Paolo Tonella is a Full Professor and Director of the Software Institute at the Faculty of Informatics, Università della Svizzera italiana (USI) in Lugano, Switzerland. He also holds an Honorary Professorship at University College London (UK) and previously led the Software Engineering group at Fondazione Bruno Kessler (Italy). His research focuses on software testing, analysis, and AI-driven systems. He has authored over 200 peer-reviewed papers and 100 journal articles, with an H-index of 72. He teaches courses in Data and Software Engineering and Informatics, including Information Modeling, Probability & Statistics, and Knowledge Search. Key contributions include foundational work on web application testing (ICSE MIP award), evolutionary testing techniques (eToc/EvoSuite tools), and reverse engineering of object-oriented systems. He led the ERC-funded PRECRIME project on anticipatory testing. His recent work addresses AI dependability, autonomous systems testing, and deep learning fault analysis. Scientific awards include the ICSE MIP Award (2001) and ERC Advanced Grant (2018). He has served on editorial boards for major journals like IEEE Transactions on Software Engineering and ACM TOSEM. Current roles include leadership in the Software Institute and organizing the SIESTA summer school.

Paul TaeleView profile

Academic

• Sketch Recognition
• Human-Computer Interaction (HCI)
• Artificial Intelligence
• +5 more

Paul Taele is an Instructional Assistant Professor and Deputy Lab Director in the Sketch Recognition Lab at Texas A&M University's Department of Computer Science & Engineering. He holds a Ph.D. (2019), M.S. (2010), and dual B.S. degrees in Computer Science and Mathematics from the University of Texas at Austin (2006). His research focuses on sketch recognition, haptics, and intelligent interfaces for education and accessibility, with notable work in mid-air gesture recognition, educational sketching tools, and assistive technologies for disabilities. He has contributed to projects like Kanji Workbook , Hashigo , and HaptiMoto , and has published over 50 peer-reviewed articles across venues like CHI, IUI, and AAAI. Taele has received awards including the NSF Student Travel Grant (2014) and Ford Foundation Honorable Mention (2015). He teaches courses in capstone design, programming, and sketch recognition, and mentors students across all academic levels through strict eligibility criteria for research collaborations. Education : Ph.D. Computer Science, Texas A&M University (2019) M.S. Computer Science, Texas A&M University (2010) B.S. Computer Science & Mathematics, University of Texas at Austin (2006) Concentration in Mandarin Chinese, National Chengchi University (2007) Research Interests : Taele's work bridges HCI and AI to create accessible educational interfaces. His projects emphasize: Sketch Recognition : Developing algorithms for mid-air gestures, children's developmental assessments, and language learning Accessibility : Haptic systems for visually impaired learners and algebra education Educational Tech : Intelligent tutoring systems for music, math, and East Asian languages Awards & Grants : EAAI-20 Travel Grant (2020) Ford Foundation Dissertation Honorable Mention (2015) NSF East Asia-Pacific Summer Institutes (2013, 2012) Royce E. Wisenbaker Fellowship (2009) Lab & Teams : Director of the Sketch Recognition Lab (SRL) and collaborator with global institutions like Singapore Management University and National Taiwan University. Active in organizing workshops like SketchRec at IUI conferences.

Una-May O'ReillyView profile

Research Professor

• Cybersecurity
• Artificial Intelligence
• Machine Learning
• +6 more

Una-May O'Reilly is a Principal Research Scientist at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL), leading the ALFA group. She holds a PhD in Computer Science from Carleton University (1995), with prior roles including a postdoctoral appointment at MIT's Artificial Intelligence Laboratory. Her research focuses on cybersecurity, adversarial AI, software security, and disinformation dynamics, applying evolutionary algorithms and machine learning to address arms races in cyber defense and societal challenges like climate change communication. Education: B.Sc., University of Calgary M.C.S., Carleton University Ph.D., Carleton University (1995) Research Interests: Adversarial machine learning for secure systems Coevolutionary algorithms in cybersecurity and healthcare Program comprehension via neuroscience and AI Climate disinformation mitigation on social media Large language model applications in code synthesis and threat hunting Key Projects: Adversarial Cyber Security : Modeling cyber attack-defense arms races GIGABEATS : AI-driven medical sensor data analysis for critical care MOOC Learner Project : Data science for online education insights Awards: EvoStar Award (2013) for contributions to evolutionary computation Fellow of ACM Sig-EVO Leadership & Service: Co-founder and Vice-Chair of ACM Sig-EVO Former Chair of GECCO (2005), major evolutionary computation conference Editorial roles in Evolutionary Computation and Genetic Programming and Evolvable Machines Labs & Groups: Leads the AnyScale Learning for All (ALFA) group at CSAIL, focusing on scalable AI for cybersecurity, healthcare, and education.

Mathias PayerView profile

Associate Professor

• Software Security
• System Security
• Binary Exploitation
• +3 more

Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)

• Human-Computer Interaction
• Data Visualization
• Co-Design
• +3 more

Stephanie Wilson is a Professor of Human-Computer Interaction at City St George's, University of London, and Co-Director of the Centre for HCI Design (HCID). She co-founded the EPSRC Centre for Doctoral Training in Diversity in Data Visualization (DIVERSE CDT) and contributes to the Institute for Creativity and AI. Her research emphasizes inclusive interaction design, data visualization, co-design, and innovative digital technologies for healthcare, particularly for people with aphasia. She has supervised 17 PhD students to completion and led significant projects like EVA Park and INCA, which explore accessible virtual worlds and digital tools for aphasia. Her work has earned multiple awards, including ACM SIGCHI Honorable Mention Awards and the Tech4Good Accessibility Award Finalist. Stephanie has secured over £10 million in research funding, including grants from EPSRC and Innovate UK, and actively contributes to academic governance through roles like Chair of the Research Degrees Committee and establishing the Women++ group. She advocates for participatory design and ethical research practices in healthcare technology.

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +7 more

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.

Martin VolkView profile

Professor

• Computational Linguistics
• Machine Translation
• Natural Language Processing
• +5 more

Martin Volk is a Full Professor of Computational Linguistics at the University of Zurich, with a dual affiliation to the Department of Informatics since 2019. He holds a PhD from the University of Koblenz and has held academic positions at institutions including Stockholm University (part-time from 2008-2011), Zurich University of Applied Sciences, and the University of Georgia. His research focuses on grammar engineering, machine translation evaluation, multilingual text analysis, and cross-language information retrieval. Education : Born in Cochem, Germany Studied Computer Science and Computational Linguistics at EWH University, Koblenz Master's in Artificial Intelligence at the University of Georgia (Fulbright Scholar) PhD in Computational Linguistics from the University of Koblenz Research Interests : His work emphasizes data-driven NLP methods, including corpus-based approaches, parsing technologies, and the application of machine learning to historical and multilingual texts. Key focuses include: Machine translation systems and evaluation frameworks Grammar testing environments (e.g., GTU) OCR and digitization of historical documents (e.g., Gothic script) Development of parallel corpora for linguistic research Projects : SMULTRON: Multilingual parallel treebank project Bullinger Digital: Historical document digitization initiative Text+Berg: Digital Humanities project for alpine textual heritage EU-funded MuchMore (cross-language medical IR) Grants & Collaborations : Recipient of grants from the Swiss National Science Foundation, EU projects, and industry partnerships (e.g., Siemens, Xerox). His work integrates academic and industrial perspectives in NLP tool development. Labs & Teams : Leads research teams in the Institute of Computational Linguistics at UZH, focusing on projects like the Zurich Parallel Corpus Collection and MODERN (modeling discourse for MT).

David I. AugustView profile

Professor

• Compilers
• Computer Architecture
• Parallel Processing
• +4 more

David I. August is a Professor of Computer Science at Princeton University, affiliated with the Department of Electrical Engineering. He earned his Ph.D. from the University of Illinois at Urbana-Champaign in 2000. His research focuses on compilers and computer architecture, emphasizing synergistic design between compilers and microarchitecture. He leads the Liberty Research Group, which explores topics such as automatic parallelization, memory profiling, and speculative execution. August joined Princeton in 1999 as a lecturer, advancing to full professor in 2012. He has served as program chair for MICRO 2009 and on committees for ISCA, PLDI, and ASPLOS. His notable accolades include the IEEE Fellow designation, Best Paper Awards at PLDI and CGO, and teaching awards from Princeton's School of Engineering. His work spans compiler optimizations, hardware-software co-design, and security architectures like TrustGuard. Recent research includes GPU scheduling (GhOST), memory profiling frameworks (PROMPT), and instruction prefetching (PDIP). He advises over 20 graduate students, many now leading roles at tech companies and academia. August teaches courses such as COS-126 (Intro to CS), COS-375 (Computer Architecture), and graduate seminars. His projects often bridge theory and practice, with tools like NOELLE and Liberty Research Group initiatives advancing compiler infrastructure and parallelism extraction.

David DotyView profile

Professor

• Molecular computing
• Algorithmic self-assembly
• Chemical reaction networks
• +8 more

David Doty is a Professor in the Department of Computer Science at the University of California, Davis . His research focuses on the intersection of molecular systems and computation , exploring how natural processes like chemical reactions , DNA nanotechnology , and self-assembly can perform computation. He also investigates connections to theoretical computer science, including distributed computing and algorithmic information theory . Doty's work bridges physics , chemistry , and biology through rigorous computational models like the Tile Assembly Model and Population Protocols . His research program includes software development ( scadnano , ppsim ), theoretical analysis, and collaborations with experimentalists. He teaches courses on theory of computation and molecular computing , and has advised numerous students in his research group. His publications cover topics such as algorithmic self-assembly , chemical reaction networks , and thermodynamic binding networks , with a focus on understanding fundamental computational and physical limits. Key software tools developed by his group include scadnano for DNA design and ppsim for population protocol simulations. Doty's recent research trends explore rate-independent chemical computing , error correction , and stochastic modeling in molecular systems. Current academic activity includes teaching ECS 120 (Undergraduate Theory of Computation), ECS 220 (Graduate Theory of Computation), and ECS 232 (Theory of Molecular Computation). He maintains a research lab in 2306 Academic Surge and continues to publish in leading conferences like DNA Computing and CMSB .

• Comparative Education
• Hermeneutic Pedagogy
• Queer Theory in Education
• +5 more

Karsten Kenklies is a Senior Lecturer in Education at the Strathclyde Institute of Education, University of Strathclyde. Previously, he served as Junior-Professor (Chair for Comparative Education) at Jena University, Germany from 2003-2016. His work bridges Hermeneutic Pedagogy with intercultural comparisons, focusing on European, Japanese, and American educational theories. Key interests include Bildung , queer pedagogy, and Japanese arts-based education. Education: Multiple Masters (Science, Education, Philosophy, Arts) and PhD (Jena University, Germany). Research Focus: Systematic-conceptual analysis of education across cultures. Current projects explore pre-modern Japanese educational theories, continental Bildung concepts, and Anglo-Saxon self-formation ideas. Co-founder of ExET (Experiments in Education Theory), promoting conceptual research globally. Awards: Award for Fundamental Research (2007), Research & Conference Fellowship (2018). Teaching: Leads MSc Education Studies program, teaches History of Education, Pedagogical Theory, and Contemporary Challenges. Supervises PhD projects in areas like queer education, Japanese pedagogy, and hermeneutic approaches. Key Contributions: Over 78 publications including books, articles, and reviews. Active in international networks like the Philosophy of Education Society of Great Britain. Co-investigator on projects like 'What’s the ‘use’ in Higher Education?' (2025-2026).

• African Studies
• Linguistics
• Historical Anthropology
• +8 more

Katrin Bromber is a German Researcher at the Centre for Modern Oriental Studies in Berlin, where she has led the research group "Progress and its Discontents: Ideas, Practices, Materiality" since 2014. Her career spans senior research roles at ZMO and academic teaching positions at the University of Vienna. Nationality: German. Language skills: Native German, fluent English/Swahili, moderate Amharic, good reading knowledge in French/Russian, basic Tigrinya. Habilitation (2009–): African Studies, University of Vienna PhD (1993): African Linguistics, University of Leipzig MA (1988): Swahili Studies, University of Leipzig Katrin Bromber's research interrogates intersections of body politics , sports history , Swahili linguistics , and Ethiopian modernity . Her work traces how physical culture, media representation, and colonial/imperial narratives shape national identities across Africa and Asia. Current focus: "Progress" as contested concept in Ethiopian and Gulf urbanism. Key article trends reflect her translocal methodology: 2017 studies on Ethiopian stadiums and fitness culture ; 2014-2013 publications analyzing East African military press , sports branding in the Gulf , and Swahili poetry ; 2007-2000 works on colonial linguistic politics , Indian Ocean slavery , and German colonial Swahili promotion . Recurring sub-fields: body as political text, translocal modernity, media historiography. Scientific Awards: Research Grant of the Berlin City Council (1999-2000): Gendered Slavery study Service to the Scientific Community: Chairwoman, Academic Association for Horn of Africa Studies (2012–) Editorial Advisory Board - Stichproben. Vienna Journal of African Studies (2015–) Editorial Advisory Board - Studies of Department of African Languages and Cultures (2015–) Teaching Experience: Textlinguistics, Mediacommunication, African Linguistics, Swahili (elementary/advanced), Swahili Literature, Swahili in Arabic Script at Leipzig, Humboldt-Berlin, Free Berlin, and Vienna universities Anthropology of the Body at Mekelle University Summer School Field Research: Tanzania (1993-2003): Swahili Poetry, Intellectual History Kenya (2005): Indian Ocean WW2 UAE/Bahrain (2009): Sports and Body Cultures Ethiopia (2009-2015): Sports, Body Politics

• Web Security
• Software Security
• Secure Programming
• +3 more

Prof. Dr. Martin Johns serves as Chair of Application Security at the Institute for Application Security within the Carl Friedrich Gauss Faculty at Technical University Braunschweig. He joined TU Braunschweig after working as Research Expert at SAP Security Research, where he shaped security strategy and led software security teams. Prior to SAP, he worked as software engineer in Germany at companies like TC Trustcenter and Infoseek Germany. Academic qualifications include a PhD in Computer Science (University of Passau, 2009) and a Diploma in Computer Science (University of Hamburg, 2003). His research focuses on web security and software security , particularly secure programming , vulnerability detection , and attack mitigation strategies. Recent publications cover topics like GDPR compliance frameworks , WebAssembly security , federated learning privacy , and server-side request forgery (SSRF) defenses. His work appears in top conferences including IEEE S&P, CCS, WWW, and ACM CODASPY.

Dov CohenView profile

Professor

• Cultural Psychology
• Honor Cultures
• Institutional Inversion
• +7 more

Dov Cohen is a Professor of Psychology at the University of Illinois, with extensive cross-disciplinary affiliations including the Information Trust Institute, College of Law, Center for East Asian and Pacific Studies, and Center for Latin American and Caribbean Studies. His academic home resides within the College of Liberal Arts & Sciences. Professor Cohen's research centers on Cultural Psychology with specific expertise in honor cultures, institutional inversion, and cross-cultural value systems. His work examines how cultural frameworks shape cognition, emotion, and behavior - particularly regarding violence, debt, and religious influences. Notable contributions include the development of the 'institutional inversion' framework explaining discrepancies between collective attitudes and behaviors, and pioneering research on honor cultures in the American South. His publication record demonstrates consistent high-impact contributions across top journals including Journal of Personality and Social Psychology , Current Directions in Psychological Science , and Social Psychology . Recent work explores East-West relationship differences, gendered language in financial contexts, and the psychological mechanisms underlying cultural transmission. Cohen maintains active research programs examining the embodied nature of culture through psychological perspective and physical comportment. His theoretical work integrates Lewinian field theory with contemporary cultural psychology frameworks. As a mentor, Professor Cohen advises graduate students in Psychology and related interdisciplinary programs, fostering research that bridges cultural psychology with law, economics, and religious studies. His collaborative projects frequently involve international teams examining cultural phenomena across diverse national contexts.

Jay CrisostomoView profile

Associate Professor

• Ancient Near Eastern Studies
• Sociolinguistics
• Cuneiform Cultures
• +5 more

Jay Crisostomo is an Associate Professor and Director of Graduate Studies at the University of Michigan's Department of Ancient Near Eastern Civilization and Languages and Civilizations within the College of Literature, Science, and the Arts. He holds the George G. Cameron Professorship. His research focuses on the languages and intellectual histories of ancient Mesopotamian cuneiform cultures, with emphases on sociolinguistics, multilingualism, translation, and scribal practices. He earned a Ph.D. from the University of California, Berkeley in 2014. Teaching encompasses courses on ancient Middle Eastern history, languages, and cultures, including 'Science and Technology in the Ancient Middle East' and 'Madness, Medicine, and Magic in the Middle East.' He also teaches on sport history and language in the ancient Mediterranean. As Director of Graduate Studies, he supports MES program students, advising prospective PhD candidates in ancient Middle East history/Assyriology. Research highlights include his book Translation as Scholarship: Language, Writing, and Bilingual Education in Ancient Babylonia and ongoing projects on the 3,000-year history of Sumerian language use, Babylonian scholars, and Sumerian-Akkadian linguistic contact. Current efforts involve editing 150 lexical tablets in Germany's collections. His work bridges ancient textual analysis with broader themes in cultural transmission and knowledge systems. He collaborates on critical editions of cuneiform texts and maintains affiliations with international research networks. Contactable via cjcrisos@umich.edu, his office is located at 202 South Thayer Street, Ann Arbor.