Find Academic Supervisors

Raimund KirnerView profile

Professor

• Parallel Computing
• Real-Time Systems
• Embedded Systems
• +5 more

Dr. Raimund Kirner is a Reader in Cyberphysical Systems at the University of Hertfordshire, UK. His research focuses on embedded computing, parallel computing, and real-time systems, with notable contributions to worst-case execution time (WCET) analysis, compiler design for predictability, and cybersecurity. He leads several projects, including the EU-funded CRAFTERS initiative and the FWF-supported SECCO and FORTAS-rt projects. Kirner holds a PhD from TU Vienna (2003) and a Habilitation (2010). He has authored over 100 publications and holds two patents. His work bridges many-core and embedded systems, emphasizing reliability and predictability. Education: PhD in Computer Science, TU Vienna, 2003 Habilitation, TU Vienna, 2010 Research Interests: Kirner's research spans parallel computing architectures, WCET analysis for real-time systems, compiler optimizations for predictability, and cybersecurity in embedded systems. He explores machine learning applications for medical diagnostics (e.g., EEG-based Alzheimer detection) and quantum cryptography frameworks. His work on mixed-criticality systems aims to enhance reliability in automotive and aerospace domains. Grants and Projects: Principal Investigator (CRAFTERS): EU Artemis-JU project addressing multi-core predictability (2012–2015) Co-Investigator (ADVANCE): FP7 project optimizing parallel programs (2012–2015) FWF-funded projects: SECCO (coverage preservation), FORTAS-rt (WCET measurement), and CoSTA (compiler timing predictability) Awards: Two patents granted for innovations in cybersecurity and embedded systems Labs and Teams: Kirner contributes to the Centre for AI and Robotics Research and the Cybersecurity and Computing Systems Group at the University of Hertfordshire. His collaborations include projects with TU Vienna and industry partners like the Technology Strategy Board. Advising: He has supervised one doctoral student, as documented in his Scopus profile, and oversees interdisciplinary research teams in cyber-physical systems.

Richard VerasView profile

Assistant Professor

• High Performance Computing
• Parallel Algorithms
• Computational Linear Algebra
• +4 more

Dr. Richard Veras is an Assistant Professor in the School of Computer Science at the University of Oklahoma . His research focuses on High Performance Computing (HPC), with emphasis on code synthesis, parallel algorithms, and optimizing computational workflows for modern hardware architectures. Education: Ph.D. and M.S. in Electrical and Computer Engineering from Carnegie Mellon University B.S. in Mathematics and Computer Science from The University of Texas at Austin Research Interests: High Performance Computing (HPC) Parallel algorithm design and implementation Computational linear algebra and signal processing Graph analytics and network modeling Compiler optimizations and automated code generation Performance portability across hardware architectures Professional Experience: Research Scientist at Louisiana State University Postdoctoral Researcher at Carnegie Mellon University Labs/Teams: Leads HPC research initiatives at OU, focusing on code synthesis tools and performance optimization frameworks.

• High-Performance Computing
• Neuromorphic Engineering
• Bio-inspired Systems
• +7 more

Pedro Filipe Zeferino Tomás is an Associate Professor at the University of Lisbon's College of Engineering, Department of Electrical and Computer Engineering. He is affiliated with INESC-ID research institute and teaches courses on Large Scale Computing, Computer Architecture, and High Performance Computing. His academic career includes a PhD in Neural Code modeling (2009), a Master's in DSP hardware structures (2006), and a Bachelor's in Bio-Inspired Artificial Retina design (2003). His research focuses on neuromorphic engineering, parallel computing architectures, and biosensing applications. Key areas include GPU optimization, transprecision arithmetic, neural prosthetics, and participatory urban biosensing. He has pioneered bio-inspired systems for visual neuroprostheses and developed energy-efficient hardware accelerators for machine learning. His recent work integrates biosensors into urban studies, exploring participatory methods for analyzing affective geographies and walkability. Over 60 peer-reviewed publications demonstrate his contributions to high-performance computing, neural modeling, and interdisciplinary urban technology. Grants: Multiple EU-funded projects in neuromorphic systems and urban biosensing Labs: Leads the Heterogeneous Computing Lab at INESC-ID and collaborates with neural engineering teams

