جستجوی استاد راهنمای دانشگاهی

Shiva Nejatiمشاهده پروفایل

استاد

• Software Engineering
• Cyber-Physical Systems
• Autonomous Vehicles
• +۷ مورد دیگر

Shiva Nejati is a Professor at the University of Ottawa 's School of Electrical Engineering and Computer Science . He holds a PhD in Computer Science from the University of Toronto and previously worked as a Senior Scientist (2012-2019) and Scientist (2009-2012) at the SnT Centre (University of Luxembourg) and Simula Research Laboratory. Research focus: Software engineering for cyber-physical systems (autonomous vehicles, IoT), blending formal verification, machine learning, and search-based testing Key tools developed: ARIsTEO, SOCRaTEs, SimCoTest, EPIcuRus Editorial roles: Associate Editor for EMSE Journal (2025–), ASE Journal (2025–), IEEE Transactions on Software Engineering (2020–2024) His work combines formal methods , empirical software engineering , and AI/ML to address verification challenges in complex systems, particularly through evolutionary algorithms and surrogate modeling . Notable collaborations include industry partners in telecommunications, automotive, and aerospace sectors. Recent publications emphasize large language models for requirements analysis, adversarial testing of vision systems, and multi-objective optimization for test generation. His Sedna Research Lab actively trains graduate students in these cutting-edge methodologies.

Ryo Suzukiمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Robotics
• Tangible User Interfaces
• +۶ مورد دیگر

Ryo Suzuki is an Assistant Professor in the Department of Computer Science at the University of Calgary's Faculty of Science. His research focuses on Human-Computer Interaction (HCI) and robotics, particularly in tangible user interfaces, swarm robotics, and shape-changing interfaces. He holds a PhD in Computer Science from the University of Colorado Boulder (2020) and has conducted research internships at Stanford University, UC Berkeley, the University of Tokyo, and Adobe Research. His educational background includes advanced coursework in robotics and HCI, with a strong emphasis on interdisciplinary innovation. He teaches courses such as Human-Computer Interaction II, Human-Robot Interaction, and Special Topics in Mixed Reality Application Design. Research interests include designing novel interfaces for AR/VR/MR systems, haptic feedback mechanisms, and collaborative robotics. His work often bridges physical and digital spaces, such as through projects like LiftTiles (shape-changing building blocks) and RoomShift (room-scale haptic environments). Key awards include the UIST 2020 Honorable Mention Paper Award, DIS 2019 Best Paper Award, and the Ministry of Internal Affairs and Communications in Japan Innovation Award. His research has been featured in IEEE Computer Graphics and Applications, TechXplore, and Wired. He actively explores future work in symbiotic AI systems, AI-in-the-loop AR applications, and scalable shape-changing robotics. His lab emphasizes hands-on prototyping and user-centered design principles.

Dino Pedreschiمشاهده پروفایل

استاد

• Big Data Analytics
• Social Network Analysis and Mining
• Analysis of Human Mobility
• +۱۷ مورد دیگر

Dino Pedreschi is a Full Professor of Computer Science at the University of Pisa, affiliated with the Department of Computer Science (DI-UNIPI). He co-leads the Pisa KDD Lab, a joint research initiative between the University of Pisa and the Italian National Research Council’s Institute of Information Science and Technology, one of the earliest labs focused on data mining and knowledge discovery. His research spans Big Data Analytics , Social Network Analysis , Human Mobility Analysis , Privacy-by-Design , Explainable AI (XAI) , and ethical data mining . He is a pioneer in privacy-preserving data mining and has contributed significantly to understanding societal impacts of AI and big data. Recent publications highlight trends in explainable AI , fairness-aware data mining , urban mobility modeling , and socio-economic nowcasting , reflecting a strong interdisciplinary focus combining computer science, social science, and policy. Notable scientific awards include: Google Research Award on Privacy (2009) University of Pisa Ordine del Cherubino (2017) Pedreschi has played leadership roles in major conferences such as ECML/PKDD (Co-Chair 2004), ICDM (Vice-Chair 2005), and ICDE (Vice-Chair 2014). He founded the Business Informatics MSc program at the University of Pisa to train interdisciplinary data scientists. He has been a visiting scientist at the University of Texas at Austin, CWI Amsterdam, UCLA, and the Barabási Lab at Northeastern University. He actively contributes to European research initiatives including SoBigData++, FAIR, and TAILOR, and has advised on AI policy, including testimony before the Italian Parliament on AI and labor markets. He is a key member of the Pisa KDD Lab, a leading research group in data science and AI ethics, fostering collaboration between academia and public institutions.

Shrirang Mareمشاهده پروفایل

