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

Florin Rusuمشاهده پروفایل

استاد

• Database systems
• Large-scale data management
• Query processing and optimization
• +۴ مورد دیگر

Florin Rusu is a Professor and Chair of the Department of Computer Science and Engineering at the University of California Merced, School of Engineering. He joined UC Merced in 2010 and has served in multiple administrative positions including as chair of the School of Engineering's Executive Committee and currently as chair of the Department of Computer Science and Engineering. His educational background includes a B.Eng. degree from the Technical University of Cluj-Napoca, Faculty of Automation and Computer Science (2004), and M.Sc. and Ph.D. degrees from the University of Florida in Computer Science (2008 and 2009). Rusu's research focuses on database systems and large-scale data management, with particular emphasis on designing infrastructure for Big Data analytics. His specific research areas include query processing and optimization, approximate and randomized algorithms, scalable machine learning, multi-dimensional array data management, and in-situ data processing. His work bridges theoretical aspects with practical system design issues. His research has been funded by multiple prestigious organizations including the US Department of Energy (DOE), National Science Foundation (NSF), California Department of Education, Hellman Foundation, LogicBlox, and TigerGraph. His recent publications show a continued focus on database query optimization, particularly around cardinality estimation, sketch-based methods, and innovative approaches to query plan generation. His work spans both theoretical contributions and practical implementations, with several projects transitioning into real-world database systems. Scientific Awards: DOE Early Career Award (2014) Hellman Faculty Fellowship (2013) Rusu has advised numerous graduate students through their Ph.D. and Master's programs, with many going on to successful careers at major tech companies (Google, Meta, TigerGraph) and academic positions. His research group has secured substantial funding from NSF (COMPASS project 2020-2025), DOE Early Career Award (2014-2021), TigerGraph, California Department of Education, and Hellman Foundation. His research group maintains active projects in Database Query Optimization, Scalable Gradient Descent Optimization, Array Databases, In-Situ Data Processing, GLADE, Online Aggregation, and Sketches, demonstrating a comprehensive research program spanning multiple aspects of database systems and large-scale data management.

• Cyber-Physical Systems
• Autonomous Systems
• Embedded Systems
• +۲ مورد دیگر

Mohammad Abdullah Al Faruque is a full professor at the University of California, Irvine (UCI), where he directs the Cyber-Physical Systems Lab and the Samueli School of Engineering Autonomous Systems Initiatives . He has received multiple prestigious awards, including the IEEE Technical Committee on Cyber-Physical Systems Early-Career Award (2018) and the Thomas Alva Edison Patent Award. Education : B.Sc. from Bangladesh University of Engineering and Technology (BUET), M.Sc. and Ph.D. from RWTH Aachen and Karlsruhe Institute of Technology (KIT), Germany His research focuses on Cyber-Physical Systems and Autonomous Systems , with applications in aerospace, automotive, robotics, healthcare, and energy. He has authored over 175 IEEE/ACM publications, holds 12 U.S. patents, and published two books on Embedded and Cyber-Physical Systems. Scientific Awards : School of Engineering Mid-Career Faculty Award for Research (2019) IEEE Technical Committee on Cyber-Physical Systems Early-Career Award (2018) IEEE CEDA Ernest S. Kuh Early Career Award (2016) UCI Academic Senate Distinguished Early-Career Faculty Award for Research School of Engineering Early-Career Faculty Award for Research (2017) Thomas Alva Edison Patent Award Dr. Al Faruque has held significant roles in academic service, including Program Co-Chair for ICCPS 2021, General Co-Chair for ICCPS 2022, and chairs for CODES+ISSS and CPS-IoT Week. He serves as associate editor for leading journals like ACM Transactions on Design Automation of Electronic Systems and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems .

Carlo Alberto Avizzanoمشاهده پروفایل

دانشیار

• Robotics and Automation
• Human-Robot Interaction
• Computer Vision
• +۶ مورد دیگر