• Algebra
• Computational Complexity
• Theoretical Computer Science
• +3 more

Prof. Pawel M. Idziak is a distinguished academic at the Faculty of Mathematics and Computer Science, Jagiellonian University, where he holds a Professorship in the Department of Algorithmics. His primary research focuses on algebra, computational complexity, and theoretical computer science, with notable contributions to the study of algebraic structures, satisfiability problems, and modular circuits. Idziak has led and contributed to numerous grants, including managing the 'Numerical and Structural Invariants in Algebra, Logic and Constraint Satisfaction Problems' (2015–2022) and co-ordinating initiatives like 'Programmers of the Future 4.0'. His work bridges abstract algebra with computational challenges, addressing topics such as group theory, circuit satisfiability, and algorithmic complexity. His research interests span a broad spectrum of theoretical computer science and algebra, including the interplay between algebraic structures and computational problems. Idziak has advised over 20 PhD students, mentoring them in areas such as algorithm design, logic in computer science, and discrete mathematics. He has also contributed to foundational works like Generative Complexity in Algebra (2005) and co-authored influential papers in journals like SIAM Journal on Computing and Transactions of the American Mathematical Society . Idziak’s academic leadership is evident through his roles in institutional committees and his active participation in international conferences. His recent work (2024) on equation satisfiability in solvable groups highlights his ongoing contributions to advancing computational algebra and complexity theory.

• Educational Quality
• Didactics
• School Organization
• +9 more

Carlos Ignacio Baeza Avallone is an Associate Professor in the Department of Educational Sciences at CEU Cardenal Herrera University, Faculty of Humanities and Communication Sciences. He has been a faculty member since 2011 and plays a central role in teacher training and educational innovation. He holds leadership positions as Internship Coordinator for multiple undergraduate and master’s programs and was formerly the Coordinator of the Master’s in Teacher Training. Education: PhD in Education Master’s in School Management and Administration Bachelor’s in Psychopedagogy Degrees in Humanities, Early Childhood Education, and Hearing and Language Training in Quality Management, Internal Auditing, Ramain and Dia-Log methodologies His research interests focus on educational quality, didactics, school organization, and pedagogical innovation . He explores the historical and conceptual evolution of quality in education, develops frameworks for assessment, and promotes student participation in learning design. His work bridges theory and practice, emphasizing teacher training, academic writing, and digital integration in education. The analysis of his recent publications reveals a consistent focus on improving educational systems through quality indicators, innovation in teaching methods, and reflective research. His work spans historical studies of educational institutions, neuroeducation, narrative pedagogy, and practical tools for assessment and curriculum development. Scientific Awards: Cum Laude distinction for doctoral thesis on educational quality He actively mentors students as a tutor for degree and master’s programs and leads innovation projects such as the 'Academic Writing Unit for Education Students' and 'Student Participation in Assessment Design.' He collaborates with the Digital Ambassadors team to integrate technology into teaching. While no formal grants are mentioned, his leadership in curriculum and quality initiatives demonstrates institutional impact. He is involved in educational innovation labs and teams focused on digital pedagogy and academic writing support, contributing to systemic improvements in teacher education and student outcomes.

Zachary TatlockView profile

Associate Professor

• Programming Languages
• Formal Verification
• Compiler Optimization
• +5 more

Zachary Tatlock is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington. He leads the UW PLSE research group and focuses on making programming languages and compilers more accessible through formal verification and practical tool development. Current affiliations: University of Washington (Paul G. Allen School) Academic rank: Associate Professor His research spans programming languages, compiler optimization, and formal verification, with recent work on: E-Graphs and equality saturation for program synthesis Floating-point error analysis and accuracy optimization Accessible web layout verification using formal logic Hardware-software co-design for compiler generation His recent publications demonstrate expertise in both theoretical foundations (congruence closure proofs, anti-unification) and practical implementations (Odyssey tool for FP rewriting, Titanic framework for number systems analysis). Collaborations span institutions like Adobe and involve rigorous formal verification in Coq and CakeML.

