جست‌وجوی استاد و پژوهشگر

• High-Performance Computing
• Neuromorphic Engineering
• Bio-inspired Systems
• +۷ مورد دیگر

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
• +۳ مورد دیگر

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
• +۹ مورد دیگر

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 Tatlockمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Verification
• Compiler Optimization
• +۵ مورد دیگر

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 Dilligمشاهده پروفایل

دانشیار

• programming languages
• program analysis
• program verification
• +۴ مورد دیگر

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 Dornheimمشاهده پروفایل

پژوهشگر

• Educational Psychology
• Learning Disorders: Diagnosis and Intervention
• Developmental Dyslexia
• +۷ مورد دیگر

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ötzمشاهده پروفایل

پژوهشگر

• Cognitive Developmental Psychology
• Reading and Spelling Disorders
• Number Processing and Arithmetic Disorders
• +۵ مورد دیگر

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. Pratherمشاهده پروفایل

دانشیار

• Mathematical learning
• Numerical cognition
• Behavioral and computational modeling
• +۱ مورد دیگر

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 Dobsonمشاهده پروفایل

مدرس

• Arithmetic Geometry
• Topos Theory
• MathArt
• +۴ مورد دیگر

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
• +۶ مورد دیگر

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
• +۳ مورد دیگر

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
• +۳ مورد دیگر

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
• +۷ مورد دیگر

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.

• Industrial Analytics
• AI/Data Science for IoT-enabled Smart Systems
• Reliability Modeling and Optimization
• +۴ مورد دیگر

Akash Deep serves as an Assistant Professor in the Department of Industrial Engineering within the School of Industrial Engineering & Management at Oklahoma State University. His academic foundation includes a Ph.D. in Industrial Engineering from UW-Madison (2022), an M.S. in Statistics from the same institution (2020), and a B.Tech from IIT Roorkee, India (2017). Dr. Deep's research centers on industrial analytics , integrating statistical methodologies with industrial knowledge to model complex systems. Key focus areas include AI for IoT-enabled smart systems, reliability optimization of engineering systems, stochastic control processes, and domain-aware machine learning. His methodological expertise spans stochastic processes, Bayesian optimization, and reinforcement learning. His publication record demonstrates strong alignment with industrial IoT applications and system reliability, particularly through his 2021 IISE Transactions paper on degradation modeling with imperfect maintenance. This work exemplifies his approach of combining data-driven modeling with industrial process constraints. Dr. Deep actively mentors graduate students in industrial engineering and maintains professional engagement through GitHub repositories focused on machine learning implementation and algorithm development. His technical contributions include MATLAB-based deep learning tools and R packages for multivariate arithmetic reduction.

Nadja Lindnerمشاهده پروفایل

پژوهشگر

• Effects and quality of all-day schools
• Extracurricular activities
• School development
• +۶ مورد دیگر

Nadja Lindner is a Researcher in the Department of Education and Psychology at the Free University of Berlin, specializing in Primary Education. She has been working on the FlexGanz research project since March 2024, focusing on all-day school development and children's educational experiences. Her educational background includes: Doctoral studies in Educational Sciences at the University of Potsdam (since January 2020) Master of Arts in Early Childhood Studies from the University of Potsdam and University of Applied Sciences Potsdam (2020) Bachelor of Arts in Primary Education from the Free University of Berlin (2017) Nadja's research focuses on the effects and quality of all-day schools and extracurricular activities, school development, numerical/mathematical development in children, and the transition between preschool and primary school. Her work examines how spatial language skills relate to numerical development and how physical movements influence children's mathematical cognition. Her recent publications demonstrate a strong focus on the connections between spatial cognition, language development, and mathematical understanding in young children. The research shows how children's use of spatial language frameworks correlates with their numerical skills, suggesting important implications for early mathematics education. She has received notable funding for her research: PhD Scholarship from the Graduiertenfoerderung Potsdam (August 2023-January 2024) Scholarship from the University of Applied Sciences Potsdam (October 2018-September 2019) Prior to her current position, Nadja worked as a Researcher in Empirical Childhood Research at the University of Potsdam (January 2020-July 2023) and as a freelancer at Schülerhilfe GmbH und Co KG (January 2014-March 2015). Her work contributes to the EduCare research program at the Free University of Berlin, which focuses on the quality of day schools and their effects on primary school children's development.