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

Won Taek Ohمشاهده پروفایل

دانشیار

• Geotechnical Engineering
• Unsaturated Soils
• Slope Stability
• +۲ مورد دیگر

Dr. Won Taek Oh is an Associate Professor in Civil Engineering at the University of New Brunswick, specializing in Geotechnical Engineering. He holds dual Ph.D.s from the University of Ottawa (2012) and Pusan National University (2003), along with MASc and BASc degrees from Pusan National University. His research focuses on unsaturated soils, retaining walls, ground improvement techniques, bearing capacity analysis, and slope stability. He teaches courses in Soil Mechanics, Foundation Engineering, and Advanced Geotechnics. Dr. Oh has delivered keynote lectures internationally on unsaturated soil mechanics applications and published extensively in leading geotechnical journals. His recent work investigates trench stability, pavement design, and clay behavior under varying moisture conditions.

Guillermo Payá Vayáمشاهده پروفایل

استاد

• Embedded Systems
• Processor Architecture
• FPGA Design
• +۵ مورد دیگر

Prof. Dr.-Ing. Guillermo Payá Vayá leads the Chair for Chip Design for Embedded Computing at Technical University of Braunschweig's Faculty of Electrical Engineering, Information Technology, and Physics. His research focuses on processor architecture design, FPGA/ASIC implementations, and optimization techniques for embedded systems, particularly in high-performance, low-power, and radiation-hardened computing domains. Primary research interests include: Application-Specific Instruction Set Processors (ASIPs) and compiler co-design Radiation effects characterization and fault-tolerant hardware Ultra-low-power processor architectures for embedded AI Hardware acceleration of neural networks and computer vision algorithms Memory subsystem optimization and parallel computing techniques Recent publications demonstrate strong emphasis on radiation-hardened electronics (35% of recent works), AI accelerator design (27%), and ultra-low-power systems (20%), with growing interest in biomedical applications. Experimental validation through FPGA prototyping and semiconductor testing is a consistent methodology across research domains. Leads research team investigating: Radiation-tolerant FPGA architectures (Trumann, Weide-Zaage) Vector processor optimization (Gesper, Thieu) Nano-scale controller design (Weißbrich) AI-hardware co-design (Kautz, Beyer)

• Ecotourism
• Tourism Ethics
• Nature-Based Tourism
• +۳ مورد دیگر

David Fennell is a Professor in the Department of Geography and Tourism Studies at Brock University, specializing in ecotourism, tourism ethics, and sustainable tourism practices. As Editor-in-Chief of the Journal of Ecotourism , he contributes significantly to academic discourse on ethical and environmental aspects of tourism. His research focuses on ecotourism policy, animal welfare in tourism, and the moral implications of tourism activities involving animals. Fennell teaches courses such as TOUR 2P32: Nature-based Tourism and TOUR 3P35: Tourism Ethics , emphasizing critical analysis of tourism's societal and environmental impacts. His work bridges theoretical frameworks with practical applications, advocating for responsible tourism practices globally. Research Interests: Fennell's expertise spans ecotourism, ethical tourism, and sustainable development. He explores how tourism policies can promote environmental conservation and address ethical dilemmas, particularly regarding wildlife interactions. His studies often highlight the tensions between economic benefits and ecological integrity in tourism destinations. Publications: Fennell has authored seminal books including Ecotourism (4th ed.), Tourism Ethics (2nd ed.), and contributed to influential volumes like the Routledge Major Works Collection on Tourism Ethics . His recent research emphasizes animal welfare literacy, benchmarking practices in wildlife tourism, and the ethical dimensions of dark tourism involving animals. Professional Contributions: Beyond academia, Fennell actively engages in shaping tourism policies through his editorial work and collaborations with industry stakeholders. His contributions address global challenges like climate change adaptation in nature-based tourism and balancing conservation with visitor access.

Isabel Taskerمشاهده پروفایل

مدرس ارشد

• Chinese Pedagogy
• Applied Linguistics
• Distance Education
• +۲ مورد دیگر

Isabel Tasker is an Adjunct Senior Lecturer at the University of New England's School of Humanities, Arts, and Social Sciences, with over three decades of experience teaching Mandarin across diverse educational contexts. Her scholarly work focuses on Chinese pedagogy, applied linguistics, and distance education, particularly examining social, affective, and conceptual dimensions of long-term language learning. As Coordinator of Languages and Cultures, she oversees bachelor's programs in Languages and International Business. Research investigates temporal patterns in language acquisition, innovative peer learning models like tandem translation, and curriculum development for evolving learning environments.

