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

Marta Zofia Kwiatkowskaمشاهده پروفایل

استاد

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

Sylvain Lefebvreمشاهده پروفایل

پژوهشگر

• Computer Graphics
• Texture Synthesis
• Additive Manufacturing
• +۴ مورد دیگر

Sylvain Lefebvre is a permanent researcher at INRIA (Institut National de Recherche en Informatique et en Automatique) in France, where he leads the MFX research team since 2018. Previously, he was part of the ALICE group at INRIA Nancy (2009-2018) and the REVES team in Sophia Antipolis (2006-2009). His career includes a postdoctoral position at Microsoft Research Seattle (2005) following his PhD at INRIA Rhones-Alpes under Fabrice Neyret. His educational background includes a PhD in Computer Graphics from Université Joseph Fourier (Grenoble) in 2005, preceded by a Master in Computer Graphics from INP Grenoble in 2001. His habilitation thesis focused on Runtime Texture Synthesis. Lefebvre's research centers on simplifying content creation for highly detailed patterns, structures, and shapes with applications spanning Computer Graphics to additive manufacturing. He develops fast, controllable by-example synthesis approaches that generate content while enforcing user-specified constraints. His work addresses computational challenges through novel data structures and algorithms optimized for GPUs and FPGAs, including his Silice programming language. The ERC-funded ShapeForge project (2012-2017) advanced shape generation for 3D printing, leading to the IceSL software for digital modeling and fabrication. Analysis of his 15 most recent publications reveals a strong focus on additive manufacturing optimization, with recurring themes in structural integrity, material efficiency, and geometric algorithms. His work bridges computer graphics theory with practical fabrication constraints, particularly in microstructure design, slicing techniques, and mechanical metamaterials. The interdisciplinary nature spans computer science, materials engineering, and robotics. EUROGRAPHICS Young Researcher Award (2010) ERC Starting Grant for ShapeForge project (2012) Lefebvre has advised over 25 PhD students and interns including Marco Freire, Thibault Tricard, and Jimmy Etienne. His ShapeForge project received significant ERC funding, supporting research in computational fabrication. He serves on numerous program committees including SIGGRAPH, Eurographics, and SIGGRAPH Asia, reflecting his leadership in the computer graphics community. As leader of the MFX team since 2018, Lefebvre directs research in computational fabrication, focusing on IceSL software development for 3D printing workflows. The team integrates computer graphics techniques with manufacturing constraints, developing tools that simplify complex object design and fabrication while addressing real-world challenges in material usage and structural integrity.

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

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

• Augmented Reality
• Computer Vision
• Human-Computer Interaction
• +۴ مورد دیگر

Dr. Alexander Plopski is an Assistant Professor at the Institute of Visual Computing, Technische Universität Graz. His research focuses on advancing augmented reality (AR) technologies, human-computer interaction (HCI), and optical display systems. He holds a PhD, M.Sc., and BSc in relevant fields. His work emphasizes perceptual optimization in AR displays, eye tracking integration, and accessibility solutions for color vision deficiencies. Key research areas include gaze-contingent AR interfaces, light field manipulation for extended reality, and multimodal interaction techniques. Notable contributions include the development of the 'guitARhero' interactive AR guitar tutorial system and studies on focal distance effects in optical see-through displays. His publications span topics from AR display calibration to gesture recognition using radar sensing. He has explored applications in industrial training, medical AR, and robotic telemanipulation. His work often bridges theoretical perceptual studies with practical system implementations, aiming to enhance user experience and accessibility in AR/VR environments.

Morgane Chevalierمشاهده پروفایل

دانشیار

• Educational Robotics
• Computational Thinking
• E-learning
• +۴ مورد دیگر

