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

Vijay Narayananمشاهده پروفایل

استاد

• Power Aware Computing
• Computer Architecture
• Embedded Systems
• +۴ مورد دیگر

Vijay Narayanan is the Robert Noll Chair Professor in Computer Science & Engineering and Electrical Engineering at Pennsylvania State University. He co-directs the Microsystems Design Lab and leads research in embedded visual analytics, self-powered processors, and system design using emerging devices. Education: B.E in Computer Science and Engineering (1993) from University of Madras, India Ph.D. in Computer Science and Engineering (1998) from University of South Florida, USA His research spans Power Aware Computing , Computer Architecture , and Embedded Systems , with emphasis on Visual Cortex on Silicon and Self-Powered Processors . Current work includes Non-Volatile Processors and Design Automation under unreliable power conditions via NSF ERC ASSIST. Recent publications focus on GPU architecture (Tensor Cores, ACE), Memory Consistency Verification (QED), and Neural Radiance Fields (Disorf, Distwar) for robotics and rendering. Key collaborations include Tsinghua University and DARPA/SRC LEAST Center . Scientific Awards: IEEE Fellow ACM Fellow He leads the Architecture, Benchmarking and Circuits Thrust in the DARPA/SRC LEAST Center and contributes to NSF ERC ASSIST for self-powered systems. Grants and projects emphasize cross-layer optimizations and hardware-software co-design.

Ravindra Shindeمشاهده پروفایل

پژوهشگر

• Computational Materials Science
• Quantum Chemistry
• Exascale Scientific Computing
• +۵ مورد دیگر

Ravindra Shinde is a Research Scientist at the University of Twente , Netherlands, affiliated with the Computational Chemical Physics group under the Faculty of Science and Technology . He is also the founder of The Science Dev , a tech and research blog. Education : Ph.D. in Physics (2014) and M.Sc. in Physics (2009) from IIT Bombay, India. His research spans Exascale Scientific Computing , Quantum Chemistry , Time-Dependent DFT , and Topological Materials . He specializes in method development for quantum mechanical simulations and code modernization for high-performance computing . Recent publications focus on Exascale Computing challenges , Quantum Monte Carlo accuracy, and machine learning integration in force field modeling. Notable awards include SERB Postdoctoral Fellowship and multiple Best Presentation Awards . Scientific Awards : Best Poster Award, UC Riverside (2019) Best Presentation Awards, SERB 2018 & IISc 2018 National Postdoctoral Fellowship, India (2016-2018) All India GATE Physics Rank 73 (2009)

Lindsey Kuperمشاهده پروفایل

استادیار

• programming languages
• distributed computing
• concurrency
• +۶ مورد دیگر

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. She received her Ph.D. from Indiana University in 2015 and leads the CASL (Concurrency and Safety Lab) research group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Her research focuses on programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient. Key research areas include: Library-level choreographic programming (in Haskell, Rust, and TypeScript) Dependently-typed diagrams for inductive reasoning about concurrent executions Expressing and verifying causal message delivery with refinement types Lindsey's research has been recognized with an NSF CAREER Award, a Stellar Development Foundation Academic Research Grant, a Google Faculty Research Award, and support from Amazon Web Services. Her work on "HasChor: functional choreographic programming for all" received the ICFP 2023 Distinguished Paper Award. She teaches courses in programming languages and distributed systems at UC Santa Cruz, including Foundations of Programming Languages and graduate/undergraduate Distributed Systems. Her undergraduate distributed systems lectures from 2020-2021 have been viewed over 200,000 times on YouTube. Lindsey co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and serves on the board of the Exclamation Foundation. She has chaired numerous workshops and served on program committees for major programming languages conferences including PLDI, POPL, ICFP, and OOPSLA. Her current PhD students include Jonathan Castello, Tim Goodwin, Nathan Liittschwager, Patrick Redmond, Gan Shen, and Yan Tong. Recent graduates include Shun Kashiwa (MS, 2024) and Ali Ali (BS, 2024).

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-Based Security
• +۵ مورد دیگر