استادیار

• Security and Privacy
• Usable Security
• Human-Computer Interaction
• +۳ مورد دیگر

Shrirang Mare is an Assistant Professor in the Computer Science Department at Western Washington University (WWU), focusing on computer security and privacy with emphasis on usable security solutions for diverse user groups including low-literate individuals, the elderly, and cross-cultural populations. His research bridges human-computer interaction and cyber-physical systems to create accessible security mechanisms for emerging technologies. His educational background includes a PhD in Computer Science from Dartmouth College (2016), where his dissertation on seamless authentication for ubiquitous devices established his research trajectory. Dr. Mare's research interests encompass security and privacy, human-computer interaction, and cyber-physical systems, with specialized focus on security for low-literate users and developing regions. His work consistently addresses real-world applicability through field studies in countries like India and Pakistan, examining mobile payment systems, SMS fraud, and smart home privacy challenges. Analysis of his 15 most recent publications (2018-2024) reveals a dominant trend in wearable-based authentication systems (wristbands for desktops/smartphones) and privacy solutions for consumer IoT, particularly smart homes. His research uniquely combines technical security mechanisms with deep user-centered design principles, often targeting underserved populations in developing regions. No scientific awards or fellowships were mentioned in the provided documentation. Teaching responsibilities include Privacy Enhancing Technologies, Object Oriented Design, and Data Structures at WWU, with prior guest lectures at UC Berkeley and the University of Washington; no current advisees or grant funding details were specified. Dr. Mare operates within the Computer Science Department at WWU but no dedicated research lab or team structure was referenced in the source materials.

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +۷ مورد دیگر

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.

• Chinese Language Pedagogy
• Chinese Linguistics
• Chinese Cinema
• +۵ مورد دیگر

Zhiqiang Yu serves as an Associate Professor in the Department of Modern Languages and Comparative Literature at Baruch College's Weissman School of Arts and Sciences, City University of New York. With over two decades of teaching experience, he has established himself as a dedicated educator specializing in Chinese language, cinema, and civilization courses. Education: Ph.D. in Chinese, University of Washington M.A. in Asian Civilization, University of Iowa B.A. in Chinese Literature, Fudan University (Shanghai) Professor Yu's research focuses on innovative approaches to Chinese language pedagogy, with particular interest in applying economic principles and artificial intelligence to language teaching. His work bridges traditional linguistic scholarship with modern educational technology, examining how efficiency, resource allocation, and technological advancements can enhance language learning outcomes. His research spans Chinese linguistics, dialectology, cinema studies, and cultural elements in language teaching. His publication record reveals a consistent trajectory toward optimizing language instruction through systematic analysis. Recent work increasingly focuses on AI applications in language education and the economic framework of pedagogical efficiency. His scholarship demonstrates a progression from traditional linguistic analysis toward innovative teaching methodologies that incorporate modern technological and theoretical frameworks. Scientific Awards: Award of Excellent Academic Research Reviewer from Journal of International Chinese Education (2016) Graduate Teaching Fellowship from University of Washington (1993) Graduate Teaching Fellowship from University of Iowa (1989) Graduate Research Fellowship from University of Iowa (1988) Student Excellency Award from Fudan University (1984) Professor Yu has served extensively on departmental committees including as Department Assessment Coordinator and Secretary of the Asian and Asian-American Studies Committee. He has organized numerous academic events featuring prominent Chinese cultural figures and has contributed to developing Chinese language curriculum resources including online placement tests. His professional service extends to editorial work for CUNY publications and Chinese language training for the New York Police Academy. He maintains active involvement with multiple professional organizations including the American Name Society, American Oriental Society, American Society of Geolinguistics, Association for Asian Studies, and Chinese Language Teachers Association, frequently presenting at international conferences on Chinese language pedagogy.

Daniel E. Koditschekمشاهده پروفایل

استاد

• Dynamical Systems and Control
• Hybrid Control Systems
• Legged Locomotion
• +۷ مورد دیگر

