Component-Based Software Professors and Supervisors | ApplySharif

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

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۷۲۱-۷۳۵ از ۱٬۲۷۴ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Arthur Azevedo de Amorimمشاهده پروفایل

استادیار

Rochester Institute of Technology (RIT)United States

Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Golisano College of Computing and Information Sciences, Rochester Institute of Technology (RIT). He holds a Ph.D. from the University of Pennsylvania, advised by Benjamin Pierce and Cătălin Hrițcu, with postdoctoral work at Boston University and Carnegie Mellon University. His undergraduate studies were at the University of Campinas (Unicamp) and École Polytechnique (Polytechnique). His research focuses on improving software security through formal verification, programming languages, and type systems. Key areas include cryptographic protocols, compartmentalization techniques for secure compilation, and formal semantics. Notable projects include Cryptis (separation logic for cryptographic protocols) and SECOMP (formally verified compartmentalizing compiler). Arthur teaches courses such as Programming Language Concepts and Programming Language Theory at RIT. He actively contributes to open-source projects like the Coq proof assistant and maintains the Deriving library for generic instance generation in Coq. His recent work emphasizes formal methods for secure systems, with publications in top venues like POPL, CCS, and ICALP. He advises several graduate and undergraduate students on topics ranging from formal verification to programming language design.

پروفایل رسمی دانشگاه

Sébastien LIMETمشاهده پروفایل

استاد

University of OrléansFrance

Sébastien LIMET is a Full Professor at the University of Orléans, affiliated with the LIFO laboratory (Laboratoire d'Informatique Fondamentale d'Orléans). He is part of the Pamda research team and specializes in parallel computing, scientific visualization, and geospatial data processing. His contact details include sebastien.limet@univ-orleans.fr and his office at Bâtiment IIIA in Orléans. His research focuses on scalable parallel algorithms, interactive visualization frameworks, and high-performance computing for scientific applications. Key projects include ExaViz (ANR-funded molecular dynamics visualization), FvNano (virtual labs for nanosciences), and eXtenGIS (GIS scalability). He has contributed to frameworks like SkelGIS for algorithmic skeletons and FlowVR for distributed visualization systems. LIMET's work bridges theoretical computer science with practical applications in environmental modeling, biomedical simulations, and bioinformatics. His publications span parallel algorithms, visualization systems, and formal methods, with a focus on exascale computing and distributed architectures.

پروفایل رسمی دانشگاه

Ketil Stølenمشاهده پروفایل

استاد

University of OsloNorway

Ketil Stølen is a Professor at the University of Oslo's Department of Informatics and an Adjunct Professor in Computer Science. His roles include Chief Scientist at SINTEF Digital and leadership in numerous research projects focusing on cybersecurity, risk analysis, and formal methods. He holds a PhD from the University of Manchester (1990) and a Cand Scient from the University of Oslo (1986). His research interests span software engineering, formal methods, and model-driven security analysis. He has led major projects such as the Gemini Centre on IoT, the CORAS risk analysis framework, and the CORAS tool development. Stølen has authored several books including Cyber-Risk Management (Springer, 2015) and Technology Science (Springer, 2023). His work emphasizes rigorous approaches to security testing, risk assessment, and system design. He has supervised multiple PhD graduates and taught courses on formal methods and cybersecurity at the University of Oslo and other institutions. His contributions include pioneering methods like the CORAS approach for security risk analysis and the STAIRS framework for UML sequence diagrams. He is an elected member of the Norwegian Academy of Technological Sciences. Notable projects include the AGRA risk assessment initiative and the EMERGENCY decision support system for crisis management. His research bridges theoretical formalisms with practical applications in critical infrastructure and emergency response systems.

پروفایل رسمی دانشگاه

Hazeline Asuncionمشاهده پروفایل

دانشیار

University of WashingtonUnited States

Hazeline Asuncion is an Associate Professor at the University of Washington, Bothell in the Computing and Software Systems program. Her research focuses on software traceability , data provenance , and license analysis , with applications in software engineering, eScience, and computational neuroscience. Education : PhD in Computer Science from University of California, Irvine Research : Explores cross-artifact information management using techniques like topic modeling and provenance tracking , funded by NSF grants including a NSF CAREER award Publications : 15+ peer-reviewed works in venues like ICSE , eScience , and Journals covering traceability, data provenance, and software licensing Awards : Best Paper Award at eKNOW 2015 Teaching : Courses on Software Engineering , Data Management , and Human-Computer Interaction

پروفایل رسمی دانشگاه

Yongjie Zhengمشاهده پروفایل