Carlo Alberto Avizzano serves as Associate Professor in Robotics and Automation at the University of Pisa's School of Engineering, Department of Information Engineering. He coordinates the Department of Excellence in Robotics & Artificial Intelligence (MUR) and leads the Intelligent Automation System Research Group. Research spans robotics, human-robot interaction, computer vision, and control systems Specializes in creating intelligent automation systems with cognitive capabilities Integrates AI, machine learning, and mechatronics for robust autonomous systems His research focuses on developing robots that learn from human examples, adapt to changing environments, and interact through advanced perception systems. Current work emphasizes wearable robotics, UAVs, and industrial automation solutions with applications in medical rehabilitation, firefighting, and manufacturing. He employs distributed computing architectures integrating sensors, real-time control, and knowledge transfer algorithms. Publications reveal strong emphasis on practical implementations: 15 recent works cover exoskeleton design (2024), UAV firefighting systems (2024), industrial bin-picking datasets (2024), and haptic interfaces (2012-2023). Key trends show progression from virtual reality systems (2006-2008) toward modern AI-integrated robotics with industrial and medical applications. Teaching responsibilities include PhD courses in Sensors for Construction, Python Programming for HealthScience, and Digital Perception; plus undergraduate Mechatronics and Computer Vision labs. He serves on PhD boards for Emerging Digital Technologies and Health Science Technology. Extensive patent portfolio including haptic interfaces (2012), sailing simulators (2006), and UAV systems (2024) Research directly translated to commercial products and spin-off companies

• Self-regulated Learning
• Learning Analytics
• Online Education
• +۴ مورد دیگر

Dr. Jacqueline Wong is an Assistant Professor in the Department of Education and Pedagogy at the Faculty of Social and Behavioural Sciences, Utrecht University. Her academic work focuses on enhancing educational practices through evidence-based research in self-regulated learning and learning analytics, with particular applications in higher education contexts. Dr. Wong earned her Ph.D. (cum laude) from Erasmus University Rotterdam with a thesis entitled "Enhancing Self-Regulated Learning Through Instructional Supports and Learning Analytics in Online Higher Education," which received the Best Thesis Award 2021 from the Erasmus Graduate School of Social Sciences and the Humanities. She completed her Master's degree (cum laude) in Educational Psychology, where she examined the use of movements to support text comprehension. Prior to joining Utrecht University, she was a postdoctoral researcher at Delft University of Technology (2020-2022) working with the Program of Innovation in Mathematics Education (PRIME). Dr. Wong's research program spans several interconnected areas: the application of learning analytics to support self-regulated learning, the design of instructional interventions that promote metacognitive awareness, and the investigation of how emerging technologies like generative AI can enhance educational experiences. Her work frequently examines how technology can be leveraged to support students' metacognitive processes and goal-setting behaviors in both traditional and online educational settings. She has made significant contributions to understanding how conversational agents and learning analytics can provide personalized support for students' self-regulated learning processes. Analysis of her recent publications reveals a clear trajectory toward integrating emerging technologies with established educational theories. Her 2024-2025 work increasingly focuses on the intersection of artificial intelligence and educational psychology, particularly examining how generative AI tools can enhance academic text accessibility and provide adaptive support for learning. She also continues to investigate cognitive aspects of learning in educational games and augmented reality environments, with implications for both educational practice and learning theory development. Among her notable achievements, Dr. Wong received the Best Thesis Award 2021 from the Erasmus Graduate School of Social Sciences and the Humanities. This recognition highlights the significant contribution her doctoral work has made to the field of educational psychology and learning sciences. Her systematic reviews, including examinations of student engagement in mathematics education and gamification in MOOCs, have provided valuable syntheses of research in growing areas of educational technology. Dr. Wong has been an active research member of the Leiden-Delft-Erasmus Centre for Learning and Education (LDE-CEL) and the network for Self-Regulated Learning in Digitalised Schools (SeReLeDiS). Her collaborative approach to research is evident in her extensive co-authorship network across multiple institutions. Before joining Utrecht University, she worked with lecturers to promote student motivation and self-regulated learning in blended service mathematics courses and examined the effectiveness of technology tools for learning mathematics. Dr. Wong's work bridges theoretical frameworks with practical implementations, often involving close partnerships with educators to ensure research relevance to real-world classroom challenges. Her current research appears to be moving toward deeper integration of AI technologies with educational theory, particularly examining how generative AI can support metacognitive processes and self-regulated learning across diverse educational contexts.