Işıl DilligView profile

Associate Professor

• programming languages
• program analysis
• program verification
• +4 more

Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her work focuses on programming languages, with specific emphasis on program analysis, verification, and synthesis. B.S., M.S., and Ph.D. from Stanford University Her research aims to enhance software reliability, security, and development efficiency through advanced synthesis techniques. Recent work spans: Neurosymbolic and semantic synthesis Blockchain and smart contract optimization Type systems for safety She has received prestigious accolades including: Sloan Fellowship NSF CAREER award Contributions to the field include leadership roles in conference organization and mentoring initiatives. Her lab actively explores applications in databases, security, and concurrent programming.

Dorothea DornheimView profile

Researcher

• Educational Psychology
• Learning Disorders: Diagnosis and Intervention
• Developmental Dyslexia
• +7 more

Dorothea Dornheim , currently Academic Director at the Department of Psychology I - Developmental Psychology (Otto-Friedrich University Bamberg), has dedicated her career to educational psychology and developmental dyscalculia . The department focuses on cognitive development in early childhood, with an emphasis on mathematical competencies and gender differences in mathematics. Academic Background : Diplom in Psychology (2000), PhD in Psychology (2008) with thesis on predicting arithmetic performance. Previous roles include positions at Ludwigsburg University of Education (2000-2002) and Otto-Friedrich University Bamberg (2002-present). Her research interests center on diagnosis and intervention for learning disorders , particularly dyslexia and dyscalculia , with a focus on early childhood and primary school development. She has contributed to longitudinal studies and teacher training interventions to enhance mathematical language and interaction quality in childcare settings. The article trends highlight her work on early numeracy interventions , teacher professional development , and gender disparities in mathematics. Recent publications (2024) analyze the EarlyMath project , Math Talk in preschools, and self-efficacy of educators. As a member of the German Society for Psychology (DGPs), she engages in expert reviews for journals like the Journal for Mathematics Education . Her collaborations include teams at the Chair of Psychology I and the Baby Research (BAMBI) Group at the university.

Kristina GötzView profile

Researcher

• Cognitive Developmental Psychology
• Reading and Spelling Disorders
• Number Processing and Arithmetic Disorders
• +5 more

Kristina Götz is a researcher in the Department of Educational Psychology at the Weingarten University of Education . Since 2012, she has worked as an academic assistant, focusing on cognitive developmental psychology, reading and spelling disorders, and multilingualism. Her research includes projects like the Multilingual Reading Theatre (MELT) and SPELL-IT, with a particular emphasis on educational interventions for children with developmental challenges. Education: BSc(Hons) in Psychology (University of Glasgow, 1999), PhD (University of York, 2003) Research Priorities: Reading disorders, arithmetic disorders, language acquisition, animal-assisted interventions, self-efficacy, and resilience Her work examines how oral language and phonology interventions impact literacy development, particularly in children with Down syndrome. She has also explored the effectiveness of multilingual reading theatre as an educational tool. Notable trends in her research include: (1) longitudinal studies on reading development, (2) cross-linguistic comparisons, and (3) interdisciplinary approaches combining psychology and educational practice. She has collaborated with distinguished scholars such as Prof. Margaret Snowling and Prof. Charles Hulme, contributing to projects focused on early literacy support and phoneme awareness training.

Richard W. PratherView profile

Associate Professor

• Mathematical learning
• Numerical cognition
• Behavioral and computational modeling
• +1 more