دانشیار

University of Southern MississippiUnited States

Yongjie Zheng is an Associate Professor at California State University, San Marcos (CSUSM) within the College of Science, Technology, Engineering and Mathematics (CSTEM). He earned his Ph.D. from the School of Information and Computer Sciences at the University of California, Irvine, under the mentorship of Professor Richard N. Taylor, and holds a Master's and Bachelor's in Computer Science from Hong Kong Polytechnic University and Tsinghua University, respectively. Education: Ph.D., University of California, Irvine (2012) M.S., Hong Kong Polytechnic University B.S., Tsinghua University His research focuses on software architecture , emphasizing architecture-implementation mapping for maintaining conformance during system evolution. He pioneered the 1.x-way mapping and 1.x-line mapping techniques, addressing challenges in single-system and product-line software development. Tools like xMapper and xLineMapper were developed to realize these approaches, applied to systems such as Apache Solr. His recent publications (2021–2004) span software conformance , product line engineering , mobile middleware , and automated mapping techniques , reflecting expertise in integrating broad disciplines like model-driven engineering and self-adaptive systems . Scientific Awards: SEKE 2020 Best Demo Award for xLineMapper Prof. Zheng mentors students across projects like Summer Scholars , engaging them in architecture-focused development and tool creation. His work bridges academic research and practical software solutions, emphasizing scalability and variability management in modern systems.

پروفایل رسمی دانشگاه

Duncan Wattsمشاهده پروفایل

پژوهشگر

University of OsloNorway

Duncan Watts is a Researcher at the University of Oslo’s Department of Astrophysics within the Faculty of Mathematics and Natural Sciences. He holds a PhD in Physics and Astronomy from Johns Hopkins University (2018) and a BA in Physics and Astronomy from Harvard College (2012). His primary research focuses on cosmology, the cosmic microwave background (CMB), and analyzing microwave emissions from the Milky Way to address fundamental questions about the universe. Watts is a key contributor to the Cosmoglobe project and the CMB&CO group, advancing Bayesian statistical methods for CMB analysis and end-to-end error propagation. He has also worked on the Cosmology Large Angular Scale Surveyor (CLASS) experiment, focusing on instrument calibration, polarization measurements, and foreground separation. His affiliations include the University of Oslo (2020–present) and Johns Hopkins University (2018–2020). Research interests span cosmological parameter estimation, CMB polarization, instrument design, and open science practices. Notable projects include reprocessing WMAP/Planck data for synchrotron emission models and constraining cosmic birefringence. Watts collaborates on initiatives like BeyondPlanck and LiteBIRD, emphasizing reproducible methodologies and data longevity. Publications emphasize CMB instrumentation, data pipelines, and Bayesian analysis, with recent works addressing atmospheric cloud polarization, bolometer performance optimization, and full-sky synchrotron modeling. His work bridges observational cosmology with computational techniques, aiming to refine CMB data interpretation and cosmological inference. Labs/teams: COSMOGLOBE, CMB&CO group, BeyondPlanck collaboration, and the COMAP project. Active in developing tools like ZodiPy for simulating zodiacal emission and improving CMB mapmaking algorithms through Gibbs sampling.

پروفایل رسمی دانشگاه

Annabelle Klarlمشاهده پروفایل

پژوهشگر

Ludwig Maximilian University of MunichGermany

Annabelle Klarl is a Researcher in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich). Her research focuses on ensemble-based software engineering, formal methods, and autonomous systems, particularly through the Helena framework. She is part of the Software and Computational Systems Lab (SoSy), contributing to modeling and verifying distributed systems. Her work emphasizes rigorous ensemble architectures, dynamic component collaboration, and executable code generation. Key projects include ASCENS (Autonomic Service-Component Ensembles) and the Helena framework, which enables formal modeling and verification of ensemble systems. She has published extensively on topics like ensemble specifications, model-checking, and distributed system design. Her research bridges theoretical foundations with practical tools, such as the jHelena execution framework and HelenaText domain-specific language. Collaborations with Prof. Rolf Hennicker and others highlight her role in advancing ensemble-based software engineering.

پروفایل رسمی دانشگاه

Andrew Hillsمشاهده پروفایل

پژوهشگر ارشد

University of SheffieldUnited Kingdom