Ross Horneمشاهده پروفایل

مدرس ارشد

• Security protocols
• Privacy-preserving technologies
• Concurrency theory
• +۷ مورد دیگر

Ross Horne is a Senior Lecturer in the Department of Computer & Information Sciences at the University of Strathclyde, Glasgow, United Kingdom. He is a member of the StrathCyber and Mathematically Structured Programming research groups. Education: PhD (University of Southampton, 2012), BA (Oxford University, 2005) Prior Appointments: Research Fellow at University of Luxembourg (2018-2023), Senior Research Fellow at Nanyang Technological University (2015-2018), Associate Professor at Kazakh-British Technical University (2012-2015) Research Interests: Dr. Horne's work focuses on security and privacy protocols for digital systems, particularly addressing threats in payment technologies, ePassports, and decentralized identity management (e.g., Solid protocol). His theoretical contributions bridge concurrency theory, proof theory, and logic through applications to security verification and process calculi. Developed formal models for unlinkability in EMV payment protocols Created intuitionistic logical frameworks for process equivalence Explored graphical proof systems beyond formulaic representations Investigated legal-compliant AI for space systems (CubeSat anomaly detection) Scientific Contributions: He has published extensively in top venues including ACM CCS, IEEE CSF, LICS, and CONCUR. His 2017 CONCUR best paper introduced intuitionistic characterizations of bisimilarity. Principal Investigator for EU COST Action on Distributed Knowledge Graphs Co-developed privacy models adopted in Luxembourg parliamentary responses Advising: Currently accepting PhD students with strong mathematical and computer science skills for research in security/privacy of emerging systems. Former student Semen Yurkov completed a thesis on privacy-preserving smart card payments. Interdisciplinary Work: Collaborates with space lawyers through the Interdisciplinary Master Program in Space Resources. Projects include AI for CubeSat reliability and legal-compliant software certification frameworks.

Danica M Ommenمشاهده پروفایل

دانشیار

• Forensic Statistics
• Computational Statistics
• Handwriting Analysis
• +۳ مورد دیگر

Danica M Ommen is an Associate Professor at Iowa State University, specializing in forensic statistics and computational methodologies. Her research bridges machine learning, handwriting analysis, and source identification frameworks. Education: Ph.D. in Computational Science and Statistics (2017), M.S. in Mathematics (2014), B.S. in Mathematics (2012), all from South Dakota State University. Affiliations: Chair of the OSAC Statistics Task Group; Vice-Chair of the ASA Advisory Committee on Forensic Science. Her work focuses on statistical modeling for forensic evidence , particularly in handwriting identification, aluminum powder analysis, and digital device forensics. Recent publications explore interpretable deep learning, synthetic data anchoring, and ensemble methods for likelihood ratios. The 15 most recent articles (2023–2025) span forensic machine learning, handwriting kinematics, multi-camera smartphone identification, and Bayesian frameworks. Keywords include Forensic Science , Machine Learning , and Computational Statistics , with subfields like Score-Based Likelihood Ratios and Smartphone Forensics .

Brigitte Pientkaمشاهده پروفایل

استاد

• Programming Languages
• Verification
• Type Theory
• +۶ مورد دیگر

Brigitte Pientka is a Professor at McGill University's School of Computer Science , where she leads the Computation and Logic group . She earned her PhD from Carnegie Mellon University in 2003 and previously studied at the University of Edinburgh and Technical University of Darmstadt. Education PhD in Computer Science, Carnegie Mellon University (2003) University of Edinburgh Technical University of Darmstadt Research Interests Her work focuses on the theoretical and practical foundations for building reliable software systems, combining logic, type theory, and verification with system-building. Key areas include: Type Theory and Dependent Types Logical Frameworks and Mechanized Metatheory Session-Typed Concurrency and Linear Logic Metaprogramming and Contextual Type Systems Theorem Proving and Formal Verification Functional Programming and Language-Based Security Professional Roles She has served as: PC Chair for ICFP'24 and CPP'24 General Chair for POPL'20 Executive Editor of Logical Methods in Computer Science Steering Committee Member for LICS, POPL, and ESOP Scientific Awards Dr. Pientka has received: Test of Time Award at PPDP'18 Humboldt Fellowship for research at MPI-SWS, Germany Labs & Teams She actively develops the Beluga programming language , a tool for mechanizing meta-theory proofs and type-driven program manipulation.