Richard W. Prather is an Associate Professor in the Department of Human Development and Quantitative Methodology at the University of Maryland. His research focuses on mathematical learning and numerical cognition, utilizing behavioral experiments and computational modeling within contextual frameworks. He leads the Cognition and Development Lab, which explores how children acquire mathematical knowledge. Ph.D., University of Wisconsin-Madison B.S., Massachusetts Institute of Technology (MIT) Research Interests: Mathematical learning in children Role of contextual frameworks in numerical cognition Behavioral and computational modeling integration Recent Trends in Publications: His work spans developmental science, cognitive theory, and computational simulations, emphasizing the interplay between neural mechanisms and contextual influences in arithmetic learning. Laboratory: Cognition and Development Lab

Shanna DobsonView profile

Lecturer

• Arithmetic Geometry
• Topos Theory
• MathArt
• +4 more

Shanna Dobson is a Lecturer in the Department of Mathematics at California State University, Los Angeles (College of Natural and Social Sciences) and an Adjunct Assistant Professor at ArtCenter College of Design, where she also serves as Chair of the Faculty Council. She holds a PhD in Mathematics (Summa cum Laude) from the University of California, Riverside, advised by Distinguished Professor Michel L. Lapidus. Her research focuses on Arithmetic Geometry , Topos Theory , Fractal Geometry , and interdisciplinary MathArt (mathematics-art integration). She champions multimodal learning and Universal Design for Learning to make mathematics accessible. She founded the Women, Art, and Mathematics (WAAM) Research Network and the MathArt Conversations Educational Project. Dobson's publications demonstrate strong interdisciplinary trends, blending pure mathematics (Langlands Program, fractal cohomology) with cognitive science, literature, and art. Her work frequently employs category theory to explore topics like quantum error correction, mental imagery, and time perception. Major awards and fellowships include: NSF Mathematical Sciences Graduate Research Fellow UCR Chancellor Distinguished Fellow Mellon Foundation grantee Institute for Advanced Study Women and Mathematics Ambassador Caltech SURF Fellow USC Faculty Equity Fellow She holds leadership roles in professional organizations: Past Chair of the MAA Southern California-Nevada Section, Associate Editor for the Anneli Lax New Mathematical Library , and organizer of multiple AMS special sessions. She co-created ArtCenter's Redesigning the Future Series and serves on scientific advisory boards.

• Recreational Mathematics
• History of Mathematics
• Number Theory
• +6 more

Tomás Guardia, Ph.D., is a Senior Lecturer in the Department of Mathematics at Gonzaga University's College of Arts and Sciences. He also serves as a part-time online instructor at Stanford University's Online High School. With over 20 years of teaching experience in both Venezuela and the United States, Dr. Guardia has taught a wide range of courses including Calculus, Linear Algebra, and the History of Mathematics. Education: B.S. in Mathematics, Central University of Venezuela M.S. in Mathematics, Central University of Venezuela Ph.D. in Mathematics, Central University of Venezuela Dr. Guardia's research lies at the intersection of recreational mathematics, number theory, and the history of mathematics. He is particularly known for his work on Rithmomachia , a medieval mathematical board game, where he investigates number sequences, Pythagorean means, and connections to modern number theory. He also explores the presence of metallic ratios—such as the Golden, Silver, and Bronze ratios—in natural and artistic patterns. His research often involves undergraduate students, promoting hands-on mathematical discovery. His recent publications show a consistent focus on blending historical mathematical games with contemporary number-theoretic concepts, especially through the lens of Rithmomachia. These works span journals in recreational mathematics and mathematical education, reflecting a strong commitment to accessible and engaging scholarship. Dr. Guardia founded the Club Venezolano de Rithmomachia and continues to lead student research in mathematical recreation. While no formal scientific awards are listed, his ongoing projects and publications indicate active scholarly engagement. He advises several students on research in number sequences and mathematical games, often in collaboration with institutions beyond Gonzaga. He is also involved in educational outreach through online teaching and curriculum development, particularly in geometry and number theory applications. His work bridges formal mathematical theory with playful, inquiry-based learning environments.

• Algebra
• Number Theory
• Graph Theory
• +3 more