Benjamin C. Pierce serves as the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. He is a Fellow of the ACM with extensive editorial experience, having served as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans programming languages, type systems, language-based security, formal verification, differential privacy, and synchronization technologies. Pierce is renowned for developing foundational frameworks in bidirectional transformations (lenses), property-based testing, and differential privacy verification. His work bridges theoretical computer science with practical implementation, particularly evident in his development of the Unison file synchronizer and the Clowdr virtual conference platform. The trends in his recent publications reveal a sustained focus on verification techniques for privacy-preserving systems, particularly differential privacy, alongside continued innovation in bidirectional data transformations and property-based testing methodologies. His work increasingly integrates formal verification with practical implementation concerns. Fellow of the ACM Pierce has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop) events and has served on numerous program committees for major conferences including POPL, PLDI, and ICFP. His editorial work has significantly shaped the programming languages research community through his leadership roles in key journals. He leads development of the Unison file synchronizer, a cross-platform tool used worldwide, and co-developed the Clowdr virtual conference platform that gained prominence during the pandemic. His work demonstrates a consistent pattern of creating practical tools grounded in deep theoretical foundations.

• Machine Learning
• Deep Learning
• Software Engineering
• +۷ مورد دیگر

Sebastian Hönel is a postdoctoral researcher at Linnaeus University, affiliated with the Faculty of Technology and the Department of Computer Science and Media Technology. He is an active member of the Data Intensive Software Technologies and Applications (DISTA) research group and currently serves as a co-Principal Investigator in the project "In-line visual inspection using unsupervised learning" focused on manufacturing defect detection using machine learning techniques. Hönel completed his Doctoral Thesis in 2023 titled "Quantifying Process Quality: The Role of Effective Organizational Learning in Software Evolution" and earned his Licentiate Thesis in 2020 on "Efficient Automatic Change Detection in Software Maintenance and Evolutionary Processes," both from Linnaeus University. His educational background demonstrates a strong foundation in software engineering and data analysis. Hönel's research spans software engineering, machine learning, and data science. Initially focusing on applying Machine Learning and Deep Learning to software evolutionary processes and organizational learning, his current work emphasizes unsupervised and zero/few-shot learning techniques for industrial anomaly detection. He has particular expertise in Deep Density Estimation (especially Normalizing Flows) and Representation Learning, with applications in manufacturing quality assessment and software maintenance. His research interests include anomaly detection methodologies, architectural innovations in autoencoders, and methodological considerations for evaluation metrics in machine learning applications. An analysis of his publication record reveals a consistent focus on bridging software engineering with advanced machine learning techniques. His most recent work shows a strategic shift toward industrial applications of unsupervised learning, particularly in manufacturing defect detection, while maintaining his foundational work in software metrics and quality assessment. The publications demonstrate progression from theoretical software metrics to practical applications of deep learning in quality inspection systems. Hönel actively contributes to academic education by teaching (Deep) Machine Learning courses (4DV652, 4DV660, 4DV661) and previously served as a teaching assistant for agile product development courses (1DV508, 4DV611). His role as co-PI on the visual inspection project indicates successful research funding and leadership capabilities. While specific grant details aren't provided in the available information, his position suggests ongoing research support. As part of the DISTA research group, Hönel collaborates extensively with colleagues including Ericsson, Löwe, and Wingkvist on projects that combine software engineering with advanced data analysis techniques. His work environment supports interdisciplinary research at the intersection of computer science, software engineering, and machine learning applications, with particular emphasis on practical implementations in both software development contexts and manufacturing quality control systems.

William C. Garrison IIIمشاهده پروفایل

مدرس

• Computer Science
• Access Control Systems
• Web Privacy
• +۴ مورد دیگر