Robert Godwin-Jonesمشاهده پروفایل

استاد

• Computer-Assisted Language Learning
• Second Language Acquisition
• Artificial Intelligence in Language Education
• +۳ مورد دیگر

Robert Godwin-Jones is a Professor in the Department of Foreign Language at Virginia Commonwealth University's College of Humanities and Sciences, where he has served since 1979. He holds the position of Foreign Language Liaison and maintains active scholarly contributions through his "German Stories" digital repository and "Communicating Across Cultures" blog, focusing on technology-enhanced language pedagogy and intercultural communication. His educational background includes: B.A. in French and German from Franklin and Marshall College (1971) M.A. in Comparative Literature (German, French, and English) (1973) Ph.D. in Comparative Literature from the University of Illinois Urbana-Champaign (1977) Dr. Godwin-Jones specializes in Computer-Assisted Language Learning (CALL), with research spanning artificial intelligence applications, virtual reality environments, and digital literacies for language learners. His work examines how emerging technologies transform second language acquisition through ecological semiotics, distributed agency models, and multimodal communication frameworks. He investigates pedagogical translanguaging strategies for less commonly taught languages and analyzes authenticity in AI-mediated language interactions, particularly in pragmatics and writing development. Analysis of his 2021-2025 publications reveals three dominant trajectories: (1) generative AI integration in language instruction with emphasis on ethical implementation and threat mitigation; (2) extended reality applications creating immersive language spaces in the metaverse; and (3) ecological approaches connecting smart devices, ambient intelligence, and situated learning contexts. His scholarship consistently bridges theoretical frameworks with practical classroom applications across 19th-century German literature studies and contemporary language education. He maintains active professional engagement through memberships in: Delta Phi Alpha German Honorary Society Phi Kappa Phi Honorary Society Modern Language Association American Association of Teachers of German American Association of Teachers of French Foreign Language Association of Virginia As director of the "German Stories" project since 1994, he has curated verified editions of 19th-century German narratives with English translations under Creative Commons licensing, creating what has become a foundational resource for literary study and language acquisition. His blog extends this work through contemporary analyses of intercultural communication challenges, while his scholarly leadership in organizations like CALICO shapes national discourse on technology in language education. His laboratory functions as the "German Stories" digital ecosystem, which has evolved into a comprehensive platform hosting annotated texts, pedagogical resources, and research archives. This environment supports both formal classroom instruction and informal learning communities, demonstrating his commitment to porous classroom models that integrate physical and digital learning spaces.

Rrezarta Krasniqiمشاهده پروفایل

استادیار

• Software Engineering
• Requirements Engineering
• Software Quality
• +۳ مورد دیگر

Rrezarta Krasniqi is an Assistant Professor in the Department of Software and Information Systems at the University of North Carolina at Charlotte. She holds a Ph.D. in Computer Science and Engineering from the University of North Texas (2024) and has previously taught at multiple institutions while working as a senior Java developer in industry. Research Focus: Her work centers on improving software quality through automated detection of quality-related bugs, using AI-driven approaches and empirical methodologies to address challenges in code scattering, requirement vagueness, and system-wide reliability issues. She specializes in semantic analysis, classifier development, and 3D visualization tools for codebase monitoring. Key Contributions: Developed RetroRank for bug-fixing comment recommendation (2021-2023) Pioneered SoftQualDetector for semantic quality concern mapping (2023-2024) Co-authored surveys on quality concern management in open-source communities Publications: Her work spans leading venues like EMSE'23, ICSME'23, SANER'23, and SQJ'23, with earlier contributions at ICSE'2017 and FSE'2018 through the TraceLab reproducibility framework.

Collin F. Lynchمشاهده پروفایل

دانشیار

• Intelligent Tutoring Systems
• Adaptive Educational Technologies
• Argument Mining
• +۵ مورد دیگر

