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

Ana Moreiraمشاهده پروفایل

استاد

• Requirements Engineering
• Model-Driven Development
• Sustainability Engineering
• +۱۲ مورد دیگر

Ana Moreira is a Full Professor in the Computer Science Department at the Faculty of Science and Technology, NOVA University of Lisbon, and a leading researcher at NOVA LINCS, where she heads the Software Engineering group and serves on the Steering Committee. She is actively involved in major international conferences such as ICSE, MODELS, RE, and REFSQ, holding roles including Program Chair, Track Chair, and General Chair. Her research focuses on systematic approaches to software engineering, with emphasis on requirements engineering, model-driven development, sustainability engineering, and software quality. Key areas include stakeholder requirements, human values, quality attributes, and traceability in software product lines. She has pioneered work in early-phase modeling through co-founding the pUML and Early Aspects movements. Her publications span topics such as non-functional requirements in model-driven development, software sustainability, and neurodivergent-inclusive requirements elicitation. These reflect a strong trend toward human-centered, sustainable, and traceable software systems, combining theoretical rigor with practical impact. Best Paper Award (multiple) 10-Year Most Influential Paper Award on Aspects (2013) SoSyM Best 10-Year Paper Award (awarded at MODELS 2020) Ana has supervised 7 PhD students, co-supervised 2 from Brazil, advised 9 postdoctoral researchers, and guided over 60 MSc students. She has coordinated multiple research projects and holds leadership roles in academic governance, including on the Council Board of IREB and editorial boards of top journals like IEEE TSE, Requirements Engineering Journal, and SoSyM. She frequently organizes workshops such as MoDRE and contributes to journal-first tracks. She leads the Software Engineering group at NOVA LINCS, a premier research lab in computer science, and continues to shape the future of model-driven and sustainable software engineering through active collaboration, mentorship, and innovation.

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.

Sandeep Reddivariمشاهده پروفایل

دانشیار

• Software Engineering
• Requirements Engineering
• Visual Analytics
• +۷ مورد دیگر

Sandeep Reddivari is an Associate Professor and Interim Graduate Director at the School of Computing, University of North Florida . Holding a Ph.D. in Computer Science and Engineering from Mississippi State University, his work focuses on software engineering , particularly requirements engineering , visual analytics , and software maintenance , with funding from the NSF, US Army Corps of Engineers, NSA, and UNF Foundation. Education : Ph.D. (2014, Mississippi State University), M.S. (2009, Texas A&M University), B.Tech. (2006, JNTU) Research Themes : Requirements Engineering, Visual Analytics, Data Mining, Machine Learning, GenAI, Software Security Teaching : Courses in Software Engineering, Data Science, and Database Systems Awards : NSF Grant Recognition (2024), Best Doctoral Symposium Poster (2013), Outstanding Graduate Teaching Award Nominee (2018) Publications span top venues like IEEE RE, ICSE, and COMPSAC, with a focus on combining visual analytics and machine learning to enhance software decision-making. His lab at UNF mentors students in directed independent studies, emphasizing code navigation , blockchain , and educational software tools .

Yaguang Zhangمشاهده پروفایل

استادیار بالینی

• Data Science
• Digital Agriculture
• UAV-Aided Wireless Communication Systems
• +۴ مورد دیگر

Dr. Yaguang Zhang is a Clinical Assistant Professor at Purdue University, jointly appointed in the Department of Agricultural & Biological Engineering (ABE) and the Department of Agricultural Sciences Education & Communication (ASEC) . Holding a Ph.D. in Electrical and Computer Engineering from Purdue (2021), he specializes in data science , digital agriculture , and UAV-aided wireless communication systems , with applications in intelligent transportation, proactive road maintenance, and engineering education. Education: Ph.D. and M.Sc. in Electrical and Computer Engineering (Purdue), B.Eng. in Communication Engineering (Tianjin University) Research Interests span cutting-edge domains including: Digital Agriculture: GPS-based field shape generation, product traceability trees, and automated metadata collection for agricultural operations Wireless Communication: Millimeter-wave channel modeling, UAV relay systems, and rural network coverage optimization Smart Infrastructure: Pavement condition assessment tools, sun-shadow simulation for road treatment, and vehicle automation platforms Recent Publications emphasize scalable solutions for agricultural IoT, machine learning in crop monitoring, and interoperable data frameworks. His scientific awards include: 2024 Outstanding Engineering Teacher (Purdue) 2024 ASABE Superior Paper Award 2020 FFAR Student Poster First Prize Multiple NSF/IEEE travel supports Grants from USDA, NSF, INDOT, and industry partners (CableLabs, Nokia) fund projects like tractor autopilot development, rural 6G networks, and pavement monitoring systems. He mentors graduate students in agricultural robotics , data science , and connected vehicle research .

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

