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

Arvind Bordeمشاهده پروفایل

عضو هیئت علمی

• Relativity & Cosmology
• Topology
• Mathematical Physics
• +۱۰ مورد دیگر

Arvind Borde is a Senior Professor of Mathematics and Physics at Long Island University, Post campus, where he also serves as Graduate Co-Director in the Department of Mathematics. He is affiliated with the College of Liberal Arts and Sciences and has made significant contributions to mathematical physics, particularly in relativity, cosmology, and topology. His work has had international recognition, including citations at Stephen Hawking's 60th birthday symposium and features in Nature . B.S., Bombay University M.A., Ph.D., Stony Brook University His research focuses on foundational questions in theoretical physics: whether the universe had a beginning, its global shape, and the nature of energy in spacetime. He is best known for the BGV theorem (with Guth and Vilenkin), which proves that inflationary models cannot be past-complete, suggesting a cosmic beginning. His work uses abstract mathematical methods pioneered by Penrose, Hawking, and Geroch to derive general results about spacetime structure. In addition to physics, Borde has deep expertise in computer science, especially in the TeX typesetting system, having authored multiple books and software tools. More recently, he has explored design and food history, co-authoring a biography of ceramic artist Eva Zeisel. The 15 most recent publications reflect a sustained engagement with cosmology, general relativity, and mathematical physics, with key themes including initial singularities, energy conditions, topology change, and baby universes. Later works also highlight his contributions to computing and digital document design, showing a unique interdisciplinary trajectory. Notable scientific awards include: Trustees Award for Scholarly Achievement (1995/96, single work) Trustees Award for Scholarly Achievement (2005, lifetime achievement) KITP Scholar, Kavli Institute for Theoretical Physics, UC Santa Barbara (2007–2009) He has advised graduate students in physics and mathematics and secured grants supporting advanced computing infrastructure, including founding the Southampton College Technology Center. He has held visiting positions at MIT, Tufts University, Brookhaven National Lab, and UC Santa Barbara. His outreach includes establishing a computer museum at LIU Post and contributing to public discourse through media features in The New York Times , Newsday , and the Boston Globe . Borde leads interdisciplinary research initiatives combining physics, computing, and design. He founded the advanced computing facility at Southampton College and maintains an active research group exploring quantum gravity, cosmology, and digital publishing technologies.

Christoph Mathejaمشاهده پروفایل

دانشیار

• Formal Verification
• Probabilistic Programming
• Software Systems Engineering
• +۸ مورد دیگر

Christoph Matheja is an Associate Professor at the Technical University of Denmark , affiliated with the Department of Applied Mathematics and Computer Science . His work focuses on formal verification, probabilistic programming, and software systems engineering. Research Highlights : Operational semantics for probabilistic programs, fixed-point characterizations of rewards in MDPs, and data-driven Petri net modeling for process mining. Publications span formal verification techniques, probabilistic programming paradigms, and tools for process mining, emphasizing interdisciplinary applications in computer science and software engineering. Scientific Awards : POPL 2021 Distinguished Paper Advising & Grants : Supervises PhD students in automated reasoning about randomized algorithms, with project funding active from 2023 to 2026. Professional Activities : Serves on committees for ACM SIGPLAN Symposium on Principles of Programming Languages (2022–present), International Conference on Computer Aided Verification (2023–present), and Formal Methods Symposium (2022–present). Organizer of the 2022 Workshop on Verification of Probabilistic Programs.

Josh Sunshineمشاهده پروفایل

دانشیار

• Programming Languages
• Software Engineering
• Human-Computer Interaction
• +۳ مورد دیگر