Thomas McKenzie is a Professor of Mathematics at Gonzaga University. With a Ph.D. in Mathematics from the University of Oregon, he has taught courses such as Calculus, Discrete Mathematics, and Linear Algebra. Research Interests : Algebra and Commutative Algebra Graph Theory with focus on Zero Divisor Graphs and Book Embeddings Number Theory, especially Linear Recurrences and Periodic Sequences Applied Mathematics in Electrical Impedance Tomography Notable Publications Trends : His work spans algebraic structures, linear recurrences, and graph theory, with recent applications in computational mathematics and medical imaging.

• software verification
• automated reasoning
• code synthesis
• +3 more

Ruzica Piskac is a Professor of Computer Science at Yale University's School of Engineering & Applied Science, where she leads the Rigorous Software Engineering (ROSE) group. She joined Yale's Department of Computer Science in 2013 after serving as an Independent Research Group Leader at the Max Planck Institute for Software Systems in Germany. Her educational background includes a PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Her advisor was Viktor Kuncak, and her thesis focused on Decision Procedures for Program Synthesis and Verification . Piskac's research centers on improving software reliability and trustworthiness through formal techniques. Her primary interests span software verification, security and applied cryptography, automated reasoning, and code synthesis. She has developed innovative approaches in symbolic execution for Haskell, privacy-preserving formal methods, functional reactive synthesis, and verification for configuration files. Her work bridges theoretical foundations with practical applications in security, programming languages, and AI systems. Her recent publications (2022-2024) demonstrate a strong focus on applying formal methods to emerging challenges in AI, legal reasoning, quantum computing security, and zero-knowledge proofs. There's a clear trend toward interdisciplinary work connecting formal verification with legal accountability, large language models, and security applications. Multiple Amazon Research Awards (2021-2023) for work on formalizing legal reasoning and automated reasoning Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation Donna L. Dubinsky Associate Professor of Computer Science (2019) Patrick Denantes Prize for her PhD dissertation Piskac has graduated five PhD students, four of whom now hold assistant professor positions in computer science. Her research has been supported by multiple Amazon Research Awards and other funding sources. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and on the Steering Committee of the Formal Methods in Computer-Aided Design conference. Her ROSE group at Yale conducts cutting-edge research in formal methods with applications across software engineering, security, and AI systems.

• Logic Programming
• Abstract Interpretation
• Program Analysis
• +7 more

J. M. Howe is a Professor in the Department of Computer Science at City, University of London, with an active research career spanning over 25 years from 1997 to the present. With an ORCID identifier 0000-0001-8013-6941, Howe has established himself as a prominent researcher in formal methods, logic programming, and the intersection of symbolic and neural approaches to artificial intelligence. Howe's research interests center on abstract interpretation, program analysis, constraint solving, and more recently, neural-symbolic AI. His early work focused on logic programming and abstract domains, particularly systems of two variables per inequality (TVPI), which has remained a consistent thread throughout his career. In recent years, he has expanded into explainable AI, rule extraction from neural networks, and the development of the Neural Multi-Space (NeMuS) framework for integrating symbolic and neural approaches. His research has practical applications in program verification, security (particularly cross-site scripting detection), and agricultural technology. Analysis of Howe's publication trajectory reveals a consistent focus on foundational programming language theory that gradually evolved toward machine learning applications while maintaining strong theoretical underpinnings. His work shows increasing collaboration with researchers in neural networks while preserving his expertise in formal methods, creating a distinctive research niche at the intersection of symbolic and connectionist AI approaches. Howe has made significant contributions to the understanding of widening operators in abstract interpretation, constraint solving techniques, and methods for extracting interpretable rules from black-box neural networks. His research demonstrates both theoretical depth and practical applicability across multiple domains including software verification, security analysis, and computer vision applications. His collaborative work spans multiple institutions, with frequent collaborations with researchers like A. King, M. Brain, F. Mereani, and E. Robbins. This pattern of collaboration demonstrates his integration within both the formal methods and machine learning research communities.