William C. Garrison III serves as a Lecturer in the Department of Computer Science at the University of Pittsburgh's School of Computing and Information. Holding a PhD in Computer Science from the University of Pittsburgh (2015), his work has been recognized with a runner-up distinction for the ACM SIGSAC Doctoral Dissertation Award. His research focuses on application-aware access control evaluation, web privacy, and technology-induced distracted driving, with a particular emphasis on cybersecurity education for undergraduates. Research Interests: Access control evaluation frameworks Usability in security systems Web privacy mechanisms Cybersecurity education Human-computer interaction in security Distracted driving technology Scientific Awards: ACM SIGSAC Doctoral Dissertation Award Runner-up Mentor-Mentee Evidence-Based Teaching Award (with Adam J. Lee) Innovation in Education Award (with Nicholas L. Farnan) Academic Contributions: Summer Undergraduate Research Awards mentoring Curiosity Grant projects supervision Journal reviewing for IEEE Transactions on Dependable and Secure Computing and ACM Transactions on Privacy and Security Conference reviewing for Privacy Enhancing Technologies Symposium

• Laser Technologies
• Optoelectronics
• Electrical Engineering
• +۴ مورد دیگر

Christina Ivanova Deneva is a lecturer at the Technical University - Gabrovo, specializing in laser technologies and electrical engineering. Her work focuses on laser processing applications for electrical steel used in stator and rotor packages for electric motors, with significant contributions to laser cutting, marking, and welding technologies. Her research interests span Laser Technologies , Optoelectronics , and Materials Processing , with particular emphasis on process optimization for industrial laser applications. She has developed specialized training modules for the Master's Curriculum "Optoelectronics and Laser Technology" and has conducted extensive research on temperature field analysis during laser processing using software tools like Temperaturfeld3D and Mathcad. Analysis of her publication record shows a consistent focus on laser-material interactions, particularly with electrical steel. Her work demonstrates expertise in both theoretical modeling (finite element method) and experimental validation of laser processing parameters. She has also contributed to educational technology through research on interactive teaching methods using interactive boards. Dr. Deneva has participated in multiple research projects including the 2011 "PROCESS OPTIMIZATION LASER MARKING OF STATOR PACKAGES FOR ELECTRIC MOTORS" and two international ERASMUS Summer Schools on "INNOVATIVE LASERTECHNOLOGIES" in 2011 and 2012. Her collaborative work with colleagues like L. Lazov and N. Angelov has resulted in numerous publications in both international conferences and journals. Her teaching activities include developing physics laboratory materials and implementing modern teaching methods with interactive technology. She maintains an active research profile with publications spanning from 2011 to 2013, showing continued engagement in both technical research and educational innovation.

Myra B. Cohenمشاهده پروفایل

استاد

• Software Testing
• Search-Based Software Engineering
• Combinatorial Designs
• +۴ مورد دیگر

Myra B. Cohen is a Professor and the Lanh and Oanh Nguyen Chair in Software Engineering within the Department of Computer Science at Iowa State University's College of Engineering. She previously served as a Susan J. Rosowski Professor at the University of Nebraska-Lincoln and leads the LaVA-OPs Laboratory for Variability-Aware Assurance and Testing of Organic Programs. Her research spans software testing of highly-configurable systems, search-based software engineering, combinatorial design applications, and synergies between software engineering and synthetic biology. She investigates assurance techniques for self-adaptive systems through bio-inspired algorithms and examines software testing representations of natural processes like chemical reaction networks. Her 15 most recent publications demonstrate strong focus on cyber-physical systems (particularly drone safety), biological computing, and configuration-aware testing. These works reveal interdisciplinary trends combining software engineering with synthetic biology, emphasizing real-world applications in autonomous systems and computational biology. NSF CAREER Award AFOSR Young Investigator Award ACM Distinguished Scientist Best Student Paper Award at SPLC 2019 ACM Distinguished Paper Award at ASE 2020 Best Paper Award at GI@ICSE 2021 Professor Cohen advises PhD students Salil Purandare, Md Obaidul Kabir, and Michael Gerten, with research focusing on cyber-physical systems and biological software applications. She leads multiple significant projects including the DOE-funded Dependable, Explainable, Reusable, AI-Driven Computational Biology initiative and blockchain fault tolerance research. Her LaVA-OPs laboratory develops assurance techniques for highly-configurable and self-adaptive programs through bio-inspired algorithms.