Josh Sunshine is an Associate Professor in the Software and Societal Systems Department (S3D) at Carnegie Mellon University's School of Computer Science, with a courtesy appointment in the Human-Computer Interaction Institute. He directs the NSF-funded REUSE program (Research Experiences for Undergraduates in interdisciplinary Software Engineering), providing summer research opportunities for diverse undergraduates across computer science domains including human-computer interaction, programming languages, and software security. His educational background includes a PhD in Software Engineering from Carnegie Mellon University (2013) under Jonathan Aldrich, and a BS from Brandeis University (2004) followed by four years as a software engineer. Prior academic training informs his industry-relevant research approach. Professor Sunshine's research spans programming languages, software engineering, and human-computer interaction with concentrated focus on usability of reusable software components. He investigates how developers interact with libraries, APIs, and testing tools, seeking to bridge formal methods with practical usability through human-centered design. Recent work develops tools that make verification and testing more accessible without sacrificing rigor. Analysis of his 15 most recent publications reveals strong emphasis on human-in-the-loop systems: 60% address software testing/tooling (e.g., TerzoN, Nanofuzz), 25% focus on visualization/education (e.g., Edgeworth), and 15% explore programming language safety (e.g., Rust studies). The work consistently combines empirical user studies with technical innovation, targeting real-world developer pain points. Scientific recognition includes: NSF CAREER Award (2024) for "Scientist-in-the-loop software testing" Best Paper Nominee at ACM Conference on Learning @ Scale (2024) for Edgeworth research Through the REUSE program, Professor Sunshine mentors 15-20 undergraduates annually in collaborative research with faculty including Charlie Garrod and Claire Le Goues. His grant portfolio centers on two major NSF awards: the REUSE site ($1.2M) and CAREER grant ($500k), supporting both research and educational outreach. Current projects integrate testing automation with human judgment and develop scalable tools for visual thinking in STEM education. As a core S3D faculty member, he contributes to CMU's interdisciplinary mission through the Human-Computer Interaction Institute collaboration. His REUSE program specifically builds inclusive research pathways, with 40% participation from underrepresented groups in computing. Future work focuses on expanding the "scientist-in-the-loop" paradigm across software engineering tasks.

• Engineering Graphics
• Descriptive Geometry
• Architectural Design
• +۲ مورد دیگر

Svitlana Anatoliivna Bovkun is a Senior Lecturer at the Department of Integrated Technologies of Welding and Modeling of Structures within the Engineering Faculty of Zaporizhzhia Polytechnic National University. With academic activities since 2005, she specializes in engineering graphics and descriptive geometry, contributing to educational materials and interdisciplinary research at the intersection of design, mathematics, and technical visualization. Education: Electrical Engineer from V.Ya. Chubar Mass Media (1987) Her research focuses on geometric principles in technical representation, including linear perspective techniques and spatial modeling. She has authored textbooks and conference papers exploring dimensional constraints in manufacturing, geometric illusions, and biomimetic design applications. Scientific Activities: Though no formal awards are listed, her work spans 15+ publications, including two major textbooks. She actively participates in the university’s Science Week conferences, presenting research on geometric forms in architecture and bionics in design. Languages: English (with dictionary assistance) Contact: Room 341, 64 Zhukovsky St., Zaporizhzhia, Ukraine Phone: +380(61)769-82-60

Jun Liuمشاهده پروفایل

استاد

• Artificial Intelligence
• Trustworthy AI
• Explainable AI
• +۴ مورد دیگر

Professor Jun Liu is a Professor of Artificial Intelligence and Director of the Artificial Intelligence Research Centre (AIRC) at the School of Computing, Ulster University. With over 270 publications and more than £18 million in research funding, he is a leading figure in artificial intelligence, particularly in trust and explainable AI systems and logic-based reasoning methods. Dr. Liu received his BSc and MSc degrees in Applied Mathematics, and PhD degree in Information Engineering from Southwest Jiaotong University, Chengdu, China, in 1993, 1996, and 1999, respectively. Prior to joining Ulster University, he held postdoctoral positions at The University of Manchester, UK (Feb. 2002 - Dec. 2004) and the Belgian Nuclear Research Centre (SCK*CEN) (Mar. 2000 - Feb. 2002). Professor Liu's research focuses on trust and explainable data-knowledge integrated AI decision models with applications in safety and risk analysis, policy decision making, security/disaster management, and healthcare; and logic and automated reasoning methods for intelligent systems, including resolution-based automated reasoning and lattice-valued logics for handling incomparability, inconsistency, and imprecision. His work spans theoretical foundations to practical applications in smart homes, healthcare, and industrial settings. His recent publications demonstrate a strong trend toward developing more trustworthy and explainable AI systems, with particular emphasis on belief rule-based approaches for handling uncertainty in decision-making. The research spans multiple domains including smart home activity recognition, medical imaging, food quality analysis, and environmental monitoring, showing the versatility and applicability of his methodologies. Ulster University best computer science paper award for 2016 IEEE Senior Member including IEEESMC and IEEECI Fellow of the UK Higher Education Academy Associate Editor of IEEE Transaction on Fuzzy Systems Current Chair of IEEE CIS Emergent Technologies Technical Committee As Director of the Artificial Intelligence Research Centre, Professor Liu has secured significant research funding as principal investigator and co-investigator. His current projects include "The use of Agentic AI in judicial decision-making" funded by EPSRC and "Adaptive Modeling Method for Deep Belief Rule Base" for smart home applications. He serves on editorial boards of multiple high-impact journals and organizes international conferences including the 23rd UK Workshop on Computational Intelligence. The Artificial Intelligence Research Centre under Professor Liu's leadership focuses on developing cutting-edge AI methodologies with practical applications. The center collaborates extensively with industry partners including BT through the BTIIC Phase 2 initiative and PwC through their Advanced Engineering and Research Centre, ensuring research has real-world impact across multiple sectors.