• Programming Languages
• Semantics
• Type Systems
• +۵ مورد دیگر

Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.

• Environmental Policy
• Public Administration
• Science and Politics
• +۴ مورد دیگر

Edward Weber is the Ulysses Dubach Professor of Political Science at Oregon State University's School of Public Policy. He holds a B.A. from Colorado State University, and M.A. and Ph.D. from the University of Wisconsin-Madison. His career includes roles as Director of the Thomas S. Foley Institute at Washington State University and Director of the School of Environmental and Public Affairs at the University of Nevada-Las Vegas. His research focuses on environmental policy, public administration, and collaborative governance, particularly in water resource management and sustainability. Education: B.A. in Political Science, Colorado State University (1978) M.A. and Ph.D. in Political Science, University of Wisconsin-Madison (1991, 1996) Research Interests: Environmental politics, public administration, science and politics, collaborative governance frameworks, and sustainability. His work emphasizes integrating society into policy-making, particularly in natural resource management and watershed governance. Recent Articles Trends: Focuses on wicked problems in environmental governance, climate change, integrated water-energy-food systems, and collaborative policy implementation. Recent work addresses challenges in Oregon's agricultural systems, Central Asia's water user associations, and Pacific Northwest salmon recovery efforts. Awards: 2008-09 Outstanding Professor of the Year (WSU) 2006-07/2007-08 Arete Award (WSU) Fulbright Senior Specialist (2006-2010) Advising & Grants: Led multi-million-dollar projects like the U.S. State Department's Central Asia water policy initiative ($650,000) and NOAA-funded salmon recovery studies. Advised organizations including the Ash Institute and U.S. Bureau of Land Management. Authored over 40 journal articles and books such as Bringing Society Back In (2003) and New Strategies for Wicked Problems (2017). Labs/Teams: Collaborative initiatives include the Ruckelshaus Center, Shared Strategy for Puget Sound, and Universities Consortium on Columbia River Governance. Engaged in global partnerships with institutions in Japan, New Zealand, Slovenia, and Uzbekistan.

Eric Koskinenمشاهده پروفایل

دانشیار

• Concurrent Programming
• Formal Verification
• Programming Languages
• +۳ مورد دیگر

Eric Koskinen is the Charles Berendsen Chair Associate Professor in the Department of Computer Science at Stevens Institute of Technology. His research focuses on improving concurrent software development for multi-core and distributed systems through advances in programming languages, verification techniques, and formal methods. He holds a PhD from the University of Cambridge and has held roles at Yale, NYU, and industry positions at IBM, Microsoft, and Amazon. Education: PhD (2013) University of Cambridge, MS (2008) Brown University, BS (2001) William & Mary Research Interests: Concurrent programming, formal verification, programming language design, and distributed systems Recipient of over $5M in grants from NSF/ONR/DARPA. Active in conference organization (POPL, PLDI) and has developed verification tools like CityProver and Veracity. Advises PhD students in concurrency research and teaches courses on programming languages, discrete structures, and software verification.

Michael Jantzمشاهده پروفایل

دانشیار

• Compilers
• Operating Systems
• Virtual Machines
• +۶ مورد دیگر

Michael Jantz is an Associate Professor in the Department of Electrical Engineering and Computer Science at the University of Tennessee, Knoxville. He earned his BS, MS, and PhD in Computer Science from the University of Kansas (2008–2014). His research focuses on compiler optimization, runtime systems, and memory management for modern architectures. He leads the CORSys Research Group, which explores tools and techniques to enhance software performance, power efficiency, and security. Key projects include application-guided memory management for heterogeneous systems and profiling techniques for compiler optimization. Education: PhD in Computer Science, University of Kansas, 2014 MS in Computer Science, University of Kansas, 2010 BS in Computer Science, University of Kansas, 2008 Research Interests: Compilers, operating systems, runtime systems, memory hierarchies, performance optimization, and embedded systems. His work is supported by NSF, DOE, and Intel. Awards: NSF CAREER Award (2020) Teaching: Courses include Systems Programming (COSC 360), Compiler Construction (COSC 461/561), and Software Systems (COSC 560). Recent courses were taught online during 2020–2021. Labs/Teams: CORSys Research Group investigates compute performance, program analysis, and secure execution on modern architectures.

Amal Ahmedمشاهده پروفایل

استاد

• Programming Languages
• Compiler Verification
• Secure Compilation
• +۳ مورد دیگر

