Find Academic Supervisors

Jürgen DassowView profile

Professor

• Formal languages
• Regulated rewriting
• Lindenmayer systems
• +7 more

Jürgen Dassow is a Professor for Theoretical Computer Science at the Faculty of Computer Science, Otto-von-Guericke-University of Magdeburg, Germany. He has held this position since 1992 and previously served as Rector of the university from 1993 to 1996. His academic career spans over five decades, beginning with studies in mathematics at the University of Rostock in the 1960s. Professor Dassow's research focuses on formal languages, regulated rewriting, Lindenmayer systems, grammar systems, syntactical complexity, and biocomputing . His work has significantly contributed to theoretical computer science, particularly in the mathematical foundations of language theory and automata. He has maintained a prolific publication record with over 200 scientific papers and 4 monographs, including the influential 1989 work 'Regulated Rewriting in Formal Language Theory' co-authored with Gheorghe Păun. His recent research (2020-2023) continues to explore operational complexity, closure-involution operations, contextual grammars, and networks of evolutionary processors. These publications demonstrate his sustained engagement with cutting-edge theoretical problems in computer science. Professor Dassow has also been instrumental in organizing the international Descriptional Complexity of Formal Systems (DCFS) workshop series and has edited numerous proceedings volumes. Professor Dassow has been actively involved in the academic community through approximately 100 lectures at conferences and universities across 18 countries. His work bridges theoretical computer science with biological computing models, reflecting the interdisciplinary nature of modern theoretical research. His research group at the Otto-von-Guericke-University continues to advance knowledge in formal language theory, with recent publications addressing contemporary challenges in descriptional complexity and bio-inspired computational models. Professor Dassow's career exemplifies long-term dedication to advancing the theoretical foundations of computer science while maintaining relevance to emerging computational paradigms.

Nina PollakView profile

Research Fellow

• Diagnostic technology
• Vaccine development
• Molecular biology
• +6 more

Dr. Nina Pollak is a Research Fellow at the Centre for Bioinnovation within the School of Science, Technology and Engineering at the University of the Sunshine Coast (UniSC), Queensland, Australia. As an Associate Fellow of the Higher Education Academy (AFHEA), she serves as a Higher Degree by Research (HDR) Supervisor, mentoring graduate students in molecular biology, biotechnology, genetics, and microbiology. Her academic credentials include a PhD, MSc, and BSc from KFU Graz, complemented by professional qualifications in auditing and business compliance from CAL. Dr. Pollak's research focuses on innovative applications at the intersection of molecular biology and practical healthcare solutions. Her primary interests include diagnostic technology development, vaccine research (particularly for koala Chlamydia), synthetic biology tools, and rapid pathogen detection systems. She has pioneered work in isothermal amplification techniques, multiplex diagnostic platforms, and molecular computing approaches that enable field-deployable testing solutions for arboviruses and other infectious diseases. Her research directly addresses critical public health challenges in resource-limited settings through development of rapid, cost-effective diagnostic tools. Analysis of Dr. Pollak's publication record reveals a consistent trajectory focused on molecular diagnostics and synthetic biology applications. Her recent work demonstrates increasing specialization in rapid, field-deployable diagnostic platforms for arboviruses like Zika and dengue, with particular emphasis on recombinase polymerase amplification (RPA) technologies coupled with lateral flow detection. She has made significant contributions to multiplex diagnostic systems, SNP detection for insecticide resistance, and molecular computing using deoxyribozymes and RNA aptamers. Her research consistently bridges fundamental molecular biology with practical applications for public health challenges. As an HDR Supervisor, Dr. Pollak has mentored graduate researchers including Madeeha Ahmed, whose doctoral work focused on dengue virus diagnostics and insecticide resistance detection in Aedes mosquitoes. Her collaborative approach is evident through extensive co-authorship across multiple institutions, particularly with Joanne Macdonald, David McMillan, and other researchers at UniSC. Her work has secured research funding that supports the development of diagnostic technologies with real-world applications in infectious disease surveillance and control. Dr. Pollak operates within the Centre for Bioinnovation at UniSC, where she leads research efforts focused on developing innovative biotechnology solutions for disease detection and prevention. Her laboratory work integrates molecular biology techniques with engineering approaches to create practical diagnostic platforms. She collaborates extensively with the Thompson Institute and other research centers at UniSC, contributing to interdisciplinary efforts in health innovation. Her research team focuses on translating laboratory discoveries into field-applicable technologies that can be deployed in resource-limited settings worldwide.

• Distributed Computing
• Real-Time Systems
• Algorithms
• +3 more

Nancy Lynch is the NEC Professor of Software Science and Engineering in MIT's Department of Electrical Engineering and Computer Science. She heads the Theory of Distributed Systems Group at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). Her affiliations include MIT, University of Southern California, Brooklyn College, University of Washington, and Georgia Tech. Her research spans: Distributed computing theory and algorithms Formal modeling and verification of real-time systems Wireless network protocols Biological distributed algorithms (ant colonies, neural networks) Nanobot systems for medical applications Recent publications show a strong interdisciplinary focus, with work combining theoretical computer science with neuroscience and biology. Her group maintains an active publication record in top-tier conferences and journals. Professor Lynch actively advises graduate students and teaches courses including Distributed Algorithms at MIT. Her lab develops open-source tools like ParSwarm for evaluating distributed algorithms.

Maxime FolschetteView profile

Associate Professor

• Computer Science
• Formal Methods
• Bioinformatics
• +3 more

Maxime Folschette is an Associate Professor at Centrale Lille Institut, affiliated with the CRIStAL research laboratory (UMR 9189) and the BioComputing research group. His position combines teaching responsibilities at Centrale Lille and its internal school IG2I with active research in computational biology and formal methods. His primary research focuses on the analysis and learning of dynamical biological models, with particular emphasis on formal methods applied to biological regulatory networks. His work spans multiple domains including Parameters Inference, Static Analysis, Polyadic μ-calculus, and Hoare Logic, all applied to biological systems modeling. Folschette's publications demonstrate a strong trend toward developing computational frameworks that bridge theoretical computer science with practical biological applications. His recent work shows increasing focus on hybrid modeling approaches that combine discrete and continuous dynamics, logical learning techniques for network inference, and applications in medical domains such as diabetes modeling and cancer research. ILP best paper award during IJCLR'2021 Best Paper Award for BIOINFORMATICS'2024 As an advisor, Folschette currently mentors two PhD students (Madeleine Eyraud and Karim Raqbi) and has successfully guided two PhD students to defense (Honglu Sun in 2023 and Danilo Dursoniah in 2024). His research is supported through multiple collaborations across France and Japan, particularly with the BioComputing team at CRIStAL. His laboratory work focuses on developing computational tools like Pint, Hybrid Hoare Logic tool, key-pipline, INEX-MED, and pyBRAvo for biological network analysis.