Dr Andrew Hills is a Research Fellow in the School of Electrical and Electronic Engineering at the University of Sheffield. His work spans interdisciplinary research areas including aerospace engineering, biomedical engineering, and data analytics. He specializes in developing innovative solutions for health monitoring, predictive maintenance, and medical decision support systems. Key research interests include: Wireless sensor networks for industrial applications Ultrasonic testing of infrastructure materials Machine learning-driven risk prediction models in healthcare Condition monitoring of gas turbine and wind turbine components His recent articles highlight contributions to personalized joint replacement decision tools (JointCalc), survival analysis methodologies in orthopaedic surgery, and advanced diagnostic systems for aerospace propulsion systems. These works demonstrate his ability to bridge engineering and medical domains. Dr Hills' research has been applied to critical infrastructure sectors including aerospace propulsion systems, civil engineering pipelines, and orthopaedic healthcare. He collaborates across disciplines to address real-world challenges in both technical and clinical contexts.

پروفایل رسمی دانشگاه

Ivan Kurtevمشاهده پروفایل

دانشیار

Eindhoven University of TechnologyNetherlands

Ivan Kurtev is an Associate Professor in Mathematics and Computer Science at Eindhoven University of Technology, specializing in software engineering and model-driven technologies. His research develops formal methods for software interface specification, component-based systems, and domain-specific languages. Recent work (2022-2024) focuses on adaptable runtime monitoring and robotics controller synthesis. Earlier contributions established foundations for model transformation languages (ATL/QVT) and requirements change management. He leads research on the INTERSECT project integrating formal methods for IoT systems.

پروفایل رسمی دانشگاه

Jan Broeninkمشاهده پروفایل

دانشیار

University of TwenteNetherlands

Jan Broenink is an Associate Professor at the University of Twente, affiliated with the Robotics and Mechatronics group within the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS). He serves as Programme Director of the MSc Robotics programme since July 2021 and previously chaired the Robotics and Mechatronics group (2017–2021). He holds a PhD and MSc in Electrical Engineering (EE) and biomedical degrees from the University of Twente. His research focuses on Cyber-Physical Systems, Systems Engineering, Robot Software Architectures, and Tools Development. Key interests include model-driven design, meta-modelling, simulation, co-simulation, and concurrent engineering. He develops software tools for robotics, emphasizing real-time computing and embedded control systems. Teaching encompasses Robot Software Design using Model-Driven approaches, Systems Engineering, and project supervision for MSc/BSc students. His work contributes to UN SDGs related to Industry and Future of Work, and Social and Daily Life. Broenink has supervised 9 student works and is active in conferences, presenting on topics like co-design methodologies and bond graph frameworks. His 162+ research outputs span embedded systems, robotics, and simulation tools.

پروفایل رسمی دانشگاه

Sue Chngمشاهده پروفایل

عضو هیئت علمی

University of SydneyAustralia

Dr. Sue Chng is an Associate Lecturer at the School of Computer Science, The University of Sydney. Her research focuses on computer science education, e-learning technologies, artificial intelligence, and computer vision. She has contributed to improving teaching methodologies through reflective practices, chatbot integration in courses, and hybrid learning models for large undergraduate classes. Her work also spans algorithm design for route optimization, sensor networks, and face recognition systems. Research Interests: Educational Technology: Developing innovative tools like chatbots for FAQ systems and hybrid learning frameworks. Computer Vision: Advancing face recognition algorithms and super-resolution imaging techniques. Algorithm Design: Optimizing pathfinding and route planning under constraints. Publications Overview: Dr. Chng has published in venues such as IEEE conferences and journals like Reflective Practice . Her recent work emphasizes the intersection of education and technology, alongside technical advancements in image processing and algorithmic efficiency. Awards: None listed. Advising & Grants: No advising records or grants mentioned. Her contributions are primarily through publications and teaching innovations. Labs/Teams: No specific lab affiliations noted in the provided text.

پروفایل رسمی دانشگاه

Stephan Kleukerمشاهده پروفایل

استاد

Osnabrück University of Applied SciencesGermany

Prof. Dr. Stephan Kleuker is a faculty member at Osnabrück University of Applied Sciences , specifically within the Faculty of Engineering and Computer Science . He focuses on Software Development , Quality Assurance , and Theoretical Computer Science , with a particular interest in formal methods and practical software engineering education. Role: Chair of Software Development Contact: s.kleuker@hs-osnabrueck.de | Phone: 0541 969 3884 Research Interests Quality Assurance through Testing and Model Checking Formal Methods in Software Development Model-Driven Development and UML Business Process Modeling and Optimization Integration of Requirements Analysis with Quality Measures Teaching Current courses: Object-Oriented Analysis and Design, Software Quality Management, Theoretical Computer Science Focus on practical software development education with tools like Eclipse, Netbeans, and Apache Derby Projects Developed environments for teaching (e.g., 2 GB SEU package) Research on test automation, requirements modeling, and distributed Java programs Tools & Publications: Creator of tools like Interaction Board for Java beginners, and author of textbooks on Software Engineering with UML and Quality Assurance through Software Testing .