دانشیار

• Formal Methods
• Embedded Systems
• Real-Time Systems
• +۳ مورد دیگر

Michael Reichhardt Hansen is an Associate Professor at the Department of Applied Mathematics and Computer Science (DTU Compute) at the Technical University of Denmark. He holds a MSc in Engineering (1982) and a PhD in Computer Science (1987) from DTU. He has held postdoctoral and visiting roles, including a fellowship at IBM Research Center (1984–1985) and a guest professorship at Oldenburg University (1992–1993). His research focuses on formal methods, embedded systems, and real-time systems, emphasizing mathematically grounded software development. He has authored/co-authored three books and over 70 scientific articles. Research interests include model-based program construction, temporal logic, functional programming, and ontology alignment. He has led projects on ontology matching frameworks (e.g., MDMapper) and formal methods for real-time systems. Hansen has supervised PhD students in areas like data integration and genetic circuit synthesis. He has contributed to international conferences and serves as a reviewer/examiner for academic programs. His work bridges theoretical foundations with industrial applications, particularly in embedded systems and data management. He has collaborated internationally, with projects addressing ESG reporting standards and regulatory compliance through automated data traceability.

• Object-Oriented Programming
• Software Engineering
• Formal Methods
• +۵ مورد دیگر

Bertrand Meyer is a renowned academic and software engineering expert affiliated with Constructor University in Switzerland. He previously held positions at ETH Zurich (2001-2016), the University of Toulouse (2015-2016), and Monash University. His research focuses on object-oriented programming, software engineering, formal methods, and programming languages. He is best known for developing the Eiffel programming language and pioneering the 'Design by Contract' paradigm. Meyer earned his PhD from the University of Nancy, France. His contributions include seminal textbooks like *Object-Oriented Software Construction* (1988, 1997), *Touch of Class* (2009), and *Agile!* (2014). He has received the ACM Software System Award (2006) for his work on Eiffel. His research emphasizes rigorous software design principles, formal verification, and practical software engineering practices. Key innovations include: Design by Contract methodology Advancements in object-oriented design patterns Contributions to component-based development Work on software testing and validation techniques Meyer has authored over 374 publications spanning journals, conferences, and books. His work bridges theoretical foundations and practical software development methodologies.

Emmanuel Giguetمشاهده پروفایل

پژوهشگر

• Computer Science
• Computer Forensics
• Natural Language Processing
• +۴ مورد دیگر

Emmanuel Giguet is a Researcher at the French National Centre for Scientific Research (CNRS), affiliated with the GREYC Laboratory (Computer Science Department) at the University of Caen, Normandy, France. He holds an HDR (Accreditation to Supervise Research) from the University of Caen (2011) and a PhD in Computer Science (1998), both focusing on multilingual natural language processing and document analysis. Roles: Cybersecurity Researcher, Communication and Scientific Mediation Adviser (GREYC Lab), Former Computer Forensics Legal Expert (2005–2015). Expertise: Digital Forensics, Natural Language Processing, Document Structure Analysis, Open Source Intelligence, Competitive Intelligence. His research spans cybersecurity, digital forensics, and NLP applications in document analysis. He co-founded Semiotime (2012), a Competitive Intelligence startup, and has contributed to tools like the GREYC Digital Investigation Platform (G'DIP). He teaches cybersecurity modules at the University of Caen, emphasizing digital forensics and information retrieval. Key Projects: Development of open-source digital investigation tools (e.g., G'DIP). Analysis of deepfake videos and forensic video forgery detection. PDF document structure extraction for financial narrative processing (FinTOC). Affiliations: GREYC Lab (CNRS UMR 6072), University of Caen. Institute for Information Sciences, University of Caen. Communication: Advises GREYC on branding and media presence, including logo guidelines, virtual backgrounds, and scientific mediation resources.

Saeed Reza Mohandesمشاهده پروفایل

استادیار

• Construction Project Management
• Artificial Intelligence in Construction
• Sustainable Construction
• +۷ مورد دیگر