Morgane Chevalier is an Associate Professor at Vaud Teacher Training College (HEP Vaud) working within the Media, Digital Uses and Computer Science Teaching unit (UER MI). She specializes in multimedia pedagogical engineering, combining project management with e-learning scripting. Her work bridges educational theory and practical implementation of digital technologies in classroom settings, with particular focus on primary education. With prior experience teaching in primary schools in Seine-Saint-Denis (France), working in human resources in Montreal (Canada), and teaching in the Canton of Vaud, Chevalier brings diverse perspectives to her academic work. She holds a Master's degree in e-learning from IPM, Lille 1 and is currently pursuing a MAS in 'Theories, practices and training devices for teachers' to refine her understanding of institutional and social contexts of teacher training in French-speaking Switzerland. Her research interests focus on three complementary areas: online homework implementation in blended learning environments and fostering teacher communities of practice; how e-learning supports teacher professionalization; and robotics as a medium for knowledge, specifically examining how classroom robot integration impacts student learning and teaching practices. She is particularly interested in emerging communities of practice around educational technology. Analysis of her recent publications reveals a strong emphasis on educational robotics as a vehicle for developing computational thinking in primary education. Her work consistently explores scaffolded learning approaches, intervention methods, and teacher perspectives on implementing robotics in classrooms. A recurring theme is the development of models to help teachers identify relevant computational thinking concepts during different phases of educational robotics activities. Chevalier serves in several organizational roles including as an Associate HEP Professor, delegate of the intermediate body to the HEP Council, delegate of the Specialized Pedagogy Study Commission, and scientific collaborator at EPFL's LSRO. She is also a member of the educanet2 Community. Her teaching spans Bachelor primary programs, MASPE education, and continuing education courses covering image creation and processing, media education, Thymio II robotics, and flipped classroom methodologies. She collaborates extensively with EPFL researchers, particularly on projects involving the Thymio educational robot, and has developed frameworks for creative computational problem solving through robotics. Her work demonstrates a commitment to translating research into practical classroom applications while supporting teacher development in the digital age.

Wilfried Kubingerمشاهده پروفایل

استاد

• Embedded Systems
• Machine Vision
• Autonomous Robotics
• +۳ مورد دیگر

Prof. Wilfried Kubinger serves as the Head of the Department of Electronic Engineering at the University of Applied Sciences Technikum Wien, Austria. He holds a PhD in Technical Sciences from the Technical University of Vienna (1999) and has extensive experience in research and industry. His academic roles include leading the 'Automation & Sensor Technology' competence field and managing the 'Automation & Robotics' research area. **Research Focus:** His work centers on embedded systems, machine vision, autonomous robotics, and real-time control systems. Notable projects include obstacle detection for autonomous vehicles, stereo vision algorithms, and agricultural robotics applications. He actively contributes to IEEE and OVE engineering associations. **Professional Journey:** Prior to academia, he worked at Siemens Austria (2000–2003) as a software developer and project manager, and at AIT Austrian Institute of Technology (2003–2010) managing research projects in autonomous systems. He participated in DARPA Grand Challenge/Urban Challenge as a principal scientist for vision-based obstacle detection. **Publications:** His research spans embedded vision systems, FPGA implementations, and autonomous vehicle technologies. Recent work emphasizes agricultural robotics and Industry 4.0 applications. He also leads R&D project acquisition and implementation for Technikum Wien.

Roman Franz Froschauerمشاهده پروفایل

استاد

• Software Engineering for Intelligent Automation Systems
• Human-Robot Interaction
• Control Systems
• +۷ مورد دیگر

Roman Franz Froschauer is a Professor of Production Informatics at the Upper Austria University of Applied Sciences, Research Center Wels. Since 2018, he has served as Director of Studies for the Master's program in Robotic Systems Engineering and leads the Smart Automation & Robotics research group. His career spans academic and industrial roles, including senior software development and project management at AlpinaTec Technical Products GmbH (2010-2016). Education: Ph.D. in Computer Science (2010) from Johannes Kepler University Linz; Master's in Industrial Informatics (2005) from Upper Austria University of Applied Sciences. Research Areas: Software engineering for intelligent automation systems, human-robot interaction (HRI), control systems, and applications of IEC 61499 standards. His work focuses on proactive collaboration, trajectory planning, and user-centered design for assistive robots in office and industrial settings. Scientific Activities: Active in peer-review, conference organization, and technology development. Projects include VRoboCoop (human-robot trust), MARIE (office robotics), and Autility (automated utility vehicles). Key Contributions: Frameworks for modular manufacturing (PlugBot), skill-based engineering, and intralogistics automation (ATLAS).

• Robotics
• Autonomous Systems
• Mobile Robotics
• +۶ مورد دیگر