پروفایل رسمی دانشگاه

Alexander Wiebelمشاهده پروفایل

استاد

Worms University of Applied SciencesGermany

Dr. Alexander Wiebel is a Professor of Visual Computing at Hochschule Worms University of Applied Sciences, where he also serves as Scientific Director of the Center for Technology and Transfer (ZTT). He co-founded the User Experience & Visualization (UX-Vis) research group and the Interdisciplinary Center for Digital Experience Design (IZEd). His expertise spans visual data analysis, AR/VR systems, and medical visualization. Education: PhD in Computer Science (2008) from University of Leipzig, Diplom-Informatik (2004) from TU Kaiserslautern, and secondary education at Gymnasium am Römerkastell, Alzey. Research focuses on interactive visualization systems, machine learning integration in visualization, and applications in healthcare and education. He has over 75 publications, including work on proton CT systems, motor skill training via AR, and modular educational resources for computer graphics. Leadership roles include membership in GI, Hlb, and Chaos Computer Club. Active in program committees for EuroVis, BioVis, and IEEE Visualization conferences. Supervised over 60 bachelor's, 20 master's, and multiple PhD students. Labs include the Visual Computing Lab (N-144) and contributions to OpenWalnut visualization software. Projects include SkillXR (AR-based physiotherapy), SIVERT (medical imaging tech), and ExGOER (OERs in computer graphics).

پروفایل رسمی دانشگاه

Jigish Zaveriمشاهده پروفایل

استاد

Morgan State UniversityUnited States

Dr. Jigish Zaveri is a Professor and Interim Department Chair in the Information Science & Systems Department at Morgan State University's Earl Graves School of Business and Management. He holds a Ph.D. in Management Information Systems from the University of Kentucky and degrees in Chemical Engineering from the University of Kentucky and Indian Institute of Technology. His research focuses on information systems security, healthcare informatics, decision support systems, and pedagogical strategies in IT education. Education: Ph.D. Management Information Systems (1992), University of Kentucky M.S. Chemical Engineering (1988), University of Kentucky B.Tech. Chemical Engineering (1985), Indian Institute of Technology Research Interests: Information Systems Security & Assurance Healthcare Information Systems Knowledge Management Decision Science & Artificial Intelligence IT Governance & Regulatory Compliance Pedagogy in STEM Education His recent work explores cyber risk assessment frameworks, SOX Act implications on IT governance, and gender diversity in technology sectors. He has secured grants from agencies like the Department of Homeland Security and National Security Agency, contributing to projects such as emergency management systems and transportation cybersecurity. Advising & Grants: Served as dissertation committee chair/coordinator Lead researcher on over $15M Homeland Security grant (2009) Collaborated with Johns Hopkins Applied Physics Lab on emergency response systems

پروفایل رسمی دانشگاه

Md Tajmilur Rahmanمشاهده پروفایل

استادیار

Gannon UniversityUnited States

Md Tajmilur Rahman is an Assistant Professor in the Department of Computer and Information Science at Gannon University , Erie, Pennsylvania, USA. His research focuses on software maintenance, evolution, architecture , and the application of AI and Large Language Models to improve software development practices. He has contributed to understanding feature toggle architectures and their impact on software systems. Education : PhD in Software Engineering from Concordia University (2018), supervised by Dr. Peter Rigby. Research Interests : Software Maintenance, Feature Toggles, Release Engineering, Software Architecture, AI in Software Engineering. Teaching : Courses include Software Testing, Software Maintenance, Software Architecture, Data Analysis, and Mobile Application Development at both undergraduate and graduate levels. Professional Service : Organizing Co-Chair for ACM Student Research Competition at ICSE 2025, Program Committee member for ESEC/FSE 2022, and Chair of IEEE Erie Section (2022-2024). Community Involvement : Strategic Planning Committee member at L’Arche Erie. Publications highlight empirical studies on feature toggles in Google Chromium, predictive analysis of software quality, and tool development for automated user story generation. His work bridges academic research with industry practices, particularly in release engineering and architectural growth control. Industry Experience includes senior software engineering roles at Morgan Stanley and PBSC Urban Solutions, focusing on back-end development, CI/CD implementation, and architectural decision-making.

پروفایل رسمی دانشگاه