Collin F. Lynch is an Associate Professor in the Department of Computer Science at North Carolina State University, specializing in intelligent tutoring systems and adaptive educational technologies. His research addresses complex domains like scientific writing, law, and software development through AI integration. Education Ph.D. in Intelligent Systems (2014), University of Pittsburgh M.S. in Intelligent Systems (2011), University of Pittsburgh B.A. in Cognitive Science and Artificial Intelligence (2000), Hampshire College Research Focus Lynch's work combines artificial intelligence, learning science, and human-computer interaction. Key areas include: Argument mining and natural language processing Real-time classroom support for writing-to-learn Student modeling and hint generation Embodied cognitive agents in collaborative learning Social network impacts on education Grant Leadership Validating Automated Measures of Student Writing (2021-2026, $634,620, IES) RET Site: Socially Relevant Computing (2021-2025, $598,913, NSF) IGE: Learning the Entire Pipeline (2021-2024, $332,184, NSF) FLECKS: Collaborative CS Learning (2017-2023, $1,399,088, NSF) Integrated Teaching Platforms (2018-2022, $597,529, NSF) Evaluation for Actionable Change (2016-2021, $799,837, NSF) His projects often involve interdisciplinary collaboration and address challenges in blended learning environments, data-driven educational interventions, and socially relevant computing.

• Software Verification
• Formal Methods
• Program Synthesis
• +۴ مورد دیگر

Madhusudan Parthasarathy is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, College of Engineering. His research focuses on software verification, formal methods, and logic in computer science, with significant contributions to trustworthy AI systems, program synthesis, and security. Ph.D. in Theoretical Computer Science (2002), Institute of Mathematical Sciences, University of Madras Research interests include automating software verification, building correct-by-design systems, and exploring synergies between machine learning and program synthesis. He pioneered visibly pushdown languages , impacting XML processing and program verification. His tools like VEX and Strand advanced security and heap reasoning. Recent articles focus on blockchain verification, timed automata, and learning logics from data. His work has been widely cited, with the visibly pushdown language paper alone generating over 940 scholarly entries. Best Paper Award, 19th USENIX Security Symposium (2010) He has advised numerous students and postdocs, with former advisees now at institutions like Purdue University and Google. His outreach initiatives include the ConTraIL privacy-preserving contact tracing project and the MASSIVELY EMPOWERED CLASSROOMS MOOC platform for Indian undergraduates. He teaches courses like CS 521: Advanced Topics in Programming Systems and CS 474: Logic in Computer Science , while actively serving on program committees for top-tier conferences such as POPL and PLDI.

• Science Education
• Educational Technology
• Artificial Intelligence Literacy
• +۵ مورد دیگر

Claudia Nerdel is a Professor at the Technical University of Munich (TUM) within the Chair of Life Sciences Didactics . Her work focuses on science education innovation, particularly integrating digital technologies like AI and augmented reality into teacher training and classroom practices. Current research spans AI literacy assessment , modelling competences , and sustainable biotechnology education Active in teacher professional development and digital competency frameworks Her research explores: Mathematical modelling in science education Augmented reality applications for chemistry terminology AI literacy frameworks (e.g., AILIT-S test development) Digital transformation challenges in schools Recent publications analyze AI self-efficacy, LLM feedback quality, and biotech experiment implementation. The TUM-DigiLLab serves as a key lab environment for digital competence development, though specific grants or awards aren't mentioned in the text. Her work emphasizes creating adaptive feedback systems , inclusive digital tools , and evidence-based teacher training .

Vivienne Brandمشاهده پروفایل

استاد

• Corporate Law
• Corporate Governance
• Whistleblowing
• +۵ مورد دیگر