Saeed Reza Mohandes is an Assistant Professor in the Engineering Management Department at the University of Manchester , specializing in Construction Project Management with a focus on AI-based techniques and Digital Twin technology. His academic journey includes a Doctor of Engineering from Hong Kong University of Science and Technology (HKUST) , M.Sc. in Construction Technology from Universiti Teknologi Malaysia (UTM) , and B.Eng. in Technical Design from Islamic Azad University (IAU) . Education: Ph.D. in Engineering, Hong Kong University of Science & Technology, 2020 M.Sc. in Construction Technology, Universiti Teknologi Malaysia, 2014 B.Eng. in Technical Design, Islamic Azad University, 2010 His research leverages deep learning, fuzzy logic, and IoT to advance Construction Safety , Green Construction , and Infrastructure Management , aligning with UN Sustainable Development Goals (SDGs). Recent publications examine Digital Twin for net-zero buildings, blockchain in sustainable procurement, and UAVs for safety management. Scientific Awards : Best Paper Award, International Conference on Circular Economy (2023) Editorial Roles : Associate Editor, Guest Editor, and Reviewer for leading journals in construction and AI

• Logic in Computer Science
• Coalgebras
• Modal Logics
• +۷ مورد دیگر

Corina Cirstea is a Professor in the School of Electronics and Computer Science at the University of Southampton, where she has been a faculty member since 2003. She holds a DPhil in Computation from the University of Oxford and previously served as a Junior Research Fellow at St. John's College, Oxford. She is the Programme Leader for the BEng/MEng in Software Engineering and teaches core modules including Algorithmics, Theory of Computing, and Automated Software Verification. Education: DPhil in Computation, University of Oxford (2000) Junior Research Fellowship, St. John's College, Oxford (1999–2003) Her research focuses on logic and models of computation, particularly coalgebras and their applications in automated verification and synthesis. She explores coalgebraic temporal logics, trace semantics, and formal modeling of real-time and resource-aware systems, primarily using Event-B. Her work bridges theoretical foundations with practical system verification, especially in safety-critical domains. The analysis of her recent publications reveals a strong trend in formal methods, with consistent contributions to real-time system modeling, refinement techniques, and coalgebraic semantics. Her work integrates theoretical depth with engineering applications, particularly in automated verification and system design. Scientific Service and Recognition: Member of the editorial board, Compositionality journal Member of IFIP Working Group 1.3 Member of CALCO Steering Committee Member of CMCS Steering Committee Program Committee member for SEFM 2021, MFPS 2021, HIGHLIGHTS 2021, ICALP 2021, MFCS 2021, ACT 2020, ICE 2020, CMCS 2020, FOSSACS 2020 She advises PhD students including Chenyang Zhu and Eman Alkhammash, and has been involved in multiple research grants focused on formal verification, real-time systems, and software engineering. She collaborates extensively with researchers such as Michael Butler and Ichiro Hasuo. Her work contributes to both foundational theory and practical tooling in formal methods. She is associated with research groups and initiatives in formal methods and theoretical computer science at the University of Southampton, particularly within the broader context of software engineering and system verification.

• Formal Methods of Software Engineering
• Operating Systems Verification
• Critical Systems Development
• +۵ مورد دیگر

Alexey Vladimirovich Khoroshilov is an Associate Professor at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE), affiliated with the Basic Department "System Programming" of the Institute for System Programming named after V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS). He joined HSE in 2015, bringing 20 years of scientific and teaching experience to his position. His academic background includes a Candidate of Physical and Mathematical Sciences degree (2006) and a specialty in Applied Mathematics and Computer Science from Moscow State University named after M.V. Lomonosov (2001), with the qualification of Mathematician and Systems Programmer. His primary research interests focus on formal methods of software engineering, particularly in the verification and validation of critical systems. He specializes in methods for designing and developing critical systems, formal verification techniques, model-based testing, and requirements analysis. His work has significant applications in operating systems security, real-time systems, and safety-critical software development. His recent publications demonstrate a strong focus on operating system verification, with particular emphasis on abstract model-based runtime verification, security policy integration, and multi-level requirements compliance. His research often combines theoretical formal methods with practical applications in operating system security and verification. The recurring themes across his work include component-based verification approaches, thread-modular analysis techniques, and formal modeling of security policies. Khoroshilov maintains a strong connection with the Institute for System Programming of the Russian Academy of Sciences, where he has worked since 1999 and held the position of leading research fellow as of 2014. He also teaches at Moscow State University's Department of System Programming within the Faculty of Computational Mathematics and Cybernetics since 2009. His teaching focuses on operating system development, particularly courses on the design of operating system kernels for both bachelor's and master's programs. His technical expertise includes verification of operating system components, security policy implementation, and requirements management for critical systems. He has contributed to significant projects related to aviation real-time operating systems, formal security models, and Linux kernel verification.