Daniel E. Koditschek is the Alfred Fitler Moore Professor in the Department of Computer and Information Science at the University of Pennsylvania’s School of Engineering and Applied Science. He also holds primary appointments in the Department of Electrical and Systems Engineering and a research affiliation with the Department of Mechanical Engineering and Applied Mechanics. He is a leading figure in the GRASP Lab, where he leads the Kod*lab, a specialized group focused on physical interaction and locomotion in autonomous robots. His research lies at the intersection of dynamical systems theory and robotics, emphasizing legged locomotion, hybrid control systems, and bio-inspired design. Koditschek's work integrates formal mathematical modeling with empirical testing of physical robots that run, jump, climb, and manipulate objects. He actively explores how biological insights into animal mobility can inform robotic autonomy and control. His group maintains strong collaborations with biologists and emphasizes embodied intelligence in machine behavior. The recent publications reflect a strong trend in applying theoretical control frameworks—such as hybrid dynamical systems, averaging methods, and navigation functions—to practical robotic challenges in unstructured environments. Topics include terrain adaptation, energy-efficient locomotion, reactive planning, and affordance-based interaction. There is a clear focus on bridging abstract mathematical models with real-world robotic performance, particularly in legged and mobile manipulation systems. IEEE RAS Pioneer Award Heilmeier Research Award AFOSR MURI Award (2010) Daniel Koditschek has advised numerous PhD students and postdoctoral researchers, many of whom now hold faculty positions or leadership roles in robotics companies like Ghost Robotics and Boston Dynamics. His research is supported by major grants from the NSF and AFOSR, including the MURI award and REU/RET programs that engage K-12 and undergraduate educators. He has also been involved in international outreach, including activities at the Penn Wharton China Center. Koditschek leads the Kod*lab within the GRASP Lab’s PERCH facility, which houses advanced legged robots such as the Ghost Minitaur, XRHhex, Inu, Delta Hopper, and Jerboa platforms. The lab emphasizes experimental validation of control theories using custom hardware and real-world terrain challenges.

• South Asian Art History
• Jaina Art and Architecture
• Indo-Islamic Architecture
• +۴ مورد دیگر

Prof. Dr. Julia A. B. Hegewald is a Professor of Oriental Art History at the University of Bonn, Germany, affiliated with the Institute of Oriental and Asian Studies (IOA) and the Department of Asian and Islamic Art History (AIK). Her research focuses on artistic expressions of dependency in Asian art, particularly South Asian, using 're-use' theory to explore cultural integration and creativity under adversity. She holds a Ph.D. from SOAS, University of London, and a Habilitation from RWTH Aachen. Key academic roles include founding the Cam-Kar Research Institute in Mysore (since 2002) and serving on editorial boards for journals like the Journal of Global Archaeology and Veranda . She has led major projects, including the Emmy Noether Junior Research Group on Jainism in Karnataka (2005–2014). Awards include the DFG Emmy Noether extension (2011–2014) and the Prix en études indiennes (2010). Hegewald has authored over 3 books, edited 6 volumes, and published 77 academic articles. Her work bridges art history with cultural studies, addressing themes like Jaina temple architecture, Indo-Islamic syncretism, and modern Indian urban planning. She actively contributes to global academic networks, including the European Association for Asian Art and Archaeology (EAAA).

Johanna Heitzerمشاهده پروفایل

استاد

• Mathematics Education
• Teacher Training and Professional Development
• Curriculum Development
• +۷ مورد دیگر

Prof. Dr. Johanna Heitzer is a University Professor for Mathematics Education at RWTH Aachen University since 2011. She leads the Teaching and Research Area of Mathematics Education within the university's mathematics department. Her office is located in Room 352 of the Kreuzherrenstraße 2 building in Aachen. She serves as co-editor of the journal 'mathematik lehren,' co-author of the 'Mathematics - New Ways' textbook series, and holds numerous committee positions including membership in the Faculty Advisory Board and Structural Commission of the Center Council. 1989: High school diploma 1989-1994: Mathematics and Physics Teacher Training at RWTH Aachen 1994-1996: Traineeship at Aachen Teacher Training College 1997: Research assistant at University of Münster 1998-2007: Mathematics and Physics teacher at Korschenbroich Gymnasium 2007-2010: Scientific assistant and doctorate at RWTH Aachen 2011-present: University Professor at RWTH Aachen Professor Heitzer's research focuses on the training and further education of mathematics teachers, development of contemporary teaching materials, applied and interdisciplinary mathematics, and the transition from school to university. Her work emphasizes concept formation, linguistic communication in mathematics, and the historical development of mathematical ideas as teaching resources. She investigates mathematics-specific learning and cognitive processes through multiple research projects including the Aachen school-university project iMPACt. Her recent scholarly output demonstrates a strong trend toward integrating digital technologies in mathematics education, particularly 3D printing and e-learning tools. She has increasingly focused on the social relevance of mathematics, exploring concepts of fairness, sustainability, and citizen empowerment through mathematical modeling. Her work bridges theoretical mathematics education with practical classroom applications, maintaining a strong connection to both historical perspectives and contemporary educational challenges. Special prize from Sparkasse Bad Hersfeld-Rotenburg for best mathematics Abitur (1989) Borchers Plaque for doctoral examinations passed with distinction (2011) DMV honor as Mathemaker of the Month (2013) Brigitte Gilles Prize 2013 for the MINT-L4 Center Professor Heitzer has supervised numerous doctoral students, serving as primary or secondary advisor for at least nine PhD dissertations between 2016-2021. Her research projects include the School-University Project MathePlus Aachen (iMPACt), e-Learning 'Mathematics for Civil Engineers,' and the development of mathematics items for StudiChecks NRW. She has secured funding through the Quality Initiative for Teacher Education (both phases) and participates in the ComeIn project focused on digitalization in teacher training. Her grants consistently emphasize practical applications of mathematics education research with direct impact on classroom practice. As a founding member of the MINT-L4@RWTH center and initiator of the working group Mathematical Education for Sustainable Development, Professor Heitzer has established significant collaborative structures. She participates in the Subject Didactics Forum at the Teacher Training Center of RWTH Aachen and has served in leadership roles including Chair of the Center Council (2014-2016) and Board member of the Teacher Training Center (2014-2017). Her work connects with national and international networks through her membership in the Society for Mathematics Education (GDM), the German Association for Mathematics and Science Education (MNU), and the German Mathematical Society (DMV).