Dr. Amal Ahmed is a Professor of Computer Science at Northeastern University's Khoury College, where she leads research on programming languages and compilers. Her work develops formal foundations for secure multi-language software systems. Core research areas: Compiler correctness for heterogeneous codebases Type-preserving compilation Secure interoperability (FFI/ABI semantics) Gradual typing theory Recent publications address WebAssembly security, probabilistic program verification, and ABI specification. Methodological innovations include logical relations for compiler verification and multi-language semantic frameworks. Honors and funding: NSF CAREER Award (2015) Google Faculty Research Award (2014) DARPA V-SPELLS grant NSF SHF grants Dr. Ahmed directs the SILC (Secure Interoperability, Languages, and Compilers) group and co-organizes programming languages mentoring workshops. She teaches graduate courses on type theory and compiler verification.

Prasad A. Kulkarniمشاهده پروفایل

استاد

• Compilers
• Computer Architecture
• Runtime Systems
• +۴ مورد دیگر

Prasad A. Kulkarni is a Professor in the Department of Electrical Engineering and Computer Science (EECS) at the University of Kansas. He leads the Compilers, Architectures, and Runtime Systems (CARS) research group, focusing on compiler optimizations, runtime systems, and cyber-security in embedded systems. His work addresses challenges like efficient parallel execution, compiler phase ordering, and secure software execution on multi-core and heterogeneous architectures. Education: Ph.D. in Computer Science from Florida State University (2007). Awards include the NSF CAREER Award (2010) and the Harry Tally Excellence in Teaching Award (2012, 2017). He has advised numerous graduate students in areas such as compiler transformations, virtual machine optimization, and binary analysis. Research interests span compiler design, computer architecture, and runtime systems. Recent work emphasizes binary analysis for security (e.g., detecting security checks in binaries) and improving performance in embedded systems. His publications explore topics like dynamic binary translation, memory management, and decompiler accuracy. Teaching includes courses on compilers, computer systems design, and security. He actively recruits students interested in solving efficiency and security challenges in modern computing systems.

Jinqiu Yangمشاهده پروفایل

دانشیار

• Software Engineering
• Automated Program Repair
• Software Testing
• +۴ مورد دیگر

Jinqiu Yang is an Associate Professor in the Department of Computer Science and Software Engineering at Concordia University. His research focuses on software reliability, automated program repair, software testing, and quality assurance of machine learning systems, particularly in autonomous vehicles. He holds a PhD and MASc from the University of Waterloo and a B.Eng. from Nanjing University. Yang has been a tenure-track faculty member at Concordia since 2018, following research roles at IBM Watson and IBM CAS. Research Interests: Automated Program Repair Software Testing Machine Learning Systems Text Analytics of Software Artifacts Mining Software Repositories Autonomous Systems Quality Assurance Key Contributions: His recent work includes detecting concept drifts in ML systems (ICSE-25) and investigating social bias in LLM-generated code (AAAI-25). He leads the O-RISA Lab and has authored over 50 peer-reviewed publications, including distinguished papers at MSR-2018. Yang currently holds grants such as the NOVA FRQNT-NSERC Program (2024-2027) and the NSERC Discovery Grant (2019-2025). Service & Awards: Editorial Board Member of the Empirical Software Engineering Journal (EMSE) and active PC member in top venues like ICSE and FSE. Recipient of the IBM CAS Fellowship and ACM SIGSOFT Distinguished Paper Award. Teaching & Students: He mentors students in Master's and PhD programs, with funding available. His lab focuses on cutting-edge topics like secure code generation and autonomous vehicle reliability.

• Cloud Computing
• High Performance Computer Architectures
• Parallel and Distributed Processing
• +۳ مورد دیگر

Dr. Robert K. Chun is a Professor in the Department of Computer Science at San José State University (SJSU), part of the College of Engineering. He holds a BSEE (1979), MSCS (1981), and Ph.D. (1989) from UCLA. With 20+ years in industry, he joined SJSU as a full-time faculty in 2001. His research focuses on Cloud Computing, parallel processing, high-performance architectures, and AI. He received NASA Faculty Fellowships (2002-2003) and holds a U.S. patent for real-time expert systems integration. Education: Bachelor of Science, Electrical Engineering, UCLA (1979) Master of Science, Computer Science, UCLA (1981) Doctor of Philosophy, Computer Science, UCLA (1989) Research Interests: Cloud Computing architectures and scalability High-performance computing and parallel algorithms Software engineering for distributed systems CAD tools for VLSI design verification Artificial intelligence and neural networks Publications highlight advancements in parallel processing, distributed systems, and compiler optimization. Notable works include adaptive transactional memory algorithms, wireless cluster computing frameworks, and EJB performance measurement tools. His NASA-funded research at Ames Supercomputing Center explored parallel computing applications. Advising and Grants: Advised 16 Master’s theses, including topics like dynamic clusters and intelligent debuggers Contributed to industry-university partnerships through NASA collaborations Labs/Teams: Active in SJSU’s parallel processing and computer architecture research groups, contributing to course development in advanced parallel processing and operating systems.