Sina Rafati Niyaمشاهده پروفایل

پژوهشگر

• Blockchain
• Decentralized Finance (DeFi)
• Supply Chain Tracking
• +۴ مورد دیگر

Dr. Sina Rafati Niya serves as a Senior Researcher at the Blockchain and Distributed Ledger Technologies (BDLT) group, University of Zurich (UZH), where he specializes in blockchain data governance and analytics for PoS-based systems including Cardano, Tezos, Casper, and Polkadot since 2022. His research spans decentralized applications in DeFi, supply chain tracking, identity management, and IoT domains, building on continuous work since 2017. He completed his Ph.D. at UZH in 2021 with the dissertation "Efficient Designs for Practical Blockchain-IoT Integration," establishing foundational work for his current research trajectory. Rafati Niya's research centers on Blockchain Data Engineering and Analysis, with specific expertise in transaction untangling (Cardano shared send transactions), address clustering heuristics, privacy-preserving micro-payment systems for resource-constrained IoT devices, and GDPR-compliant blockchain adaptations. His methodology emphasizes practical implementation challenges in scalability and real-world deployment across financial, supply chain, and industrial IoT contexts. Publication analysis reveals concentrated advancements in Cardano analytics (60% of recent work), including novel transaction analysis frameworks and network structure investigations in Polkadot, alongside persistent exploration of blockchain-IoT integration patterns. This body of work demonstrates evolving sophistication from protocol design (2017-2020) toward advanced analytics and privacy solutions (2021-2025). No scientific awards were documented in the source material. While specific advisees and grants remain unlisted, his extensive co-authorship pattern (27+ publications 2017-2025) indicates active mentorship within the BDLT group and collaboration with researchers including C. J. Tessone, Burkhard Stiller, and M. Chegenizadeh. Current projects focus on offline micro-payment verification and Cardano transaction analytics. As a core contributor to UZH's BDLT research group, he drives initiatives in blockchain analytics infrastructure and practical protocol development, maintaining strong industry-academia connections through publications in IEEE ICBC, Springer, and Elsevier venues.

• Human Factors in Privacy and Security
• Usable Security and Privacy
• Security/Privacy Awareness and Behavior Change
• +۶ مورد دیگر

Prof. Nico Ebert is a Professor of Business Information Systems and Head of the Information Systems Human Factors & Risks Group at the ZHAW School of Management and Law. His work focuses on human factors in privacy/security, usable security, and organizational cybersecurity practices. He leads research projects such as the Cyber Resilience Network (Canton of Zurich) and studies TikTok privacy behavior among Swiss youth. Ebert has authored over 50 peer-reviewed articles, with recent emphasis on cybersecurity decision-making, privacy-aware design, and organizational data collaboration frameworks. Education background not explicitly stated in provided texts, but his academic career spans over 20 years with a focus on business information systems and cybersecurity. Active in professional networks including ACM's Swiss CHI Chapter and the Digital Society Initiative (DSI). Research integrates behavioral science principles with technical cybersecurity solutions. Key research areas include: human-centered cybersecurity strategies, privacy-by-design frameworks, and evaluating security technologies like trusted execution environments. His work bridges organizational practices with user behavior studies, often employing mixed-methods approaches. Grants and collaborations include leadership in multiple EU-funded projects and industry partnerships. Advises on cybersecurity policies for regulated industries and publishes regularly in top venues like Communications of the ACM and Computers & Security.

• Declarative Process Modeling
• Process Mining
• Formal Verification
• +۴ مورد دیگر