James Aspnesمشاهده پروفایل

استاد

• Distributed Algorithms
• Computer Science
• Randomized Algorithms
• +۵ مورد دیگر

James Aspnes is the Harold W. Cheel Professor of Computer Science at Yale University, specializing in distributed algorithms and randomized methods. He holds a PhD from Carnegie Mellon University and degrees from MIT. His research focuses on distributed systems, peer-to-peer networks, and sensor networks, emphasizing tools for efficient data management and fault-tolerance. Education: PhD (CMU, 1992), SM & SB (MIT, 1987) Affiliations: Yale since 1993, IBM Almaden Research Center (1992–1993) Research interests include distributed algorithms, randomization, and applications in biology and economics. Notable contributions include skip graphs, population protocols, and consensus algorithms. He has received the ACM-EATCS Dijkstra Prize (2020) and Dylan Hixon Prize (2000). Publications span distributed computing, algorithms, and cryptography. Recent work explores consensus protocols and privacy in population models. Grants include NSF awards totaling over $2M. Active in editorial roles (Algorithmica, Distributed Computing) and conference organization (PODC 2005, DCOSS 2007).

Luca Cardelliمشاهده پروفایل

استاد مهمان

• Type theory
• Systems biology
• Principles of programming languages
• +۳ مورد دیگر

Luca Cardelli is a Principal Researcher and Assistant Director at Microsoft Research Cambridge, UK, since 1997. He holds visiting professorships at Imperial College London (Department of Computing, 2004–2009) and the University of Trento (2005–2007). He earned his PhD in Computer Science from the University of Edinburgh in 1982. His research spans type theory , molecular programming , and principles of programming languages , with applications to systems biology and concurrency theory. Notable contributions include formal frameworks for modeling biochemical systems (e.g., the stochastic π-calculus) and designing DNA-based circuits. Key achievements include the AITO Dahl-Nygaard Senior Prize (2007) and multiple Most Influential Paper Awards at POPL and ETAPS. His work bridges computer science and biology, advancing both theoretical foundations and practical molecular computing.

Chee Kiat Seowمشاهده پروفایل

دانشیار

• Cyber Physical Security
• Wireless Communication Localization
• Internet of Things (IoT) with AI/ML
• +۳ مورد دیگر

Dr. Chee Kiat Seow is an Associate Professor at the University of Glasgow's School of Computing Science. He holds a PhD from Nanyang Technological University (NTU) and an MSc from the National University of Singapore (NUS). His research focuses on cyber-physical security, wireless communication localization, and IoT systems leveraging AI/ML. He has led projects valued in the millions, winning awards like the IEEE Best Student Paper and National Instruments Engineering Impact Awards. Education: PhD (NTU), MSc (NUS) Research: Specializes in UWB positioning, spoofing detection, and IoT integration with 5G/GNSS. Teaching: Courses include Big Data, Software Engineering, and Data Analytics. His recent work addresses NLOS mitigation in indoor localization and cyber-physical security threats. Over 63 publications span journals like IEEE Transactions and conferences such as IPIN and WF-IoT. Supervised 6+ PhD/MSc students on topics like autonomous robotics and AI-driven localization. Grants: Includes $853K for 5G-X Smart Building projects and $797K for GNSS signal authentication. Awards: IEEE PIERS Best Student Paper (2019), NI Engineering Impact Awards (2015-2016). He advises on IoT and cybersecurity for organizations like ARTC and National Instruments. Active in IEEE Signal Processing and Computer Society.