• Information Systems
• Computer Networking and Security
• Cloud Computing
• +۷ مورد دیگر

Dr. David King serves as Professor in the Department of Business Information Systems within the College of Business at Tennessee State University. With over 21 years of academic experience, he holds multiple leadership roles including Academic Chair and Executive Editor-in-Chief at Intellectbase International Consortium. His international profile spans editorial board memberships across six global organizations. Dr. King earned his academic credentials from the University of South Australia: Ph.D. in Business and Management (2003) M.B.I.S. (2000) B.B.I.S. (1999) His educational background extends across Australia, Europe, Africa and North America, complemented by certifications in Cisco Systems, Microsoft, and medical coding disciplines. Research spans blockchain validation, health informatics, and AI-driven systems with notable focus on pandemic response modeling and cross-continental vaccine disparity analysis. Recent publications (2020-2022) demonstrate strategic pivots toward blockchain etymology and data science applications in public health crises, reflecting agile adaptation to emerging global challenges. His work consistently bridges theoretical frameworks with practical implementations in enterprise systems. Scientific recognition includes: 15+ 'Best Paper' awards across international conferences (Venice, Bangalore, Seattle) Four Highest Academic Contribution Awards from Intellectbase (2009-2014) Tennessee State University's 'Best Teaching Award' (2004-2005) Multiple 'Best Reviewer' honors at Intellectbase conferences Dr. King actively supervises graduate research through Strategic Information Systems coursework while leading funded projects including IMF development initiatives in Sub-Saharan Africa. His editorial leadership at Intellectbase facilitates global collaboration networks, with recent work focusing on blockchain validation frameworks and pandemic response analytics. Current advising emphasizes practical implementation of cloud-based information systems. Though no dedicated laboratory is specified, Dr. King's research group operates through Intellectbase International Consortium channels, providing students access to international conference platforms and editorial review processes. His team specializes in rapid-response analytics for global health crises and blockchain infrastructure validation.

Anthony Bowmanمشاهده پروفایل

استادیار

• Thermodynamics
• Heat transfer
• Fluid mechanics
• +۱ مورد دیگر

Dr. Anthony Bowman serves as a Research Assistant Professor in the Department of Mechanical Engineering at Marquette University, where he maintains active research and teaching responsibilities. His academic foundation includes advanced degrees entirely within mechanical engineering disciplines from Marquette University. His educational credentials: Ph.D. in Mechanical Engineering, Marquette University, 2007 M.S. in Mechanical Engineering, Marquette University, 2001 B.S. in Mechanical Engineering, University of Wisconsin-Platteville, 1992 Dr. Bowman's research program centers on thermofluid phenomena with emphasis on heat transfer , thermodynamics , and fluid mechanics . His work integrates numerical modeling and simulation techniques to analyze complex thermofluid equipment and processes, particularly focusing on system-level behavior in coiled geometries and thermal management applications. This interdisciplinary approach bridges theoretical fluid dynamics with practical engineering design challenges. His publication record demonstrates consistent expertise in computational thermofluids and engineering education. The 2009 textbook on CAD modeling reflects his commitment to pedagogical innovation, while the 2006 conference series on coiled tube systems and motorcycle exhaust thermal performance establishes his specialization in thermal system analysis. Collectively, these works reveal a research trajectory focused on developing analytical frameworks for thermofluid equipment with industrial relevance. Current information indicates no formal advising responsibilities or laboratory leadership roles. Dr. Bowman maintains professional engagement through scholarly publications and curriculum development within the mechanical engineering program.

Graziano Vernizziمشاهده پروفایل

استاد

• Computational Physics
• Theoretical Physics
• Random Matrix Theory
• +۴ مورد دیگر