Mahmoud Alfadelمشاهده پروفایل

استادیار

• Software Engineering
• Mining Software Repositories
• Empirical Software Engineering
• +۳ مورد دیگر

Mahmoud Alfadel is an Assistant Professor at the University of Calgary, Canada, actively contributing to software engineering research through program committee roles at ASE, ICSE, and ESEC/FSE conferences from 2021-2025. His research centers on Software Ecosystems, Release Engineering, and Empirical Software Engineering, with specific focus on build systems, continuous integration pipelines, dependency management, and software quality metrics in open-source environments. Methodologically, he employs large-scale empirical studies of real-world development practices. Analysis of his 2021-2025 publications reveals consistent investigation into build technology evolution (particularly Bazel), dependency-induced waste in NPM, and testing practices like fuzzing adoption. His work bridges theoretical software engineering concepts with practical industry challenges, often through case studies of major open-source projects like Kubernetes.

Nour Aliمشاهده پروفایل

استاد

• Software Engineering
• Software Architecture
• Adaptive Systems
• +۳ مورد دیگر

Dr. Nour Ali serves as a Professor and Vice-Dean of Education in the College of Engineering, Design and Physical Sciences at Brunel University London, where she co-heads the Brunel Software Engineering Lab. With a PhD in Software Engineering from Universidad Politecnica de Valencia and a Computer Science degree from Bir-Zeit University, she brings extensive international experience from previous positions at University of Brighton, Lero (Irish Software Engineering Research Centre), and Politecnico di Milano. PhD in Software Engineering, Universidad Politecnica de Valencia, Spain Major in Computer Science, Bir-Zeit University, Palestine PG Certificate in Teaching and Learning in Higher Education, University of Brighton Fellow of the Higher Education Academy (HEA) Her research focuses on developing software architecture techniques for distributed, mobile, and adaptive systems, with particular expertise in microservice architecture recovery and visualization. With over 70 publications spanning two decades, her work bridges theoretical architecture principles with practical implementation challenges. Recent research demonstrates a strong focus on microservice architecture recovery tools like MiSAR and analysis of service granularity adaptation. Dr. Ali has made significant contributions to the software engineering community through editorial roles including Deputy Editor in Chief of IET Software, committee memberships for major conferences like ICSE and ASE, and reviewer positions for EPSRC and other funding bodies. Her publications reveal consistent contributions across architecture consistency, microservice systems, and adaptive requirements engineering, with recent work increasingly focusing on practical tool development for architecture recovery. External Examiner, York St John University (2021-2025) Deputy Editor in Chief, IET Software Committee member for ICSE, ASE, EASE, ICSA, MOBILESoft conferences EPSRC Full College Member (2018-present) Reviewer for Dutch Research Council (NWO), UK UNESCO Newton Prize As an educator, Dr. Ali leads CS3100 Software Project Management and contributes to multiple undergraduate and postgraduate courses. Her teaching philosophy integrates research insights with practical software engineering skills, supported by her PG Certificate in Teaching and Learning and HEA Fellowship. She actively supervises PhD students and contributes to curriculum development as Vice-Dean of Education for her college.

Hai Dongمشاهده پروفایل

مدرس ارشد

• Service-Oriented Computing
• Edge Intelligence
• Blockchain
• +۴ مورد دیگر

