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

Beng Chin Ooi is a Lee Kong Chian Centennial Professor at the National University of Singapore (NUS), School of Computing (SoC). He holds a B.Sc. (1st Class Honors) and Ph.D. in Computer Science from Monash University. His research focuses on database systems, large-scale analytics, and distributed computing. He has held leadership roles including Dean of School of Computing (2007–2013) and Director of Smart Systems Institute (2011–2021). Key achievements include the Singapore President’s Science Award (2011), ACM Fellow (2011), IEEE Fellow (2009), and multiple best paper awards. His work emphasizes scalable data management, blockchain systems, and healthcare data analytics. Education: Monash University (B.Sc., Ph.D.) Leadership: Dean (SoC), Director (Smart Systems Institute) Awards: Over 15 major honors including ACM SIGMOD E.F. Codd Innovations Award (2020) His research spans distributed databases, big data systems, and innovative applications of blockchain technology. Recent work includes NASI (neural architecture search) and Rafiki (ML-as-a-service).

• Database systems
• Large scale analytics
• Distributed systems
• +۳ مورد دیگر

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +۵ مورد دیگر

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +۳ مورد دیگر

Mei Hong is a Professor and Vice President for HR and International Collaboration at Beijing Institute of Technology since 2016. Previously, she held leadership roles including Vice President for Research at Shanghai Jiao Tong University (2013-2016) and Dean of the School of Electronics Engineering and Computer Science at Peking University (2006-2014). She has made groundbreaking contributions to software engineering and system software fields. BSc and MSc in Computer Science & Engineering from Nanjing University of Aeronautics & Astronautics (1984, 1987) PhD in Computer Science and Technology from Shanghai Jiao Tong University (1992) Her research focuses on software architecture , component-based software engineering , and cloud computing/big data systems . She has led over 40 grants totaling 200+ million CNY and holds 20+ patents. Her work addresses critical challenges in software lifecycle modeling, interoperability, and standardization. As a leading authority in software engineering, she has received China's highest honors including State Awards for Science and Technology Progress (2006), Technology Invention (2008), and Natural Science (2012). She was elected Member of the Chinese Academy of Sciences in 2011 and IEEE Fellow in 2014. Executive Editor-in-Chief of Science China-Information Sciences (2012-2017) Editor-in-Chief of Science China-Information Sciences (2018-present) Advisory Board Member of Alibaba DAMO Academy (2017-present)

• Software architecture
• Program analysis and testing
• Software System for Cloud Computing and Big Data
• +۵ مورد دیگر

Edgar Erdfelder is a Full Professor of Psychology at the University of Mannheim, Germany, holding the Chair of Cognitive Psychology and Individual Differences since 2008. He is affiliated with the School of Social Sciences and has made significant contributions to cognitive psychology, statistical modeling, and decision-making research. Previously, he served as Full Professor at the University of Mannheim (2002–2008), Associate Professor at the University of Giessen (2001–2002), and Senior Lecturer at the University of Bonn (1987–2001). Ph.D. in Psychology, University of Trier (1986) Habilitation in Psychology, University of Bonn (2000) Diploma (M.Sc.) in Psychology, University of Göttingen (1980) Erdfelder's research focuses on statistical power analysis, multinomial processing tree (MPT) modeling, sequential statistical inference, and cognitive modeling. His work explores judgment and decision-making through mathematical and computational frameworks, integrating signal-detection theory with threshold models. He developed the widely used GPOWER software for statistical power analysis and advanced MPT models to measure cognitive process speeds. His recent publications with students highlight applications of Bayesian sequential methods, meta-analyses of sleep effects on memory, and theoretical extensions of the recognition heuristic. These studies span subfields like cognitive architecture, decision theory, and experimental design. Martin Irle Award (2020) Fellow of the Association for Psychological Science (2016) Heinz Heckhausen Award (1988) Erdfelder has held leadership roles, including Vice President of Research at the University of Mannheim and Academic Director of the Center of Doctoral Studies in Social and Behavioral Sciences funded by the DFG. He mentored numerous Ph.D. students and led the DFG-funded Research Training Group SMiP, focusing on statistical modeling in psychology.