Graziano Vernizzi serves as Professor in the Department of Physics and Astronomy at Siena University (formerly Siena College) since 2016, having previously held Associate Professor (2013-2016) and Assistant Professor (2010-2013) positions at the same institution. His academic journey includes a Research Professor role at Northwestern University (2006-2010) and prestigious postdoctoral appointments at the Niels Bohr Institute, University of Oxford, CEA/Saclay, Spinoza Institute, and Northwestern University. His educational background includes: B.S. in Physics, University of Parma, Italy (1995) Ph.D. in Physics, University of Parma, Italy (2000) Vernizzi's research integrates computational and theoretical physics to address nanoscale phenomena, with core interests in Random Matrix Theory, biophysics (RNA/ssDNA structures and membrane theory), soft condensed matter physics, and nanoscale science. He develops computational models to analyze complex systems where theoretical frameworks are essential for interpreting experimental data, driving technological innovation and expanding career opportunities in emerging scientific fields. His methodology frequently bridges mathematical rigor with physical applications across disciplinary boundaries. Analysis of his publication trends reveals consistent interdisciplinary work connecting mathematics, physics, and engineering. Key recurring themes include topological constraints in biological and electronic systems, statistical mechanics approaches to soft matter, and algorithmic innovations for verification problems. His research demonstrates particular strength in applying abstract mathematical concepts like random matrix theory to concrete biophysical and engineering challenges, resulting in publications spanning Physical Review journals, Soft Matter, and specialized engineering conferences. His scientific recognition includes: Trust-Co Excellence Honor for advancing the mission of Siena College (Trustco Bank, 2015) No information regarding student advising, research grants, or dedicated laboratory facilities was provided in the source material. His professional activities focus on computational research, course development in nanoscale physics, and interdisciplinary collaboration without mention of specific research teams or experimental facilities.

Günter Barczikمشاهده پروفایل

استاد

• Computational Design
• Digital Representation Theory
• Algebraic Geometry in Architecture
• +۷ مورد دیگر

Professor Günter Barczik serves as a Full Professor at the University of Applied Sciences Erfurt within the Faculty of Architecture and Urban Planning, holding the Professorship for Design, Digital Representation Theory and Computational Design. He has been in this position since September 2011 and previously served as an Assistant Professor at Brandenburg University of Technology Cottbus-Senftenberg from October 2004 to October 2010. His office is located at Schlüterstraße 1, Room 414, and he also serves as the Equal Opportunities Officer for the institution. Barczik's research interests center on computational approaches to architectural design, with particular focus on digital representation theory, immersive technologies, and the application of algebraic geometry in architectural contexts. His work explores how mathematical concepts can expand architectural vocabulary and how new technologies can transform traditional design processes. He investigates the intersection of computational tools with creative thinking, sustainable architecture practices, and visual communication methods. Analysis of Barczik's publication history reveals a consistent trajectory exploring the integration of computational methods with architectural design. His work demonstrates a progression from fundamental explorations of algebraic surfaces in architecture (2009-2012) toward more applied investigations of immersive technologies, team dynamics in design processes, and the evolving relationship between designers and digital tools. A recurring theme throughout his research is the examination of how computational techniques can enhance traditional design thinking while addressing contemporary challenges in urban planning and architectural representation. With 22 publications accumulating 5,886 reads and 65 citations, Barczik has established himself as a significant contributor to computational design discourse. His work connects architecture with mathematics, computer science, and interdisciplinary team dynamics, reflecting a holistic approach to design education and practice. His research demonstrates consistent engagement with both theoretical frameworks and practical applications of computational design methods in architectural education and professional practice.

Barbara Kraszpulskaمشاهده پروفایل

دانشیار

• Anatomy Education
• Medical Education Technology
• Computer-Assisted Learning
• +۳ مورد دیگر

Barbara Kraszpulska serves as Associate Professor of Neuroscience, Cell Biology & Physiology and Director of NCBP Graduate Programs at Wright State University's College of Science and Mathematics. Her primary academic home resides within the Department of Neuroscience, Cell Biology & Physiology, where she directs graduate programs and teaches human anatomy courses across both the College of Science and Mathematics (CoSM) and Boonshoft School of Medicine (BSOM). Her research focuses on innovative pedagogical approaches in anatomy education , specifically the development and evaluation of computer-assisted learning tools. She pioneered the Computer-Based Dissection Manual (CBDM) series covering cranium, thorax, upper extremity, and abdomen/pelvis regions, which has been formally adopted across multiple anatomy courses at Wright State. Her work bridges traditional cadaveric dissection with digital learning environments, examining student perspectives on educational efficacy through publications in MedEdPORTAL and the Journal of the International Association of Medical Science Educators. Dr. Kraszpulska's publication record reveals a consistent trajectory in digital anatomy education from 2009-2013, with emphasis on creating modular, interactive learning objects for specific anatomical regions. Her research demonstrates particular expertise in translating complex anatomical structures into accessible digital resources while maintaining pedagogical rigor. Collaborative work with colleagues across anatomy and medical education departments underscores her team-based approach to curriculum development. As Director of NCBP Graduate Programs, she oversees academic pathways within neuroscience and physiology disciplines. Her teaching portfolio includes course directorship for Human Gross Anatomy (ANT 7110) and co-course direction for Human Architecture sequences at the medical school level, reflecting dual responsibilities across undergraduate and graduate medical education.