Dr. Jana Klaus is an Assistant Professor in the Department of Experimental Psychology at Utrecht University's Faculty of Social and Behavioural Sciences. Her office is located in the Martinus J. Langeveld Building (Room H048) at Heidelberglaan 1, Utrecht. She specializes in cognitive neuroscience with a focus on cerebellar functions and non-invasive brain stimulation techniques. Her primary research interests include: Cerebellar involvement in emotional processing and aggression Neurostimulation techniques (TMS, tDCS) for cognitive modulation Language production mechanisms and neural networks Neurodevelopmental aspects of verbal abilities in ASD Cerebello-cortical connectivity in motivation and behavior Dr. Klaus's publications demonstrate consistent focus on cerebellar functions, with recent work (2023-2025) examining aggression mechanisms, reversal learning under threat, and neurodevelopmental disorders. Her 2017-2022 research centered on language production, neurostimulation efficacy, and cerebellar mapping. Methodologically, her work combines fMRI, EEG, and brain stimulation techniques across healthy and clinical populations. She maintains active research collaborations through the Chair Schutter Helmholtz Institute Experimental Psychology. Dr. Klaus has presented her work internationally, including an invited 2020 talk on cognitive enhancement via neurostimulation.
Jan Allbeck is an Associate Professor in the Department of Computer Science and Associate Dean of the Honors College at George Mason University's College of Engineering and Computing. She advises honors students in Applied Computer Science and Computer Science, while teaching courses on game design, computer graphics, and special effects. PhD, Computer and Information Science, University of Pennsylvania MSE, Computer and Information Science, University of Pennsylvania BS, Computer Science, Bloomsburg University of Pennsylvania BA, Mathematics, Bloomsburg University of Pennsylvania Allbeck's research focuses on the intersection of animation, artificial intelligence, and psychology, particularly in simulating virtual humans and intelligent crowds. She develops frameworks for behavioral realism, agent decision-making, and crowd dynamics, with applications in virtual reality and cybersecurity training. As director of the Games And Intelligent Animation (GAIA) Lab, she explores advanced simulation techniques including semantic virtual environments, parameterized memory models, and high-density autonomous crowd systems. Her work emphasizes creating agents that can interact plausibly with humans and environments.
Thorsten A. Kern is Professor and Director of the Institute of Mechatronics in Mechanical Engineering at Hamburg University of Technology (TUHH). He joined TUHH in January 2019 after serving as R&D manager for interior components at Continental, leading a team of 300 engineers worldwide. From January 2023 to January 2025, he served as Dean of the Faculty of Mechanical Engineering, and is elected to serve as Vice President for Teaching and Learning from October 2025 to October 2028. Since 2022, he has been Vice President of the EuroHaptics Society. Dipl.-Ing. (2002), Darmstadt University of Technology Dr.-Ing. (2006), Darmstadt University of Technology Prof. Kern's research focuses on electromagnetic sensors and actuators, particularly their system integration in high-dynamic applications. His work spans human-machine interfaces, haptic devices, and the intersection of technology with arts. He has a strong interest in medical applications including robotic rehabilitation systems, wearable exoskeletons, and telemanipulation systems. His research also extends to maritime applications, including ship energy systems and ocean monitoring technologies. Prof. Kern's recent publications reveal a strong focus on haptic interfaces, rehabilitation robotics, and maritime energy systems. His work combines theoretical modeling with practical implementation, often involving interdisciplinary teams. There's a clear trajectory toward tele-rehabilitation systems with haptic feedback, maritime power systems optimization, and novel sensor development. His research demonstrates consistent integration of mechanical, electrical, and control engineering principles to solve complex real-world problems. Over 30 patent families with >120 patent applications worldwide Main editor of "Engineering Haptic Devices" (3rd edition) Vice President of EuroHaptics Society (since 2022) Prof. Kern shows a strong passion for entrepreneurship and mentors young people through the Impossible Founders network. He actively supports students in IP-oriented exploitation of research findings, leveraging his extensive patent experience. His research is supported by various projects in haptics, mechatronics, and rehabilitation engineering, with collaborations spanning academia and industry. Prof. Kern leads the Institute of Mechatronics in Mechanical Engineering (M-4) at TUHH, which houses specialized laboratories including the Haptics Lab, PHiLsLab (Power Hardware-in-the-Loop Laboratory), and Optics Lab (Goniometer Laboratory for Measuring Light Fields). His research team includes multiple research assistants and doctoral students working on electrical measuring systems, autonomous multi-sensor drifters, SMART Sensor Particles, and human-machine collaboration projects.
Prof. Dr. Anita Schilcher is a Professor of Didactics of German Language and Literature at the University of Regensburg, Faculty of Languages, Literature and Cultural Studies, Institute of German Studies. She has held this position since 2007 and also serves as Director of the Regensburg University Center for Teacher Education (RUL) since 2013. Her work focuses on German language and literature didactics, with particular emphasis on reading and writing promotion, children's and young adult literature, and teacher education. Her educational background includes: 1987: Abitur at the Gymnasium Pfarrkirchen 1987-1993: Studies for primary school teaching, Master's degree in German Literature with minors in Psychology and General Pedagogy 1992-1994: Preparatory service for primary school teaching 1997-2000: Doctorate in Didactics of German Language and Literature at the University of Passau 2007: Habilitation on writing didactics Prof. Schilcher's research interests span multiple areas of German didactics and language education. She has made significant contributions to the understanding of narrative competence, literary education, and the development of reading and writing skills in primary education. Her work on writing didactics has led to innovative teaching approaches that bridge theoretical understanding with practical classroom application. She has also conducted extensive research on children's and young adult literature, examining gender representation and the educational potential of popular culture texts. Her current research focuses on evidence-based reading promotion, teacher competencies, and the integration of media in literary education. Her recent publications reveal a strong focus on practical applications of educational research, particularly in developing and evaluating reading and writing promotion programs. She has been instrumental in large-scale projects like FiLBY (integrated reading promotion in Bavaria) and ELiS (evidence-based reading promotion in schools), which combine theoretical research with practical implementation in classrooms across Germany and Europe. Her work consistently bridges the gap between educational theory and classroom practice, with a particular emphasis on developing evidence-based teaching strategies that can be effectively implemented by teachers. Her scientific recognition includes: Karl-Heinz-Pollok Memorial Prize for her habilitation Prof. Schilcher has supervised numerous doctoral students, with completed dissertations covering topics such as ancient mythology in contemporary children's literature, linguistic-cognitive activation through teacher questions, narrative abilities in primary and secondary education, and oral competencies of teacher trainees. She has been involved in significant research grants including FALKO (subject-specific teacher competencies), FiLBY (integrated reading promotion in Bavaria), RESTLESS (Regensburg self-regulation training for reading and writing strategies), and ELiS (evidence-based reading promotion in schools), demonstrating her leadership in large-scale educational research initiatives. She leads the research network for "didactic-empirical writing research" (dieS) and is a member of the project team of ZSK Regensburg. Her work with the Regensburg University Center for Teacher Education (RUL) has positioned her as a key figure in shaping teacher education in Bavaria, particularly through her involvement in the development and implementation of the new primary school curriculum (LehrplanPlus).
James A. Duffy is an Associate Professor of Economics at the University of Oxford and the Andrew Glyn Tutorial Fellow at Corpus Christi College. He joined Corpus in 2016 after a postdoctoral fellowship at Nuffield College, Oxford, and holds dual appointments in the Department of Economics and his college. His educational background includes: PhD in Economics from Yale University (2014) Undergraduate studies in Economics and Mathematics at the University of Sydney Duffy's research centers on econometrics, with emphasis on macroeconometrics and time series analysis. He develops statistical methods for economic models involving nonlinear or highly persistent time series data, common in macroeconomics and finance. His work spans econometric theory , mathematical statistics , cointegration , and structural macroeconomic models , addressing inference challenges in strongly dependent processes. His 2016-2024 publications in premier journals reveal consistent innovation in time series methodology, particularly in unit root processes, fractional integration, and nonlinear cointegration. Key contributions include Tobit modeling for dynamic systems, robust inference for weakly nonstationary data, and discrete choice estimation techniques, bridging theoretical rigor with empirical applications. At Oxford, Duffy serves as course convenor for Quantitative Economics and lectures for the MPhil programme on instrumental variables, generalized method of moments, and maximum likelihood estimation. He also provides undergraduate tutorials in Microeconomics and Quantitative Economics at Corpus Christi College, integrating research insights into teaching.
Paul R. Adams is a Professor in the Department of Neurobiology and Behavior at Stony Brook University's Renaissance School of Medicine. He joined Stony Brook in 1981 as an Associate Professor and was promoted to Professor in 1984, following prior faculty service at the University of Texas (1977-1981). His educational background includes a B.A. in Physiology and Pharmacology from Cambridge University (1968) and a Ph.D. in Pharmacology from London University (1974). Professor Adams' research centers on computational neuroscience , investigating how synaptic modifications underlying learning are compromised by crosstalk between densely packed synapses. His pioneering Synaptic Darwinism theory proposes evolutionary mechanisms for cortical learning, including "Hebbian proofreading" where layer 6 neurons detect and correct learning errors. He further explores how inter-brain communication networks overcome individual learning failures through information sharing. His publication trajectory reveals consistent focus on mathematical modeling of neural plasticity, evolving from foundational Synaptic Darwinism concepts (1997-2002) to recent work on crosstalk minimization (2013-2014). Key themes include Hebbian learning constraints, cortical circuitry reinterpretation, and theoretical solutions to neural network limitations. Notable honors include the MacArthur Foundation Prize (1986), election as Fellow of the Royal Society (1991), and Howard Hughes Medical Institute Investigatorship (1987-1995). Professor Adams leads theoretical neuroscience research through the Kalypso Mind/Brain Center, collaborating with Research Assistant Professor Kingsley Cox. His HHMI-funded work has influenced understanding of cortical function relevant to autism, schizophrenia, and epilepsy. He serves on editorial boards including Frontiers in Neural Circuits . The Synaptic Darwinism project maintains active investigation into cerebral cortex principles, exploring implications for both neurological disorders and fundamental questions about consciousness.
Dr. Chinmay Dharurkar is an Assistant Professor in the Department of Humanities and Social Sciences at the Indian Institute of Technology Kanpur. He holds a Ph.D. from IIT Bombay (2018) and specializes in Sanskrit Grammar, Comparative Linguistic theory, and Philosophy of Linguistics. His academic journey includes positions at United International College, Zhuhai (2021-2022) and Central University of Kerala (2013-2020). Education: Ph.D., Indian Institute of Technology (IIT) Bombay, 2018 Dr. Dharurkar's research spans multiple dimensions of linguistic studies with a particular focus on Indian languages. His work bridges classical Indian linguistic traditions with contemporary theoretical frameworks, examining how ancient linguistic thought informs modern linguistic theory. He has made significant contributions to understanding metrical structures in Sanskrit epics, code-mixing phenomena in Indian languages, and the philosophical underpinnings of linguistic analysis. His research demonstrates deep engagement with both traditional Indian linguistic scholarship and modern linguistic frameworks. His publications reveal a consistent focus on the intersection of classical Indian linguistic traditions with contemporary linguistic theory. Dr. Dharurkar has explored metrical structures in Sanskrit epics, code-mixing of English in Indian languages, Nyaya morpho-syntactic analysis, and linguistic studies of quantifiers. His work demonstrates a unique ability to connect traditional Indian linguistic scholarship with modern linguistic frameworks, making him a significant contributor to the field of Indian linguistics. Scientific Awards: UGC-NET JRF in Linguistics (2010) IIT Bombay's Excellence in Thesis Work for PhD thesis (2018) Prof. Yashwant Sumant Memorial Young Research Inspiration Award (2020) Dr. Dharurkar has been actively involved in academic mentorship and research guidance. His professional experience includes teaching and research positions at multiple institutions, contributing to the development of linguistics education in India. He has successfully navigated both traditional academic settings and international collaborations, including a position at United International College in China (though physical relocation was prevented by the pandemic). His academic work represents a valuable bridge between classical Indian linguistic traditions and contemporary linguistic theory, contributing significantly to the understanding of language structure, history, and philosophy in the Indian context.
Vikas Remesh is a Researcher in the Department of Experimental Physics at the University of Innsbruck, Austria, actively contributing to quantum optics and quantum information science. His work focuses on quantum emitters, particularly semiconductor quantum dots, for developing advanced quantum light sources and control techniques essential for quantum computing and secure communication. His research centers on manipulating quantum states in solid-state systems, with emphasis on chirped-pulse control, dark-state engineering, and high-dimensional entanglement. Key innovations include the SUPER excitation scheme for collective state preparation and methods for high-purity single-photon generation in 2D materials like WSe 2 . His approaches bridge theoretical models with experimental implementations to overcome coherence and stability challenges in quantum photonics. Analysis of his 15 most recent publications (2022-2025) reveals a dominant focus on quantum dot control mechanisms, particularly using chirped pulses and magnetic fields for adiabatic rapid passage. Recurring themes include single-photon source optimization for quantum cryptography, photon-number-encoded entanglement, and spectral engineering of quantum emitters. His work consistently targets practical quantum technology applications while addressing fundamental coherence limitations. No scientific awards or fellowships were documented in available sources. His research is conducted within the quantum optics group led by Univ.-Prof. Hanns-Christoph Nägerl, likely supported by institutional and national funding frameworks typical for European quantum research initiatives. Remesh operates within the University of Innsbruck's Department of Experimental Physics, part of Austria's leading quantum research ecosystem. His work intersects with the institution's strengths in ultracold atoms and quantum simulation, contributing to experimental platforms for quantum information processing and quantum communication protocols.
Allan Wu, M.D., serves as an Associate Clinical Professor in the Department of Neurology at the David Geffen School of Medicine, University of California, Los Angeles (UCLA). He is based at the Reed Neurological Research Center in Los Angeles, where he contributes to clinical care and research in movement disorders through his academic appointment and active clinical engagement. Dr. Wu's research program centers on movement disorders, with a particular focus on Parkinson's disease and dystonia. His work integrates cutting-edge neuromodulation techniques such as transcranial magnetic stimulation (TMS), deep brain stimulation (DBS), and transcranial direct current stimulation (tDCS) to develop novel therapeutic approaches. Additionally, he explores the application of health informatics and electronic health records to improve patient safety and clinical decision-making in neurology. His interdisciplinary collaborations span neurology, psychiatry, biomedical engineering, and data science, fostering a comprehensive approach to understanding and treating complex neurological conditions. Movement Disorders (Parkinson's, dystonia, tremor) Neuromodulation (TMS, DBS, tDCS) Neurorehabilitation and motor learning Clinical neurophysiology and cortical excitability Health informatics for neurological care Analysis of his recent publications (2017-2024) reveals a strong emphasis on technological innovation in clinical neurology. Key trends include standardizing electronic health record tools for Parkinson's disease management, developing quantitative movement assessment using markerless 3D kinematics, and investigating non-invasive brain stimulation for cognitive and motor rehabilitation. His work consistently bridges laboratory neuroscience with practical clinical applications, focusing on measurable improvements in patient safety, diagnostic accuracy, and therapeutic outcomes for movement disorder patients. Dr. Wu actively collaborates with multidisciplinary teams at UCLA's Reed Neurological Research Center and beyond. His clinical work integrates closely with research initiatives, particularly in developing and validating novel assessment tools and therapeutic protocols for movement disorders. His contributions to clinical neurology demonstrate a commitment to translating scientific discoveries into improved patient care pathways and healthcare system efficiencies.
Alain Ptito, PhD is a Professor at the Department of Neurology and Neurosurgery, Faculty of Medicine and Health Sciences, McGill University. He serves as an Associate Investigator at the Research Institute of the McGill University Health Centre (RI-MUHC) and Montreal Neurological Institute and Hospital. Academic Affiliation: McGill University Institutional Roles: RI-MUHC, Montreal Neurological Institute Research Focus: Dr. Ptito investigates motor recovery mechanisms in stroke and neural substrates of residual vision in blindsight patients post-hemispherectomy using functional MRI (fMRI) . His work extends to diagnosing traumatic Brain Injury (TBI) in soldiers, athletes, accident victims, and children through neuroimaging. Key findings include abnormal activation patterns as TBI severity indicators and fMRI's role in recovery assessment. Recent innovations involve repetitive transcranial magnetic stimulation (rTMS) for treating post-concussive symptoms like depression and cognitive impairment, alongside pioneering translingual neurostimulation with physical therapy for gait/balance restoration post-TBI. His research bridges clinical neuroscience, neurorehabilitation, and advanced neuroimaging techniques. Publication Trends: 2019-2025 outputs show consistent exploration of TBI pathophysiology, oculomotor dysfunction biomarkers, and neurostimulation interventions. Collaborations span neuroimaging, computational modeling, and clinical epidemiology. Neuroscience Leadership: Active in multidisciplinary research at the intersection of traumatic brain injury, visual neuroscience, and neuroplasticity, Dr. Ptito contributes to institutional research programs including the Brain Repair and Integrative Neuroscience (BRaIN) initiative.
Dr. Wei Pan serves as Associate Professor and Faculty Lead for the Research Area of Excellence in Methods and Analytics at Duke University School of Nursing. He holds a PhD in Measurement and Quantitative Methods from Michigan State University (2001) and an MS in Statistics from Fuzhou University, China (1989). His educational credentials include: PhD in Measurement and Quantitative Methods, Michigan State University, 2001 MS in Statistics, Fuzhou University, China, 1989 Dr. Pan specializes in advanced statistical methodologies including causal inference, propensity score analysis, multilevel modeling, and meta-analysis. His research bridges methodological innovation with critical applications in adolescent health, substance abuse, symptom management, and health disparities. He has developed significant expertise in reducing selection bias in observational studies, as evidenced by his book Propensity Score Analysis: Fundamentals and Developments . His work consistently addresses measurement challenges in social, behavioral, and health sciences contexts. Analysis of Dr. Pan's recent publications (2024-2025) reveals a dominant focus on health equity and methodological rigor. His work spans sickle cell disease management, HIV outcomes in global contexts, adolescent mental health, and systemic biases in healthcare delivery. He frequently employs latent profile analysis, meta-analytic techniques, and causal modeling to investigate complex phenomena like nurse burnout during emergencies, digital media impacts on cognition, and racial disparities in anesthesia. His research demonstrates strong alignment with NIH-funded priorities in health services and implementation science. Dr. Pan has secured continuous funding from major federal agencies including the National Institutes of Health (NIH), National Science Foundation (NSF), and U.S. Department of Education. His collaborative projects emphasize interdisciplinary approaches to chronic disease management, healthcare transitions, and mental health equity. While no formal students are listed in his directory, his methodological expertise supports numerous trainees through the PhD in Nursing and Doctor of Nursing Practice programs at Duke.
Shigeo Kawamura is a Professor at the School of Education, Faculty of Education and Integrated Arts and Sciences, Waseda University. With a Doctorate in Psychology from the University of Tsukuba, he has established himself as a leading researcher in educational psychology, clinical psychology, and social psychology. His work focuses on classroom management, counseling, and the development of social skills among students. Dr. Kawamura earned his doctoral degree from the University of Tsukuba in 1995. His academic career demonstrates a progression from foundational research in developmental psychology to applied educational interventions. His educational background has provided a strong foundation for his research in classroom dynamics and student development. Dr. Kawamura's research interests span clinical psychology, educational psychology, and social psychology, with specific focus on school education, counseling, lifespan development, and the relationship between human development and cognitive-behavior. His work explores how social skills develop across different age groups and how classroom environments can be optimized to support student growth and inclusion. His recent publications demonstrate a strong focus on inclusive education, social skills development, and classroom management. Kawamura's research reveals consistent themes in understanding teacher behaviors that foster inclusive classrooms, the relationship between social skills and school satisfaction, and the development of effective educational interventions for diverse student needs. Japanese Counseling Society - Yururu Kawashima Memorial Award for Nurturing Counseling (2012) Japanese Counseling Society - Tatsuya Matsuura Memorial Award for Creative Research (2010) Japanese Counseling Society Special Award - School Counseling Matsuura Award (2001) Japanese Counseling Society Encouragement Award (1997) Dr. Kawamura has led significant research projects aimed at developing classroom group models that enhance students' interpersonal communication, group activities, and learning motivation. His work has been supported by grants from the Japan Society for the Promotion of Science, focusing on developing human relationship programs that teachers can utilize to prevent truancy and improve school adaptation. Through his leadership roles in professional organizations and his development of assessment tools like the QU questionnaire, Dr. Kawamura has significantly contributed to understanding classroom dynamics and improving educational practices in Japanese schools.
Binhua Zhou, Ph.D., holds the Madeline F. James and Edith D. Gardner Chair in Cancer Research at the Markey Cancer Center, University of Kentucky. He serves as Professor in the Department of Molecular and Cellular Biochemistry, Director of the Breast Cancer Research Program, and Program Leader for the Molecular and Cellular Oncology Research Program. His academic qualifications include a Doctor of Medicine from Guangzhou Medical College (1986), a Ph.D. from the University of Texas at Austin (1996), and postdoctoral training at the University of Texas Health Science Center (2001). Dr. Zhou's research focuses on molecular mechanisms of cancer metastasis, particularly epithelial-mesenchymal transition (EMT) regulation by Snail/Slug transcription factors in breast and pancreatic cancers. Key areas include metabolic reprogramming in metastasis, signaling pathway alterations, and therapeutic targeting of NNMT in triple-negative breast cancer. His work employs biochemical, molecular, and cellular approaches to identify targets for metastasis prevention. Analysis of recent publications (2020-2025) reveals dominant themes: EMT-linked metabolic adaptation, ferroptosis suppression, STAT3/SNAIL synergy in metastasis, and myeloid cell regulation in breast cancer. His group consistently explores intersections between transcriptional control, tumor metabolism, and microenvironment remodeling. Awards & Honors Young Investigator Award for Breast Cancer Research (1998) Alexander Wang Memorial Award, 3rd Prize (2000) Career Development Award, Ovarian Cancer Spore Program (1999) Wethington Excellence in Research Award (2009) Award for Cancer Research (2009) Dr. Zhou leads multiple NIH-funded projects as Principal Investigator, including NCI grants targeting NNMT in breast cancer progression and DoD-funded obesity-cancer initiatives. He directs the Breast Cancer Research Program, coordinating interdisciplinary teams investigating metastasis mechanisms and therapeutic innovation.
Michael D. Bond is a Professor in the Department of Computer Science & Engineering at Ohio State University's College of Engineering. He leads the Programming Languages and Software Systems (PLaSS) Research Group, which focuses on designing program analyses and software and hardware systems that enhance computing reliability, scalability, and security. His academic service includes general chair for PLDI 2027, program committee membership for multiple top conferences, and committee roles in SIGPLAN Research Highlights (2024-2027). Professor Bond's research spans programming languages, systems, and security, with particular expertise in memory management, concurrency, hardware transactional memory, information flow control, and predictive race detection. His work bridges theoretical foundations with practical implementations, as evidenced by numerous open-source projects accompanying his publications. The PLaSS group has made significant contributions to understanding and improving memory models, developing efficient garbage collection techniques for modern architectures, and creating novel approaches to secure programming in languages like Rust. Analysis of his recent publications reveals a clear trajectory toward addressing security and reliability challenges in modern computing systems, particularly through language-based approaches. His work increasingly focuses on Rust programming language security mechanisms, memory disaggregation for datacenters, and advanced techniques for detecting and preventing concurrency bugs. The research demonstrates strong continuity in exploring memory models and concurrency while adapting to emerging hardware trends and security challenges. Outstanding Teaching Award, Department of Computer Science and Engineering, Ohio State University (2018) Lumley Research Award, College of Engineering, Ohio State University (2016) OOPSLA 2015 Distinguished Paper and Artifact Awards NSF CAREER Award ACM SIGPLAN Outstanding Doctoral Dissertation Award Intel PhD Fellowship Professor Bond actively mentors several PhD students including Chujun Geng, Vincent Beardsley, Chris Xiong, Victor Chen, and Noah Charlton, with external co-advisee Zixian Cai at Australian National University. His research is currently supported by multiple NSF grants including SaTC-2348754 (2024-2027), CyberCorps-2336531 (2024-2029), and CSR-2106117 (2021-2025), reflecting sustained funding for his work in information flow control, security, and systems research. The PLaSS Research Group maintains a strong presence in both academic and industrial communities, with graduated PhD students securing positions at major technology companies like Google, Amazon Web Services, and Huawei, as well as academic positions at institutions like UIUC and IIT Kanpur. The group's work combines theoretical rigor with practical implementation, consistently producing open-source artifacts that enable reproducibility and further research in the systems and programming languages community.
Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files