Markus Bader is a PostDoc Researcher at the Technische Universität Wien's Faculty of Informatics, Department of Automation Systems. He holds roles as Curriculum Coordinator for Master's programs in Automation Systems and Mobile Robotics, and serves on multiple academic committees including the Faculty Council and Curriculum Commissions for Informatics and Computer Engineering. He earned his Diplom-Ingenieur (2006) and Doctor Technica (Dr.techn.) from TU Wien. His research focuses on autonomous systems, mobile robotics, and control systems, with notable work on multi-robot coordination, path planning algorithms, and real-time navigation in human environments. Key projects include TransportBuddy (2018), exploring navigation in human spaces, and the Formula Student Driverless race car design (2017). Bader has led or contributed to funded projects such as the Austrian Research Promotion Agency (FFG)-supported Green Facade Digital Twin (2025–2027), Independent Wheel Offset Steering (2016–2017), and MPCv1 (2015–2017), emphasizing model predictive control and sensor integration. Research Highlights : Prioritized multi-robot route planning (MRRP), human motion prediction for autonomous navigation, and sensor fusion for vehicle localization. Grants : FFG-funded projects totaling over €2.5M, including autonomous vehicle coordination and mobile robotics tool development. He advises students on topics like ROS2-based route planning and independent steering systems, with 7+ supervised theses documented. Bader's work bridges theoretical robotics research with practical applications in industrial automation and autonomous vehicle systems.

• Cybersecurity
• Game Theory
• Quantum Cryptography
• +۵ مورد دیگر

Stefan Rass is a Professor at the Institute of Networks and Security within the Faculty of Engineering & Natural Sciences at Johannes Kepler University Linz (JKU), where he leads the LIT Secure and Correct Systems Lab. As Principal Investigator for FFG-funded projects including reSilienz (digital supply chain resilience, 2023–2025) and ITPUK (AI signature verification, 2022–2024), he bridges theoretical game theory with practical cybersecurity solutions for critical infrastructures and robotics systems. His research spans game-theoretic security models (patrolling games, defense-in-depth strategies), quantum cryptography (QKD network architectures), and cyber deception frameworks like Honeyquest for measuring honeypot effectiveness. Recent work addresses robotics security benchmarking (RobotPerf), cryptographic instruction chaining for control flow protection, and risk assessment methodologies for interdependent infrastructures. His mathematical decision-making approach integrates bounded rationality and stochastic modeling to solve real-world security challenges. Professor Rass actively shapes the field through program committee roles (ARES 2023), peer reviews, and invited talks on security transparency. His current projects focus on cost-benefit-aware monitoring for cyber-physical systems and quantum key distribution standardization, reflecting Austria’s strategic priorities in digital resilience. The LIT Secure and Correct Systems Lab under his direction develops foundational theories while deploying tools for industrial applications, particularly in critical infrastructure protection and secure robotics workflows.

Franz Wotawaمشاهده پروفایل

استاد

• Model-Based Reasoning
• Qualitative Reasoning
• Theorem Proving
• +۶ مورد دیگر

Franz Wotawa is a Professor of Software Engineering at Graz University of Technology. He holds a M.Sc. (1994) and PhD (1996) from Vienna University of Technology. He has served as head of the Institute for Software Technology from 2003–2009 and since 2020. His research focuses on model-based reasoning, software testing, autonomous systems, and diagnosis, with over 390 peer-reviewed publications. He founded Softnet Austria (2006) to bridge research and industry. He leads the Christian Doppler Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems since 2017 and has supervised 90+ master and 36+ PhD students. His awards include the 2016 Lifetime Achievement Award from the International Diagnosis Community. He is a member of Academia Europaea, IEEE, and AAAI. **Education**: M.Sc. in Computer Science, Vienna University of Technology, 1994 PhD, Vienna University of Technology, 1996 **Research Interests**: Model-based reasoning, qualitative reasoning, theorem proving, mobile robotics, verification/validation, software testing/debugging, AI, and autonomous systems. **Notable Projects**: A-IQ Ready (2022–2026): Quantum sensing for autonomous systems. ALFA (2024–2027): AI for smart diagnosis in building automation. Bilateral AI (2024–2029): Combining symbolic and sub-symbolic AI. VARCOS (2025–2028): Vehicle-road cooperative systems for autonomous driving. **Awards & Memberships**: Lifetime Achievement Award (2016, International Diagnosis Community) Senior Member, AAAI Member of Academia Europaea, IEEE, ACM, and Austrian Computer Society **Labs/Teams**: Christian Doppler Laboratory for Quality Assurance Methodologies (since 2017). Active in Cluster of Excellence “Bilateral AI” at TU Graz.