• Statistical power analysis
• Multinomial processing tree (MPT) modeling
• Sequential statistical inference
• +۳ مورد دیگر

Victor Vianu is a Professor of Computer Science and Engineering at the University of California, San Diego and holds the INRIA International Chair at INRIA-Saclay in Paris. He has maintained continuous faculty status at UC San Diego since 1983 while developing extensive international collaborations, particularly with French research institutions including INRIA, ENST-Paris, ENS-Paris, and the University of Paris. His academic credentials include a Ph.D. in Computer Science from the University of Southern California (1983) and undergraduate studies in Mathematics and Informatics at the University of Bucharest (1974-1977). Professor Vianu's research spans computational logic, database systems and theory, and automatic verification. His work uniquely bridges theoretical foundations with practical applications in XML processing, workflow systems, and data-driven applications. He has made seminal contributions to understanding the theoretical underpinnings of database query languages and their expressive power, particularly in the context of XML technologies and workflow systems. His research demonstrates a consistent trajectory from theoretical computer science to practical database systems applications. His publication record reveals significant contributions to database theory spanning over three decades, with particular emphasis on XML technologies, workflow systems, and formal methods for data-driven applications. His work shows a clear evolution from foundational theoretical work to practical applications in business processes and web technologies. INRIA International Chair (2013) Fellow of the American Association for the Advancement of Science (AAAS) (2013) ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) Fellow of the Association for Computing Machinery (ACM) (2006) Professor Vianu has held significant leadership roles including Editor-in-Chief of the prestigious Journal of the ACM, numerous program committee chair positions for major database conferences (PODS, ICDT, ASIAN), and General Chair for ACM SIGMOD conferences. He has served on the executive committees of SIGMOD (1998-2000) and PODS (1993-2004), and was a member of the ICDT Council (1997-2007), demonstrating sustained influence in the theoretical database community. His extensive invited talks at major conferences including College de France, ACM PODS, and International Conference on Database Theory highlight his international recognition.

• Computational Logic
• Database Systems
• Database Theory
• +۴ مورد دیگر

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.

• Model-Based Testing
• Automata Theory
• Machine Learning
• +۵ مورد دیگر

Univ.-Prof. Martin Pinzger is a Professor at the Department of Informatics Systems, Alpen-Adria-Universität Klagenfurt. He serves as Head of Department and Member of the Senate, actively contributing to academic governance. Research Focus: Automating Software Engineering Tasks, Mining Software Repositories, Program Analysis, Software Evolution and Visualization Recent Work: Developing tools for API evolution analysis, cybersecurity AI (CAI), robotics benchmarking (RobotPerf), and dependency validation His research combines empirical studies with tool development for software maintenance and security. Current projects address challenges in REST API breaking changes, cloud security certifications, and robotic system performance evaluation. Publications since 2023 demonstrate continued engagement with topics spanning AI-driven code segmentation, microservice API evolution, and cybersecurity tool development. Key trends include cross-disciplinary applications of NLP to software engineering and security-focused tool creation. Contact: martin.pinzger@aau.at

• Automating Software Engineering Tasks
• Mining Software Repositories
• Program Analysis
• +۹ مورد دیگر