Dr. Hai Dong is a Senior Lecturer at the School of Computing Technologies, RMIT University in Melbourne, Australia, with promotion to Associate Professor scheduled for 2026. He serves as the Founding Director of the CloudTech-RMIT Green Cryptocurrency Joint Research Laboratory (GreenCryptoLab) and Leader of the Smart Sensing and Services Research Area. Previously, he held research fellow positions at both RMIT University and Curtin University. Dr. Dong is a Senior Member of IEEE and chairs the IEEE Computational Intelligence Society Task Force on Deep Edge Intelligence. Dr. Dong's research spans several cutting-edge domains including Service-Oriented Computing, Edge Intelligence, Blockchain, AI Security, Cyber Security, and Machine Learning. His work bridges theoretical foundations with practical applications, particularly in secure and efficient computing systems. He has developed innovative approaches for smart contract security, edge computing optimization, federated learning, and blockchain applications with a strong focus on sustainability and real-world impact. His publication record demonstrates consistent high-impact contributions across top venues including AAAI, ASE, ICML, TSE, and TSC. Dr. Dong's research shows a clear trajectory toward increasingly sophisticated integration of AI with edge computing and blockchain systems, with growing emphasis on security, privacy, and resource efficiency. Recent work highlights his leadership in addressing emerging challenges in LLM-generated smart contracts and secure federated learning systems. Best Research Paper Award at ICSOC 2016 Best Paper Award at IEEE ICBC 2025 2023 RMIT Award for Research Engagement and Impact - Industry Engagement in Graduate Research Dr. Dong has successfully supervised numerous PhD and Master's students to completion, with many going on to prestigious positions. He has secured over $5 million in research funding as Chief Investigator from sources including ARC, CRC, QNRF, and industry partners like ANZ, CloudTech, and Telstra. His GreenCryptoLab research facility represents a significant industry-academic partnership focused on sustainable blockchain technologies. Dr. Dong maintains active collaborations with researchers worldwide and serves on committees for over 100 international conferences.

Matteo Espositoمشاهده پروفایل

پژوهشگر

• Secure Software Engineering
• Artificial Intelligence
• Security
• +۵ مورد دیگر

Matteo Esposito is a postdoctoral researcher at the University of Oulu, Finland, where he works in the M3S Cloud Group. His research focuses on the intersection of Large Language Models, Software Quality, Software Maintenance, and Software Architecture. Prior to his academic career, he served as R&D Vice Director at an Italian cybersecurity firm. Matteo earned his European Label Ph.D. in "Computer Science, Control, and Geoinformation" from the University of Rome, Tor Vergata, where he also completed his MSc Degree in Computer Science Engineering with highest honors (110 cum Laude) in October 2021. His primary research interests span several cutting-edge domains in software engineering: Secure Software Engineering and Security Artificial Intelligence and Large Language Models applications in software development Software Quality, Maintenance, and Architecture Quantum Software Engineering, a rapidly emerging field bridging classical and quantum computing Matteo's recent publications demonstrate a strong focus on applying AI techniques, particularly Large Language Models, to various software engineering challenges. His work spans multiple domains including defect prediction, security analysis, microservice architecture analysis, and quantum computing integration. A significant trend in his research is the application of network analysis methods to understand software architecture evolution and identify potential degradation points in microservice systems. Matteo is actively involved in the academic community, serving on program committees for major software engineering conferences including ESEM, ECSA, and ICSA. He has also organized workshops, such as the First International Workshop on Quantum Software Engineering: The Next Evolution (QSE-NE) co-located with FSE 2024. As a passionate educator, Matteo has served as a Teaching Assistant at the University of Rome "Tor Vergata" since 2019, instructing courses in Software Engineering and Algorithms. He is committed to promoting tech literacy, digital inclusion, and community-driven technological empowerment. Matteo is a member of the M3S Cloud Group at the University of Oulu, where he collaborates with researchers on cloud computing, microservices, and software architecture topics. His work bridges theoretical research with practical applications in mission-critical systems.

Lingling Fanمشاهده پروفایل

دانشیار

• Software Security Analysis
• Software Testing and Analysis
• Big Data-driven Analysis
• +۳ مورد دیگر