• Cognitive Linguistics
• Sociolinguistics
• World Englishes
• +۳ مورد دیگر

Prof. Alexander Onysko is a full-time Professor and Head of the Institute of English and American Studies at the University of Klagenfurt's Faculty of Cultural and Educational Sciences. His academic roles include membership in the Curricular Commission for English and American Studies and the Faculty Conference. His research focuses on cognitive linguistics, sociolinguistics, and world Englishes, with particular interest in language contact, multilingualism, and conceptual metaphors. Recent research projects explore interdisciplinary topics like media literacy, swarm intelligence in robotics, and sustainable business ecosystems. Notable publications in 2025 address online political avoidance, robotic exploration algorithms, and healthcare workforce retention during pandemics. He actively contributes to academic administration and has supervised multiple institutional innovation projects. His work bridges linguistic theory with practical applications in education and technology-driven solutions.

Peter Mohr-Ziakمشاهده پروفایل

پژوهشگر

• Augmented Reality
• Mixed Reality
• Human-Computer Interaction
• +۷ مورد دیگر

Peter Mohr-Ziak is a researcher affiliated with both the Institute of Computer Graphics and Vision at the University of Technology Graz (TU Graz) and VRVis Forschungs GmbH. His primary focus areas include Augmented Reality (AR) and Mixed Reality (MR) systems, specifically in the domains of AR visualization, content generation for AR, and head-mounted display (HMD) technologies. He is actively involved in projects with AVL List GmbH in addition to his academic research. Academic Rank: Researcher at TU Graz Education: Telematics, TU Graz Peter's research interests center on creating interactive AR systems with applications in industrial assembly, remote assistance, and education. His work spans technical aspects of AR visualization and practical implementations for skill training (e.g., guitar tutorials) and complex tasks like maxillofacial surgery. He investigates spatial rendering techniques, adaptive perspective models, and light field applications in mixed reality environments. Recent research trends include: 2024: Expanding into human-robot interaction and AR affordance templates 2023: Developing interactive guitar tutorials and state-aware configuration detection systems 2022: Advancing focus cues in video see-through MR and assembly instruction authoring 2019-2020: Improving HMD interaction with TrackCap and light field remote assistance 2017: Creating adaptive perspective rendering and video tutorial retargeting systems Scientific recognition includes: 2021: ISMAR Best Conference Paper 2017: CHI Best Paper Honorable Mention He contributes to projects at TU Graz's Institute of Computer Graphics and Vision, including collaborations with VRVis Forschungs GmbH and AVL List GmbH, while maintaining personal interests in photography and drone flying.

Oliver Höftbergerمشاهده پروفایل

پژوهشگر

• Cyber-Physical Systems
• Real-Time Systems
• Embedded Systems
• +۵ مورد دیگر

Oliver Höftberger is affiliated with TU Wien's Institut für Technische Informatik , part of the Faculty of Informatics. His research focuses on Cyber-Physical Systems , Real-Time Systems , Embedded Systems , and Resilient Systems-of-Systems . He has contributed to frameworks for self-healing cyber-physical systems and resilient master clocks, emphasizing fault tolerance and dynamic reconfiguration. Publications highlight work on emergence phenomena in systems-of-systems, ontology-based runtime adaptation, and multi-core processor architectures like the ACROSS MPSoC for safety-critical applications. He has advised multiple PhD and Master’s students, including Denise Ratasich, Nazir Alakhras, and Julian Grahsl. Key projects include the universAAL platform for Ambient Assisted Living and sensor fusion packages for robotics (ROS). His research bridges theoretical systems modeling with practical implementations in complex, safety-critical domains.

• Human-Computer Interaction
• Design Theory and Methodology
• Interaction Design
• +۶ مورد دیگر