Martin Bicher is a PostDoc Researcher at TU Wien, affiliated with the Department of Data Science under the Faculty of Informatics. He specializes in agent-based simulation, epidemiological modeling, and decision support systems for public health crises. His work focuses on optimizing resource allocation, vaccination strategies, and policy evaluation during pandemics. He teaches courses such as Modeling and Simulation (194.076), Modelling and Simulation in Health Technology Assessment (194.094), and Advanced Modeling and Simulation (194.056). His research is supported by projects like DynOptTestControl (2022–2026) and KLIPHA-COVID19 (2020–2021). Key research interests include agent-based modeling frameworks, integration of machine learning into simulation systems, and multi-criteria decision support for public health interventions. His publications analyze pandemic response strategies, vaccination prioritization, and the impact of environmental factors on disease spread. Recent work includes developing mathematical models for equitable disease testing, simulating vaccination strategies under supply uncertainties, and evaluating contact-tracing policies. He collaborates with interdisciplinary teams to address challenges in healthcare resource optimization and policy design. Advising two students, Bicher has mentored theses on railway simulation and delay modeling. His contributions to pandemic decision support have been featured in high-impact journals like Omega and PLoS ONE.

• Epidemiological Modeling
• Agent-Based Simulation
• Public Health Policy
• +۳ مورد دیگر

Rudolf Ramler is an External Lecturer at TU Wien's Faculty of Informatics, Department of Information Systems Engineering. He specializes in software testing methodologies, automated testing frameworks, and software quality assurance. His research focuses on improving testing practices for legacy systems, industrial automation software, and defect prediction in software projects. He teaches the Software Testing course (VU 188.280) in 2025S. His work spans empirical investigations, tool-supported testing, and systematic literature reviews. Ramler has contributed to projects like CDL-SQI (2018–2024), exploring practical approaches for testing industrial automation systems. Research interests include test code readability, automated testing strategies, and value-driven testing frameworks. His publications address challenges in retrofitting tests for legacy code, comparing manual and automated testing efficacy, and developing context-specific defect prediction models. He has collaborated with industry partners to apply academic research to real-world software engineering problems.

• Software Engineering
• Software Testing
• Automated Testing
• +۳ مورد دیگر

Manuel Arellano is Professor of Economics at the Center for Monetary and Financial Studies (CEMFI) in Madrid since 1991, with prior appointments at the University of Oxford (1985-89) and London School of Economics (1989-91). A leading econometrician specializing in panel data analysis, his work bridges theoretical econometrics and labor economics applications. He earned his undergraduate degree from the University of Barcelona and Ph.D. from the London School of Economics. Arellano's research focuses on econometric methodology for panel data, particularly dynamic models with heterogeneity. His seminal book Panel Data Econometrics (2003) established foundational frameworks for nonlinear and dynamic panel estimation. Current work extends to distributional analysis of random coefficients and robust inference under uncertainty, maintaining consistent emphasis on labor market applications like unemployment duration and policy evaluation. His publication history reveals a 30-year trajectory advancing panel data econometrics, evolving from specification testing (1987-1995) to sophisticated dynamic and nonlinear models (2003-2014), with persistent focus on practical implementation and labor economics applications. Major honors include: President of the Econometric Society (2014) Foreign Honorary Member of the American Academy of Arts and Sciences (2014) Rey Jaime I Prize in Economics (2012) ISI Highly Cited Researcher status (2010) Fellow of the Econometric Society (2002) No information on student advising or research grants appears in the source materials. Similarly, details about research laboratories or collaborative teams are not documented in the provided texts.

• Econometrics
• Panel Data Analysis
• Labour Economics
• +۱ مورد دیگر

Tobias Ofner-Graff is a researcher at the Institute of Forest Growth within the Department of Ecosystem Management, Climate and Biodiversity at the University of Natural Resources and Life Sciences, Vienna (BOKU). Based at Peter-Jordan-Straße 82, 1190 Wien, his work focuses on advanced forest monitoring technologies. His research interests include: LiDAR and remote sensing applications in forestry Automated forest inventory systems Forest regeneration quantification Airborne Laser Scanning (ALS) data analysis Sustainable forest harvesting planning Recent project contributions include: Leading lidar-based forest monitoring systems development Developing spatial forest growth models Implementing digital inventory workflows His publications demonstrate expertise in: Quantifying forest resources through 3D point clouds Advanced timber stack measurement techniques ALS data integration for forest modeling Mobile laser scanning applications Forest climate adaptation strategies