Paul Cosma is a Postdoctoral Researcher at the Department of Computer Science (DIKU), University of Copenhagen, specializing in the Software, Data, People & Society (SDPS) section. His work focuses on declarative process modeling, formal verification, and explainable AI systems, with strong connections to process mining and Petri net theory. He completed his PhD at the University of Copenhagen's Faculty of Science in 2024 with a thesis on declarative process models as verifiable AI. His research interests center on declarative process modeling and formal verification of complex systems. Cosma develops techniques for improving model simplicity through nested group discovery and creates frameworks like BERMUDA for participatory mapping of domain activities to event data. His work bridges theoretical computer science with practical applications in business process management and AI explainability, emphasizing human-centered design principles where software systems are developed with societal impact in mind. Cosma's publication record shows a clear trajectory in process modeling research, with recent work focusing on transforming Dynamic Condition Response Graphs to Safe Petri Nets (2023) and improving declarative model simplicity (2024). His research demonstrates strong interdisciplinary connections between formal methods, AI verification, and human-computer interaction, particularly in making complex process models accessible and verifiable. Cosma actively collaborates with researchers including Thomas Hildebrandt, Tijs Slaats, and Axel Christfort, primarily within the SDPS section at DIKU. His work receives consistent citations in process mining literature, with his 2023 PETRI NETS paper accumulating 1 citation and his CAiSE 2024 paper gaining 2 Scopus citations. He maintains an ORCID profile (0000-0001-8022-6402) and contributes to open-access research through the university's Pure repository. Based in Sigurdsgade 41, Copenhagen N, Cosma operates within DIKU's collaborative research environment that emphasizes industry partnerships and interdisciplinary work. His recent PhD defense (June 13, 2024) marks his transition from doctoral candidate to postdoctoral researcher, positioning him to expand his contributions to process-aware information systems and verifiable AI.

• Computer Modelling and Simulation
• Operations Management
• Supply Chain Management
• +۳ مورد دیگر

Dr. Terrence Perera is a Teaching Professor in the Operations Management and Decision Sciences (OMDS) department at the University of Sheffield's Management School. With over 30 years of experience in teaching, research, and consultancy, he specializes in computer modeling/simulation, operations management, and supply chain management. He leads modules such as 'The Intelligent Organisation,' 'Internationalisation Challenge,' and 'Business Intelligence' in undergraduate and MBA programs. His work integrating Qlik into teaching earned him the 2025 Qlik Education Ambassador title, while his Internationalisation Challenge module was shortlisted for a postgraduate employability award by AGCAS. Education: BSc and PhD qualifications. Research Interests: Focus on Industry 4.0 integration, simulation in healthcare (e.g., neonatal unit analysis), supply chain data management, and sustainability initiatives. He has secured five EPSRC grants and managed Knowledge Transfer Partnership projects with firms like BAE Systems and Siemens. Professional Recognition: Recipient of the 2025 Qlik Education Ambassador award and AGCAS shortlist. His consultancy spans sectors including healthcare, manufacturing, and logistics. Teaching & Advising: Supervises student dissertations, develops case studies from industry collaboration. His modules emphasize real-world applications of analytics and modern technologies. Grants & Projects: Five EPSRC grants, multiple KTP projects focused on manufacturing systems and ERP. Collaborations include Sheffield Children’s Hospital and Fosters Bakery.

• Catalysis
• CO₂ Valorization
• Kinetic Modeling
• +۴ مورد دیگر

Dr. Sofia Angeli is a Group Leader at the Institute of Catalysis Research and Technology (IKFT), Karlsruhe Institute of Technology (KIT), Germany, since March 2024. Previously, she held roles as Senior Scientist/Group Leader (2021–2024) and Postdoctoral Researcher (2017–2019) at KIT. Her research focuses on catalysis for energy transition, CO₂ valorization, kinetic modeling, and digitalization of catalytic processes. She leads interdisciplinary projects integrating experimental and computational methods to advance sustainable chemical processes. PhD in Chemical Engineering (2016): Aristotle University of Thessaloniki, Greece. Thesis: Hydrogen production via intensified methane steam reforming processes. M.Sc. in Advanced Materials (2012): Aristotle University of Thessaloniki. Diploma in Chemical Engineering (2009): Aristotle University of Thessaloniki. Research Interests : Sofia’s work spans kinetic modeling, CO₂ conversion, catalytic pollutant removal, and digital tools for catalysis research. She develops novel catalysts for methane reforming and designs data management systems like Adacta and CaRMeN to streamline reaction mechanism analysis. Her projects often address industrial challenges in emissions reduction and renewable energy. Her recent publications emphasize catalytic processes for energy sustainability (e.g., methane oxidative coupling) and automated modeling frameworks. She collaborates widely, contributing to journals like Chemical Engineering Journal and ACS Catalysis . Advising & Teams : As a Group Leader, she oversees researchers in catalysis and data-driven processes. Her team works on cutting-edge projects supported by KIT’s infrastructure and interdisciplinary networks. Labs/Teams : Active in the IKFT and the Deutschmann Group, focusing on catalyst design and process intensification.