David Ribeiro Lamas is a Professor of Human-Computer Interaction at Tallinn University's School of Digital Technologies, where he heads the Human-Computer Interaction group. He also serves as the chair of the Estonian chapter of ACM's SIGCHI and as an expert member of IFIP's TC13. With an extensive international career spanning the USA, UK, Portugal, Cape Verde, Mozambique, Afghanistan, and Estonia, he has developed deep expertise in designing organizations, communities, and human technologies. His educational background includes a PhD in Human Computer Interaction from Portsmouth University (1998), an MSc in Computer Science from Minho University (1994), and an Honours BSc in Informatics/Applied Mathematics from Portucalense University (1989). He also completed specialized studies in Strategic Management at the Polytechnic University of Catalunya and a postdoc in Augmented and Virtual Environments at Michigan State University. Lamas' research primarily focuses on design theory and methodologies, with recent work emphasizing trust in technology, facial recognition systems, and vibrotactile interfaces. He has pioneered academic programs including the Master in Human-Computer Interaction and the Masters in Interaction Design (run online with Cyprus University of Technology). His approach combines theoretical rigor with practical application, particularly in cross-cultural contexts. His publication record shows a strong trend toward understanding human trust in technology systems, with significant work on facial recognition, vibrotactile feedback systems, and trust frameworks. His research spans both theoretical contributions to HCI methodology and practical applications addressing real-world challenges in digital accessibility and user experience. 2025 HCI Pioneer Award from IFIP TC13 2025 Tallinn Conference Ambassador 2024 IFIP Service Award 2015 Badge of Merit from Tallinn University 2011 Best Paper Award for work on Estonia's M-Government Services 2000 Best Paper Award for research on Web navigation guidance Lamas has successfully supervised forty-eight master students, seven doctoral students, and two post-doc researchers, and currently supervises twelve doctoral students. His leadership extends to numerous research projects including COST Actions on Interactive Narrative Design and Human-Computer Interaction methodologies. He founded and leads STARTS.EE, Tallinn University's initiative promoting encounters between science, technology, and the arts. He has been instrumental in building the Estonian HCI community through seasonal courses on Experimental Interaction Design, Research Methods in HCI, and the Design of Human Technologies since 2010. His World Usability Day events bring together over 600 researchers and practitioners annually from the Baltics, Nordic countries, and beyond. Lamas has chaired major international conferences including INTERACT 2019, NordiCHI 2020, AfriCHI 2021, and ICIDIS 2021.

Stefan Rassمشاهده پروفایل

استاد

• Security and Risk Management
• Decision and Game Theory for Security
• Security Infrastructures
• +۹ مورد دیگر

Stefan Rass is a full Professor at Alpen-Adria-Universität Klagenfurt (AAU), with additional affiliation at Johannes Kepler University Linz (JKU). He holds the academic title Univ.-Prof. (Universitätsprofessor) and possesses advanced degrees including PD (Privatdozent), Dipl.-Ing. (Diplom-Ingenieur), and Dr. (Doctor). His research spans multiple institutions and projects, with a focus on security and risk management through game theory applications. Professor Rass's research interests center around Security and Risk Management, Decision and Game Theory for Security, Security Infrastructures (including Key Distribution and Management, PKI, and Authentication), Unconditional and network security, Applied Quantum Cryptography, and Complexity Theory and Statistics in Security. His work bridges theoretical computer science with practical security applications, particularly in quantum networks and critical infrastructure protection. His recent publications demonstrate a strong trend toward interdisciplinary security research, combining game theory with quantum cryptography, robotics security, and AI-powered penetration testing. The articles reveal increasing focus on practical applications of theoretical security concepts, with notable work in quantum networks, deniable encryption techniques, robotics security benchmarking, and AI-assisted security testing. His research shows consistent evolution from theoretical foundations toward real-world implementation challenges. Professor Rass leads multiple ongoing research projects including Machine Learning for Risk Management, Safe and Secure Robotic Systems Engineering (SEEROSE), Simulation and analysis of critical network infrastructures in cities (ODYSSEUS), and security for cyber-physical value networks Exploiting smaRt Grid systems (synERGY). These projects, primarily funded by FFG (Austrian Research Promotion Agency), demonstrate his leadership in securing critical infrastructure and developing next-generation security frameworks.