Lingling Fan is an Associate Professor (100 Young Academic Leaders of Nankai University) at Nankai University, China. Her research focuses on software security analysis, software testing and analysis, and big data-driven analysis, with significant contributions to mobile application security, particularly in Android security and accessibility. Her research interests include: Software Security Analysis, with emphasis on mobile application security and vulnerability detection Software Testing and Analysis, particularly for Android applications and accessibility issues Big Data-driven Analysis for security and quality assessment of software systems Dr. Fan's publication record shows strong trends in automated security testing, vulnerability detection in open-source ecosystems, and accessibility analysis for mobile applications. Her work spans multiple disciplines including software engineering, security, and human-computer interaction, with a particular focus on practical applications for Android ecosystem and measurable real-world impact. Her notable scientific awards include: ACM SIGSOFT Distinguished Paper Award (ASE 2022) ACM SIGSOFT Distinguished Paper Award (ICSE 2021) ACM SIGSOFT Distinguished Paper Award (ICSE 2018) Research Tool Award at NASAC 2018 National Scholarship from The Ministry of Education, China (2018) ACM SIGSOFT CAPS Award (ASE 2018) Dr. Fan has served in various academic service roles including as a program committee member for major conferences such as ASE, ICSE, FSE, and ISSRE. She has also been a reviewer for prestigious journals including IEEE Transactions on Information Forensics and Security (TIFS), IEEE Transactions on Dependable and Secure Computing (TDSC), IEEE Transactions on Software Engineering (TSE), and ACM Transactions on Software Engineering and Methodology (TOSEM).

Nian-Ze Leeمشاهده پروفایل

استادیار

• Formal Methods
• Model Checking
• Program Analysis
• +۵ مورد دیگر

Nian-Ze Lee is an Assistant Professor at the Department of Electrical Engineering, College of Electrical Engineering and Computer Science, National Taiwan University, Taiwan, where they lead the Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab). Additionally, Lee holds a position as a Gastprofessor (Guest Professor) affiliated with the Software and Computational Systems Lab (SoSy-Lab) at LMU Munich, Germany. Lee's research focuses on formal methods, with particular expertise in model checking, program analysis, and electronic design automation. Their work bridges hardware and software verification, developing techniques that transfer methodologies between these domains. A significant portion of their research involves stochastic Boolean satisfiability and threshold logic circuits, with applications in both hardware and software verification. Lee's recent publications demonstrate a strong trend toward developing cross-domain verification techniques, particularly focusing on how hardware model checking approaches can be adapted for software verification. Their work on interpolation-based model checking and configurable program analysis has received recognition through multiple best paper and artifact awards at top-tier conferences. ACM SIGSOFT Distinguished Paper Award (FSE 2024) Best Artifact Award (FSE 2024) Distinguished Artifact Award (TACAS 2024) Best Paper Award (SPIN 2024) Lee has secured research funding including a grant from the German Research Foundation (DFG) for the project 'Bridging Hardware and Software Analysis.' They actively maintain several software projects including Btor2C, Btor2-Cert, CPV, MoXIchecker, and contribute to CPAchecker and BenchExec. Lee is currently recruiting Ph.D., Master's, and Bachelor's students to work on formal methods research, with Ph.D. students potentially enrolled at LMU Munich through a DFG-funded project.

Rahul Govindمشاهده پروفایل

دانشیار

• Spatial Marketing
• Services Marketing
• Health Marketing
• +۵ مورد دیگر

Associate Professor Rahul Govind is a faculty member at the University of New South Wales Business School within the School of Marketing. His research bridges spatial marketing analytics with critical examinations of political philosophy and health marketing applications. Dr. Govind's research utilizes spatial dependence in empirical data to address marketing problems through two primary streams: geographical similarity between consumers for services marketing solutions, and geographical consumer patterns to analyze health consumption issues. His work spans diverse domains including political philosophy (examining thinkers from Hobbes to Kant), constitutional theory (focusing on Ambedkar's contributions), and practical marketing applications in CSR, healthcare, and consumer behavior. Recent publications demonstrate strong interdisciplinary engagement with journals spanning marketing, political science, cultural critique, and engineering fields. His scientific awards include the University Faculty Research Fellowship at Mississippi (2006), Dean's Research Award from Ford Motor Company (2002), and multiple research grants from institutions including University of Mississippi and Indian Institute of Management Bangalore. Govind actively collaborates on major research initiatives such as the Australian Research Council Linkage Project examining co-creation practices in health outcomes. His advising and grant activities reflect significant contributions to marketing education and research methodology development, particularly in spatial modeling applications. Current research explores timely topics including social media's impact on pandemic behaviors, ethical consumption patterns, and the philosophical foundations of modern governance structures.