Kirsten K. Davisمشاهده پروفایل

استاد

• Legal Communication
• Legal Ethics
• Generative Artificial Intelligence in Legal Education
• +۳ مورد دیگر

Kirsten K. Davis is a Professor of Law at Stetson University College of Law , where she serves as the Director of Online Legal Education Strategies and Faculty Fellow for Generative Artificial Intelligence and Higher Education (appointed 2024). She holds a J.D. from The Ohio State University Moritz College of Law (summa cum laude, Order of the Coif) and a PhD in Human Communication from Arizona State University's Hugh Downs School of Human Communication. Native Ohio farm kid Former federal judicial clerk and Jones Day attorney Research Focus : Intersection of legal communication and legal ethics Pioneering research on generative AI's impact on legal writing and education Founded Stetson's Institute for the Advancement of Legal Communication Leader of 400+ law professors studying AI's legal implications Classical rhetoric applications in modern legal practice Scientific Awards : Stetson Dean's Award for Extraordinary Service Stetson Award for Teaching Excellence Homer and Dolly Hand Award in Faculty Research 2021 Stetson Board of Trustees Innovation Award Inaugural AALS Technology Mentorship Award (2024) ABA Women of Legal Tech (2024) Professional Service : Former chair of AALS Annual Meeting Program Committee Current co-chair of AALS Section on Technology, Law, and Legal Education Co-chair of Legal Writing Institute's AI Committee Member of Florida Bar Standing Committees on Professionalism and Technology

• Theatre Studies
• Renaissance Drama
• Critical Race Theory
• +۴ مورد دیگر

Matthieu Chapman is an Associate Professor in the Department of Theatre Arts at SUNY New Paltz, specializing in critical race theory, Renaissance drama, and Shakespearean studies. Their research interrogates racial representation in early modern English drama, focusing on transracial casting, the black body as theatrical prop, and the intersection of race, gender, and cultural identity in performance contexts. Key research trends in Chapman's publications include deconstructing racialized corporeality in Shakespearean adaptations, analyzing dog-whistle semiotics in early modern texts, and challenging dominant paradigms of racial representation. Their work frequently examines the historical construction of racial antagonisms in theatrical contexts and contemporary implications for performance practice. Chapman's scholarship appears in journals like Theatre History Studies , with articles exploring topics such as: Latinidad in Shakespearean contexts, stained glass metaphors in staging, and fragmented Black identity narratives. They have contributed to edited collections and special sections addressing race in Renaissance performance.

Adi Yoga Sidi Prabawaمشاهده پروفایل

مدرس ارشد

• Automated Software Verification
• Language-based Information Flow Control
• Type System
• +۴ مورد دیگر

Adi Yoga Sidi Prabawa is a Senior Lecturer (Educator Track) at the National University of Singapore's School of Computing, Department of Computer Science. He also serves as Deputy Director of the Centre for Nurturing Computing Excellence (CeNCE). His academic journey includes a B.Sc. in Computer Science (2011) and Ph.D. in Computer Science (2019), both from NUS. His research focuses on Automated Software Verification , Language-based Information Flow Control , Type System , and Program Analysis . His work bridges theoretical computer science with practical security applications. His teaching spans computer organization, database systems, and programming languages, where he has developed educational tools for MIPS processor simulation and compiler implementation. His research publications include work presented at VMCAI 2018 and APLAS 2019, focusing on information flow verification and lattice representation in theorem provers. These works demonstrate his expertise in formal methods and programming language theory. IBM Certified Database Associate Microsoft Certified Technology Specialist Microsoft SQL 2008 Business Intelligence Development and Maintenance As an educator, he has taught numerous courses including CS2100 Computer Organisation, CS2102 Database Systems, and CS1010E Programming Methodology across multiple semesters from 2018-2022. He has developed comprehensive educational materials including MIPS interpreter, assembler, and compiler tools that serve as valuable resources for students learning computer architecture.