• Forest Inventory and Monitoring
• LiDAR Technology Applications
• Forest Regeneration Quantification
• +۳ مورد دیگر

Philipp Haindl is a lecturer at the Department of Computer Science and Security at St. Poelten University of Applied Sciences. His work focuses on software engineering, cybersecurity, and AI integration in education and manufacturing. Software Engineering Cybersecurity Artificial Intelligence DevOps Quality Assurance Research Interests: Dr. Haindl explores software metrics, inter-service security in microservices, and AI tools like ChatGPT in programming education. He investigates quality models and non-functional requirements in DevOps environments. Publications: Recent work includes studies on ChatGPT's impact in software engineering education, systematic reviews of microservice security, and frameworks for human-AI teaming in manufacturing.

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

Gerti Kappel is a full professor at the Institute of Information Systems Engineering at TU Wien, affiliated with the Business Informatics Group (BIG). Since 2020, she has served as Dean of the Faculty of Informatics at TU Wien, previously holding the role of Dean’s team member responsible for research, diversity, and financial affairs (2016–2019). She previously held a full professorship in computer science (database systems) and led the Department of Information Systems at Johannes Kepler University Linz (1993–2001). Her research focuses on Model Engineering, Web Engineering, and Process Engineering, particularly in cyber-physical production systems. She has co-authored influential works such as UML@Work (2005), UML@Classroom (2015), and Web Engineering (2006). Key projects include leadership roles in Vienna Informatics Living Lab (2018–2019), MPM4CPS (2014–2019), and ARTIST (2012–2015), addressing topics like model versioning, cloud architecture modeling, and inter-organizational systems. Her recent articles explore circular systems engineering, IoT-based simulation environments, and model-driven approaches for time-series analytics and cloud applications. She actively contributes to academic governance, including managing the Office of the Dean (E199-01) and overseeing faculty services. Her work emphasizes bridging theory and practice through collaborative frameworks like ERPEL and TROPIC . Grants: Projects funded by Austrian Research Promotion Agency, European Cooperation in Science and Technology, Vienna Business Agency, and others. Advising: Supervised over 15 graduate theses, including recent works on model-driven techniques for railway planning, debugging frameworks for modeling tools, and cloud-based IDEs. Labs/Teams: Leads research within the Business Informatics Group (BIG) and collaborates with the Vienna Informatics Living Lab for applied systems engineering.

• Model Engineering
• Web Engineering
• Process Engineering
• +۹ مورد دیگر

Alex X. Liu is a Professor in the Department of Computer Science & Engineering at Michigan State University (2016-2022), currently serving as Chief Information Security Officer and President of Midea Software Engineering Institute. His academic career includes roles as Associate Professor (2012-2016) and Assistant Professor (2006-2012) at the same institution. He holds a Ph.D. and M.S. in Computer Science from The University of Texas at Austin, and a B.S. in Computer Science from Jilin University, China. Education Ph.D. in Computer Science (UT Austin, 2006) M.S. in Computer Science (UT Austin, 2002) B.S. in Computer Science (Jilin University, 1996) Liu's research focuses on Dependable computing , Networking algorithms , Cloud computing , Mobile computing , Privacy computing , and Computer/network security . His work spans secure systems, network protocols, and resource optimization in distributed environments. Recent publications address quantum neural networks , microservices autoscaling , RFID tag recognition , network traffic classification , and hybrid physical-layer authentication , demonstrating expertise at the intersection of AI and network security. Key trends include deep learning applications for cloud systems and robust security protocols. Scientific Awards IET Fellow (2021) IEEE Fellow (2019) ACM Distinguished Scientist (2019) Withrow Distinguished Scholar Awards (Senior 2019, Junior 2011) NSF CAREER Award (2009) IEEE & IFIP William C. Carter Award (2004)

• Dependable computing
• Networking algorithms
• Cloud computing
• +۳ مورد دیگر