Vivienne Brand is Professor in Law at Flinders University's College of Business, Government and Law, where she leads the corporate law research program. She serves as General Editor of the Australian Journal of Corporate Law and Deputy Chair of the Law Council of Australia’s Corporations Committee, with expertise in corporate governance, whistleblowing systems, and social licence to operate frameworks. Her policy influence includes invited testimony before Federal parliamentary inquiries on whistleblowing reform and liquidator regulation. Her academic qualifications include: LLB (Honours) Graduate Diploma in Legal Practice (GDLP) Master of Laws (LLM) with Merit Master of Educational Studies (MEdSt) PhD Brand's research critically examines corporate ethics through empirical studies of director behavior, particularly regarding whistleblowing mechanisms and social licence to operate in Australian business contexts. She investigates how directors' duties evolve with societal expectations, regulatory changes, and emerging challenges like AI governance. Her work bridges legal theory with practical compliance frameworks, emphasizing the role of non-financial incentives in ethical corporate behavior. Recent publications (2020-2024) reveal three key trends: (1) Deepening analysis of whistleblowing regulation with focus on financial incentives and Regtech solutions; (2) Expansion into Middle East/North Africa trade law and sustainability governance; (3) Critical examination of AI's impact on director responsibilities and corporate accountability frameworks. Her scholarship consistently connects corporate law with UN Sustainable Development Goals through ethical business practices. Awarded national recognition for teaching excellence: Australian Citation for Outstanding Contribution to Student Learning Vice Chancellor's Award for Teaching Excellence (awarded twice) Brand actively supervises corporate law research and secured funding as Chief Investigator for the 2023-2024 project Innovations in health and aged care: promoting Arab-Australia knowledge transfer , addressing cross-cultural healthcare challenges. Her professional engagement includes non-executive directorships and leadership in the Society of Corporate Law Academics (serving as President until February 2024). She maintains active roles in Law Council of Australia committees, including the Whistleblowing Working Party and Foreign Bribery Divisions, while contributing to global policy discussions on corporate governance standards.

Lei Buمشاهده پروفایل

استاد

• Model Checking
• Bounded Model Checking
• Formal Methods
• +۷ مورد دیگر

Lei Bu is a Professor and Vice Dean at the Software Institute , Nanjing University . He leads research in formal verification, cyber-physical systems, and software engineering, with a focus on bounded model checking and hybrid system analysis. B.Sc. and Ph.D. in Computer Science from Nanjing University (2004, 2010) Visiting student at Carnegie Mellon University and University of Texas at Dallas His research integrates formal methods and machine learning for verifying complex systems like IoT and software with real-time constraints. Key projects include BACH Toolset and BRICK for reachability analysis. Recent publications demonstrate expertise in hybrid system verification , cache side-channel detection , and parallel code analysis frameworks . His work bridges theoretical advancements with practical applications in safety-critical systems. Zhongchuang Software Talent Award (2023) CCF-IEEE CS Young Computer Scientist Award (2022) High-Tech Software Innovation Awards (2019-2023) As Principal Investigator, he leads major projects funded by National Science Foundation of China and Jiangsu Natural Science Foundation (2020-2027). Current tools include BACH for hybrid systems and MLB for Java symbolic execution.

Erik Johnsonمشاهده پروفایل

استاد

• Smart Structures
• Structural Vibration Control
• Controllable Damping Devices
• +۳ مورد دیگر

Erik Johnson is a Professor of Civil Engineering at an unspecified university, affiliated with the Sonny Astani Department of Civil and Environmental Engineering. He has held leadership roles such as Associate Chair, Interim Chair, and currently serves as Vice Dean for Academic Programs. His research focuses on smart structures, structural vibration control, and computationally-efficient simulation algorithms for dynamical systems, with applications in controllable damping devices and seismic mitigation. Education: B.S., M.S., Ph.D. in Aeronautical and Astronautical Engineering (University of Illinois at Urbana-Champaign), Graduate Certificate in Biblical Studies (Trinity Evangelical Divinity School) Professional Affiliations: Senior Member of AIAA; Member of ASCE and ASME; Chair of ASCE technical committees; Associate Editor, ASCE Journal of Engineering Mechanics His work spans disciplines including control theory, structural engineering, and computational methods. Articles highlight Bayesian approaches, inverse problems, and sensor placement optimization under uncertainty. Erik contributes to advancing seismic resilience and mechatronic systems for civil infrastructure. Scientific Awards: 2001 NSF CAREER Award, 2005 International Association for Structural Safety and Reliability Medal, 2016 University of Illinois Distinguished AE Alumnus Award