Alan Sussmanمشاهده پروفایل

استاد

• Databases and Big Data
• High Performance Computing
• Parallel and Distributed Systems
• +۴ مورد دیگر

Alan Sussman is a Professor and Associate Chair of Undergraduate Education in the Computer Science department at the University of Maryland. His research focuses on databases, high-performance computing, parallel systems, and educational curriculum development for computing disciplines. He holds a Ph.D. from Carnegie Mellon University (1991) and a B.S.E. from Princeton University (1982). His educational contributions include integrating parallel and distributed computing concepts into early undergraduate courses, supported by NSF-funded initiatives like the CyberTraining program. He has advised students such as Harshit Soora (Master's) and Xiaolong Tian (PhD). His research spans compiler optimizations for parallel programs, distributed data management systems, and scientific workflow frameworks like DYFLOW. He collaborates with UMIACS and contributes to interdisciplinary projects like the TASCS center. Key innovations include VeloxDFS for distributed dataset streaming, compiler techniques for irregular memory access in PGAS programs, and NetCDFaster for geospatial data optimization. His work emphasizes productivity improvements for high-performance applications and curriculum modernization to address emerging computational challenges. Awards: No individual awards explicitly listed; however, collaborator Jik-Soo Kim received a best paper award in 2006. Grants: NSF CyberTraining, TCPP Curriculum Initiative, and Center for Technology for Advanced Scientific Component Software (TASCS). Labs/Teams: Active in UMIACS and interdisciplinary collaborations, including the TASCS center and InterComm framework development.

• British literature
• Cultural history
• Working-class studies
• +۶ مورد دیگر

Dr. Emily Cuming is a Senior Lecturer in the Humanities and Social Science school at Liverpool John Moores University , specializing in British literature, culture, and social history from the 19th century to the present. Her research focuses on maritime relations, working-class girlhood, life writing, and representations of domestic spaces including council estates, slums, and bedsits. PhD, MA, BA in English & Russian from University of Manchester (2006, 2002, 2001) Editor of Key Words: A Journal of Cultural Materialism Co-leader of the Home and Domestic Cultures research network Committee member of the Research Institute for Literature and Cultural History Board member of the Centre for Port and Maritime History Her research combines literary analysis with historical and cultural studies, emphasizing material culture, port cities, and marginalized voices. Recent publications include Maritime Relations: Life, Labour and Literature at the Water’s Edge, 1830-1914 (Cambridge University Press, forthcoming 2025) and Housing, Class and Gender in Modern British Writing, 1880-2012 (CUP, 2016). She has received multiple research grants including AHRC Connected Communities funding and Liverpool John Moores University QR awards. Dr. Cuming teaches undergraduate modules on Life Stories , Representing Domestic Space , and Waterscapes , as well as MA courses on Place: Imagining Place in Modern Times . She supervises three PhD projects and welcomes new supervisees in her research areas. 2025: Enhancing Research Cultures funding for 'The Sinking of the Lancastria' 2024: Editorial board member of Journal of Victorian Culture 2023: NCCPE Engage Prize for 'Around the Toilet' project 2022: Caird Short-term Research Fellowship 2016: NCCPE Engage Prize winner

Giansalvatore Meccaمشاهده پروفایل

استاد

• Data Quality
• Data Analytics
• Data Integration
• +۷ مورد دیگر

Giansalvatore (Gianni) Mecca is a full professor at the Department of Mathematics, Computer Science and Economics at the University of Basilicata. Born in Potenza, he earned his Computer Engineering degree and PhD from Sapienza University of Rome under Prof. Paolo Atzeni. He joined the University of Basilicata in 1995, initially as a research associate and later as an associate professor. He has held visiting positions at the University of Toronto, Qatar Computing Research Institute, Arizona State University, and Roma Tre University. His research focuses on data quality, analytics, integration, and information extraction, alongside cooperative database systems. He teaches courses in computer programming, databases, and web development for Computer Science and Engineering programs. Key initiatives include the Diogene project, which innovates teaching methodologies in procedural programming and database systems, emphasizing layered instruction and dual-language (C++/FORTRAN) approaches. Diogene’s framework tools like pinco (Web MVC) and PdD (questionnaire generator) reflect his contributions to educational software. His work integrates practical coding examples with layered theoretical explanations, emphasizing algorithmic clarity and cross-language comparisons. Publications include methodological papers on educational systems and teaching practices, such as the 2006 Diogene Working Report on certification frameworks. His teaching materials span procedural programming, XML, and object-oriented design, distributed under Creative Commons licenses.