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

• Visualization
• Computer Graphics
• Human-Computer Interaction
• +۲ مورد دیگر

Dr. Yingcai Xiao is an Associate Professor in the Department of Computer Science at the University of Akron's College of Engineering and Polymer Science. He joined the university in 1995 after working as a Software Scientist at Intergraph. Education: Ph.D. in Computer Science, Ph.D. in Physics, M.S. in Mathematics Dr. Xiao's research focuses on Visualization , Computer Graphics , Human-Computer Interaction , and their applications in Video Game Design and Numerical Simulation . His work bridges theoretical computing with practical solutions in education, healthcare, and engineering design. His publications from 2006–2008 highlight expertise in open-source learning platforms (e.g., Sakai), virtual surgical systems using fuzzy logic, and distributed 3D CAD systems. These contributions reflect interdisciplinary interests in educational technology, medical simulation, and internet-based systems. Scientific Awards: Co-PI on NSF Grant: Interactive Learning to Stimulate the Brain's Visual Center and to Enhance Memory Retention Dr. Xiao has served as Program Chair for the International Conference on Computer Graphics, Visualization, Computer Vision, and Image Processing (2007–2021), demonstrating sustained leadership in his field. He has also co-authored a chapter in Biologically-Inspired Computing for the Arts: Scientific Data through Graphics , expanding his impact into arts-oriented computational methods.

• Finite Element Analysis
• Computer Aided Design
• Machine Design
• +۳ مورد دیگر

Raghu Agarwal is a Professor and Graduate Program Coordinator in the Mechanical Engineering Department at San José State University. Education: MS and Ph.D. in Mechanical Engineering, Texas A&M University, College Station, TX BSME in Mechanical Engineering, Michigan Technological University, Houghton, MI His research focuses on computational methods and design engineering: Finite Element Analysis applications in structural mechanics Integrated CAD systems development and implementation Mechanical design optimization techniques Advanced stress and failure analysis methods Computer-aided engineering education frameworks Numerical methods for engineering problem-solving Dr. Agarwal developed and restructured multiple graduate courses including ME230 (Advanced Mechanical Engineering Analysis covering Fourier series and PDE solutions), ME265 (Computer Aided Design with Pro/E laboratory integration), ME260 (Advanced Strength and Stress incorporating fracture mechanics), and ME273 (Finite Element Analysis with case studies). At the undergraduate level, he created ME160 (Introduction to Finite Element Analysis), ME165 (Computer Aided Design), ME130 (Applied Engineering Analysis), and ME101 (Dynamics) as a mechanical engineering gateway course. He serves as Director of the ME Computer Lab and Advisor for Pi Tau Sigma Honor Society. His scholarly output includes over 20 refereed publications in journals, conference proceedings, and technical reports spanning computational mechanics and engineering design education.

Chandrakana Nandiمشاهده پروفایل

استادیار

• Programming Languages
• Compilers
• Equality Saturation
• +۵ مورد دیگر

Chandrakana Nandi is the Director of US R&D at Certora and an affiliate assistant professor in the Department of Computer Science & Engineering at the University of Washington's College of Engineering. She completed her PhD at the University of Washington working with Zachary Tatlock and Dan Grossman in the PLSE research group. Her research focuses on building tools for scaling automated formal verification to real-world programs, particularly for DeFi applications. She works extensively with equality saturation techniques (egg project) and has made significant contributions to computational fabrication through projects like Carpentry Compiler, Szalinski, and LambdaCAD. Her work bridges programming languages, compilers, and digital fabrication, creating novel tools that transform how we design and manufacture physical objects. Nandi's publication record shows a strong trajectory in programming language techniques applied to verification and fabrication. Her work on equality saturation has become foundational in the field, with the egg library enabling state-of-the-art results in compiler optimization and program synthesis. Recent work has expanded into formal verification of smart contracts, demonstrating the versatility of her research approach across different domains. Distinguished Paper Award at OOPSLA 2021 Sigplan Research Highlight for POPL 2021 As Director of US R&D at Certora, she leads research efforts on verification tools for languages like WASM and techniques to help users write formal specifications more easily using mutation testing. She has served in numerous organizational roles for major programming languages conferences including as Workshops Co-Chair for ICFP 2025 and Committee Member for PLDI Review Committee. Nandi has established herself as a leader in the intersection of programming languages and computational fabrication, with her work on equality saturation becoming particularly influential across multiple subfields of programming languages research.