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

van Glabbeek Robert Janمشاهده پروفایل

استاد

• Concurrency theory
• Formal methods
• Verification of distributed systems
• +۱ مورد دیگر

Robert Jan van Glabbeek is a Royal Society Wolfson Fellow (Professor) at the University of Edinburgh since 2022. He also holds unpaid adjunct and affiliate positions, including as an Adjunct Professor at the University of New South Wales (2004–present) and a Research Affiliate at Stanford University (2002–present). M.Sc. in Mathematics (cum laude) from the University of Leiden (1984) Ph.D. in Comparative concurrency semantics and refinement of actions from the Free University, Amsterdam (1990) His research focuses on concurrency theory , formal methods , verification of distributed systems , and temporal logic . He has supervised numerous students and interns, co-chaired Ph.D. and habilitation committees, and developed courses on concurrency theory and automata & complexity from 1988 to 2020, including a guest course at the University of Twente in 2018. He has received prestigious awards: Foreign Member of the Royal Holland Society of Sciences and Humanities (2015), the CONCUR test-of-time award (2020), and the Royal Society Wolfson Fellowship (2022). His editorial roles include Editor in Chief of the Electronic Proceedings in Theoretical Computer Science (since 2009) and organizing committees for 40 conferences. He has filed two patents in document workflow systems (US7120699, US7356611) and served on the steering committee of MARS (since 2017). His invited talks span over 30 international workshops and symposia.

Paul M.B. Vitanyiمشاهده پروفایل

استاد

• Kolmogorov complexity
• Computational machine learning
• Computational complexity
• +۴ مورد دیگر

Paul M.B. Vitanyi is a CWI Fellow at the Centrum Wiskunde & Informatica (CWI) in the Netherlands and Professor of Computer Science at the University of Amsterdam's Faculty of Science. He has held the position of Professor since 1988, was appointed Hoogleraar 1 (highest professor rank) in 2005, and served as Adjunct Professor at the University of Waterloo from 2005. His academic career spans over four decades with continuous contributions to theoretical computer science. Education: Master of Science, Technical University of Delft, 1971 Ph.D. in Computer Science, Free University of Amsterdam, 1978 Vitanyi's research centers on Kolmogorov complexity , which he pioneered through applications and co-authored the seminal textbook 'An Introduction to Kolmogorov Complexity and its Applications' (Springer, 1993; 3rd ed. 2008) with Ming Li. His work extends across computational learning theory, distributed systems, information theory, and quantum computing, establishing foundational connections between computation and physics. His interdisciplinary approach has influenced multiple fields through approximately 200 publications. Major Honors: IFIP Silver Core Award (2007) Knighthood in the Order of the Netherlands Lion (2007) Kolmogorov Medal (2003) University of Helsinki Medal (2003) China's National 1st Prize for Excellent Books (1999) He has supervised 11 PhD students and maintains active editorial roles for journals including Information Processing Letters and Theory of Computing Systems. His academic service includes the Goedel Prize Committee (2005-2007) and initial membership on the ERC Information and Communication Panel. Vitanyi regularly delivers plenary lectures at major international conferences across Europe, Asia, and North America. As a core member of CWI's Algorithms and Complexity research group, he contributes to one of Europe's leading theoretical computer science teams, advancing fundamental research while mentoring the next generation of scholars through his teaching and supervision.

Manuela Zaccoloمشاهده پروفایل

استاد

• Genetically encoded intracellular sensors
• Cardiac adrenergic signalling
• Cyclic nucleotide signalling
• +۲ مورد دیگر

Manuela Zaccolo is a Professor of Cell Biology at the University of Oxford since 2012 and a Tutorial Fellow in Pre-Clinical Medicine at Balliol College, Oxford, UK. Her research focuses on the spatial and temporal regulation of cyclic nucleotide signaling, particularly in cardiac pathophysiology. Research Interests : Cyclic nucleotide signaling (cAMP/cGMP) Subcellular compartmentalization of signals Role of phosphodiesterases in heart disease AKAP-mediated signal transduction Quantitative optical imaging in living cells Scientific Contributions : She pioneered genetically encoded FRET-based reporters for cyclic AMP, enabling real-time monitoring of signaling in live cells. Her work on compartmentalized signaling in cardiac myocytes has redefined understanding of second messenger systems. Scientific Awards & Honors : Fellow of the Istituto Veneto di Scienze, Lettere ed Arte (2023) Fellow of the Royal Society of Biology (2019) Royal Society Wolfson Merit Award (declined, 2011) Telethon Career Award (2001-2007) Royal Society/Accademia dei Lincei European Science Exchange Fellowship (1996-1997) British Council Grant in Aid (1992)

Anton Zeilingerمشاهده پروفایل

استاد

• Quantum Information Science
• Quantum Computation
• Quantum Communication
• +۷ مورد دیگر

Anton Zeilinger is a Full Professor of Experimental Physics at the University of Vienna and Scientific Director of the Institute for Quantum Optics and Quantum Information (IQOQI) at the Austrian Academy of Sciences. He served as President of the Austrian Academy of Sciences from 2013 to 2022. His work focuses on quantum foundations and applications, including quantum teleportation, entanglement, and quantum cryptography. Zeilinger holds honorary doctorates from Gdańsk and Humboldt Universities, and has received the Nobel Prize in Physics (2022), Wolf Prize (2010), and numerous other accolades. His research spans quantum optics, atom interferometry, and the philosophical implications of quantum mechanics. Education: PhD in Physics, University of Vienna (1971) Habilitation, Technical University of Vienna (1979) Research interests include testing quantum mechanics fundamentals, quantum nonlocality, and developing quantum technologies. His experiments on entangled photons and Bell inequality violations pioneered quantum information science. He has advised numerous researchers and holds leadership roles in global scientific institutions. Zeilinger’s labs are at the forefront of quantum communication and computing, with contributions to quantum teleportation and decoherence studies.

Sergiu Hartمشاهده پروفایل

استاد

• Game Theory
• Economic Theory
• Mathematical Economics
• +۳ مورد دیگر

Sergiu Hart is the Alice Kusiel and Kurt Vorreuter University Professor of Economics and Mathematics at The Hebrew University of Jerusalem. He holds dual professorships and has held academic positions at Stanford University, Tel Aviv University, and Harvard University as a visiting scholar. Since 1991, he has been pivotal in establishing and leading the Center for the Study of Rationality, a multidisciplinary research center at Hebrew University. His academic career spans over four decades, with roles including Founding Director (1991–1998), Chair of the Academic Committee (since 2008), and President of the Game Theory Society (2008–2010). Education: Ph.D. in Mathematics from Tel Aviv University (1976). Research focuses on game theory, economic theory, and their intersections with computer science, probability, and statistics. Key contributions include strategic foundations of cooperation, repeated games, adaptive dynamics, and risk measurement frameworks. His work bridges theoretical insights with applications in fair distribution, economic competition, and bounded rationality. Notable awards include the Rothschild Prize (1998), election to the American Academy of Arts and Sciences (2016), and fellowships from the Econometric Society (1985) and Israel Academy of Sciences (2006). He has delivered prestigious lectures worldwide, such as the Walras-Bowley Lecture (2003) and the Harris Lecture (2009). His edited works include the three-volume Handbook of Game Theory with Robert J. Aumann. Leadership and grants: Secured an ERC Advanced Investigator Grant (2010–2015), chaired academic committees, and held executive roles in professional societies. His research lab, the Center for the Study of Rationality, fosters interdisciplinary collaboration across economics, mathematics, and computer science.

• Railway Engineering
• Structural Engineering
• Civil Engineering
• +۳ مورد دیگر

Prof. Josef Fink is a faculty member at TU Wien's Institute of Structural Engineering (E212). His research focuses on railway bridge dynamics, track-bridge interaction, and structural dynamics analysis. He specializes in dynamic response evaluation of railway bridges under high-speed traffic, damping factor determination, and SCSC-plate (steel-concrete-steel composite) applications in bridge engineering. His work integrates experimental and numerical methods to address challenges in railway infrastructure resilience and vibration control. Key research areas include: ballasted track behavior, longitudinal/lateral track-bridge interaction, Lehr's damping coefficient analysis, and composite materials for bridge decks. He collaborates on projects such as the Network Lab and contributes to advancements in structural health monitoring and finite element modeling for bridge systems. Prof. Fink has supervised numerous theses on topics like SCSC plate performance, damping analysis, and bridge-soil interaction. His publications emphasize practical engineering solutions for dynamic railway infrastructure challenges.

• Mathematical Logic
• Set Theory
• Universal Algebra
• +۳ مورد دیگر

Martin Goldstern is a professor at the Institute of Discrete Mathematics and Geometry, Vienna University of Technology (TU Wien), Austria. His academic career includes a doctoral degree (1986) and habilitation (1993) from TU Wien. He has held visiting positions at institutions such as UC Berkeley, Hebrew University, and Freie Universität Berlin, supported by fellowships like the Schrödinger Fellowship from FWF. Research Interests: Goldstern specializes in mathematical logic, set theory (particularly applications to algebra and the real line), universal algebra, and theoretical computer science. His work bridges foundational mathematics with practical areas like uniform distribution and combinatorics. Teaching & Leadership: He teaches courses in mathematical logic, set theory, and algebra, and has organized events like the 'Wissenswertes aus der Mathematik' lecture series. He led TU Wien's curriculum committee for Technical Mathematics (2004–2016) and chairs the Set Theory research group. Notably, he contributed to redefining bachelor's and master's programs in the early 2010s. Awards & Grants: Recipient of the Schrödinger Fellowship (FWF). Supported by ERC grants during stays at Hebrew University (2015, 2018). His work includes co-authoring The Incompleteness Phenomenon , an introductory text on mathematical logic. Professional Activities: Organized conferences like AAA 58 (1999) and AAA 70 (2005), and contributed to events like the Logic Colloquium 2001 and Gödel Centenary (2006). Active in academic leadership, including the Doctoral Programme 'Mathematical Logic in Computer Science.'

Monika Dörflerمشاهده پروفایل

استاد

• Applied Harmonic Analysis
• Audio Signal Processing
• Machine Learning
• +۳ مورد دیگر

Monika Dörfler is a Professor in the Department of Mathematics at the University of Vienna. Her research focuses on applied harmonic analysis, audio signal processing, and the mathematics of machine learning. She specializes in time-frequency analysis, nonstationary Gabor frames, and deep learning applications in audio processing. Dörfler has contributed significantly to methods like the invertible constant-Q transform and has explored the intersection of convolutional neural networks with signal representation theory. Affiliations: Department of Mathematics, University of Vienna Roles: Professor, Privatdozent, Principal Investigator (PI) in grants including WWTF Hertha Firnberg and SALSA projects Teaching: Courses such as Applied Analysis and Bachelor seminar Her research interests emphasize both theoretical foundations and practical applications of signal processing techniques. Notable contributions include work on Gabor frames in deep scattering networks and orthogonal projections for dimension reduction in learning problems. Dörfler has received awards for her papers, including Best Paper Awards at ISMIR19 and DAFx-11, and has organized international conferences like SAMPTA19 and DAFx2020. Awards: Best Paper Gold (DAFx-11), ISMIR19 Award, WWTF Grant Leadership Grants: Co-PI in aMOBY (Acoustic Monitoring of Biodiversity), PI in Audio-Miner and Hertha Firnberg grant Her work addresses challenges in audio denoising, music information retrieval, and algorithmic biases in recommendation systems. Ongoing projects include "Filter them all! Gabor theory for image quality assessment" submitted to FWF in 2023.

Toby Daviesمشاهده پروفایل

دانشیار

• Crime Science
• Urban Analytics
• Spatial Analysis
• +۶ مورد دیگر

Dr. Toby Davies is an Associate Professor in Criminal Justice Data Analytics at the University of Leeds' School of Law. His expertise spans crime science, urban analytics, spatial analysis, and network science, with a focus on computational methods and mathematical modeling. He holds a PhD in Mathematics from University College London (UCL) and a MMath from the University of Oxford. Previously, he served as a Lecturer and Associate Professor at UCL's Department of Security & Crime Science before joining Leeds in 2023. His research integrates interdisciplinary approaches to study crime patterns, including urban form's impact on crime distribution, computational crime modeling (e.g., residential burglary and riots), and social network analysis. Collaborations with police forces (e.g., West Yorkshire Police) and agencies like the UK Home Office have led to operational tools for crime prevention. Davies is a proponent of Open Science, co-founding JDI Open at UCL to promote transparency in crime science. Teaching focuses on quantitative methods in criminology at both undergraduate and postgraduate levels. His work appears in journals such as Criminology , Chaos , and Applied Network Science , with contributions to edited books and conference sessions. He also guest-edited a special issue on network science applications. Professional memberships include the European Society of Criminology. Current research explores financial crime (e.g., cryptocurrency fraud) and social contagion effects in crime-related behaviors.

• Metallurgical Processes
• Vacuum Arc Remelting
• Magneto-hydrodynamics
• +۳ مورد دیگر

Mehran Abdi serves as Dipl.-Ing. at the Chair of Simulation and Modelling of Metallurgical Processes (310) at Montanuniversität Leoben, Faculty of Materials Science and Technology, Department of Metallurgy. His research focuses on computational modeling of metallurgical processes with emphasis on vacuum arc remelting and magneto-hydrodynamics. Dr. Abdi's research interests span metallurgical process simulation, solidification phenomena, and electromagnetic effects in materials processing. His work combines advanced numerical modeling with experimental validation to optimize industrial metallurgical processes. Key areas include vacuum arc remelting optimization, electro-vortex flow patterns, and peritectic solidification behavior. Analysis of Dr. Abdi's publication record reveals consistent contributions to metallurgical process modeling, with increasing focus on electromagnetic effects in materials processing. His work bridges fundamental fluid dynamics with practical industrial applications in alloy production, particularly titanium alloys. The research demonstrates strong collaboration patterns with colleagues across European institutions. Dr. Abdi has established productive research collaborations resulting in multiple peer-reviewed publications in high-impact materials science journals. His work has attracted citations and attention in the field of metallurgical process modeling, with growing impact as evidenced by increasing citation metrics in recent years. His laboratory work focuses on computational modeling of metallurgical processes, particularly investigating fluid flow phenomena under electromagnetic fields and optimizing vacuum arc remelting processes for high-value alloys. The research has implications for improving quality and efficiency in specialty metal production.

Markus Steinbergerمشاهده پروفایل

دانشیار

• GPU Computing
• Computer Graphics
• Parallel Processing
• +۳ مورد دیگر

Markus Steinberger is an Associate Professor at Graz University of Technology (Austria), leading the GPU Computing and Visualization Group at the Institute for Computer Graphics and Vision. He holds an MSc and PhD in Computer Science from TU Graz, with a postdoc and multiple leadership roles in academic and industry labs, including NVIDIA and the Max Planck Institute. His research focuses on GPU scheduling, parallel computing, and high-performance visualization techniques. He has led teams at TU Graz, Huawei Technologies (Cloud Rendering Lab), and the Max-Planck-Center for Visual Computing. Education 11/2020: Habilitation in Practical Computer Science at TU Graz 10/2013: PhD in Computer Science (Dynamic Resource Scheduling on Graphics Processors) 10/2010: MSc in Telematics 10/2005: BSc in Telematics Research Interests Steinberger’s work centers on optimizing GPU computing for real-time rendering and parallel processing. He explores efficient resource scheduling, dynamic graph management, and high-performance visualization techniques, with applications in cloud rendering, scientific visualization, and interactive graphics. His methods emphasize scalability and real-world applicability in both academic and industrial settings. Awards Heinz Zemanek Prize (2016) – First Austrian recipient GI Dissertation Prize (2014) – Best dissertation in German-speaking computer science Multiple Eurographics Best Paper Awards (2021, 2020, 2014) HPEC Best Student Paper (2017) ACM CHI Honorable Mention (2014) Advising & Grants Steinberger has advised numerous students and led projects funded by EU initiatives and industry partnerships. His research has been recognized through grants supporting GPU scheduling, cloud rendering, and parallel computing. Labs & Teams Leads the GPU Computing and Visualization Group at TU Graz and directed the Cloud Rendering Lab at Huawei, focusing on scalable rendering solutions for distributed systems.

• Formal Methods
• Model-Driven Engineering
• SAT/QBF Solving
• +۴ مورد دیگر

Martina Seidl is a researcher and principle investigator at TU Wien's Institut für Softwaretechnik und Interaktive Systeme (E188). Her main affiliation is within the Faculty of Informatics. She leads the FAME Project (Formalizing and Managing Evolution in Model-Driven Engineering), focusing on advancing formal methods in software engineering. Her research interests include formal verification techniques, SAT/QBF solving algorithms, model-driven engineering, and automated reasoning. She has contributed to advancements in quantified Boolean formula (QBF) solving, parallel computing methodologies for logical problems, and formal methods in software model analysis. Her work spans theoretical computer science and practical applications in automated theorem proving and model checking. Notable contributions include expansion-based QBF solving approaches, parallel solving frameworks, and feature-based classifications of formal verification techniques. Seidl co-organized the QBF Gallery initiative, which curates benchmark suites for quantified Boolean formula competitions. She has also published extensively on clause redundancy optimization, blocked clause analysis, and the integration of formal methods in educational contexts like UML@Classroom.

• Artificial Intelligence
• Scheduling Algorithms
• Metaheuristics
• +۴ مورد دیگر

Prof. Nysret Musliu is an Associate Professor at TU Wien's Department of Databases and Artificial Intelligence within the Faculty of Informatics. His primary affiliation is with the E192-02 research area, focusing on optimization, scheduling, and AI applications. He leads projects like 'Artificial Intelligence in Employee Scheduling' and 'Predictive Analytics for Emergency Call Infrastructure,' demonstrating expertise in combinatorial optimization and real-world problem-solving. Academic Rank: Associate Professor Institution: TU Wien Key Projects: AI-driven scheduling, constraint programming, metaheuristics Research interests include scheduling algorithms, constraint programming, and hybrid optimization methods. His work bridges theoretical advancements with industrial applications, addressing challenges in manufacturing, healthcare, and transportation. Recent publications emphasize hyper-heuristics, large neighborhood search, and AI integration for complex scheduling problems. Notable contributions include systematizing test laboratory scheduling and developing exact methods for oven scheduling. His research group collaborates on projects involving personnel scheduling, production leveling, and parallel machine optimization.

Haisen Zhaoمشاهده پروفایل

استاد

• Computer Graphics
• Digital Fabrication
• Additive Manufacturing
• +۵ مورد دیگر

Haisen Zhao is a Professor at Shandong University (SDU), affiliated with the School of Computer Science and Technology and the Interdisciplinary Research Center. His research focuses on geometric processing and digital fabrication, including additive and subtractive manufacturing. He completed his PhD at SDU in 2018 under Baoquan Chen, followed by postdoctoral research at the University of Washington (with Adriana Schulz) and IST Austria (with Bernd Bickel). He has authored over 20 top-tier publications in venues like ACM SIGGRAPH/Asia and IEEE TVCG, and holds multiple patents. Education: PhD in Computer Science (2018, SDU), Master’s (2014, SDU), and Bachelor’s (2011, SDU). Key awards include the CCF Doctoral Dissertation Award (2019) and Shandong Natural Science Award (2020). He leads a research group focused on advanced manufacturing techniques, advising PhD and Master’s students in areas like robotics, computer-aided design, and fabrication optimization. Teaching responsibilities include courses on computer graphics, human-computer interaction, and advanced topics for both undergraduates and graduates. His lab actively explores hybrid manufacturing strategies, inverse design methods, and robotic fabrication systems. Recent projects include neural accessibility learning for CNC machining and generative design for microstructure fabrication.

Donald Degraenمشاهده پروفایل

استادیار

• Haptics
• Virtual Reality
• Fabrication
• +۳ مورد دیگر

Donald Degraen is an Assistant Professor and Lecturer at the University of Canterbury, affiliated with the HIT Lab NZ, a leading research center in New Zealand. His work focuses on the intersection of haptics, fabrication, and virtual reality, with a particular emphasis on designing touch experiences and novel interaction methods. His research explores tools and techniques for generating tactile textures, sensory substitution for object detection, and collaborative haptic design. Donald’s research spans immersive technologies, including studies on virtual reality (VR) and augmented reality (AR) applications such as cycling exergames, wind-based haptic feedback, and eco-friendly gamification. He has contributed to frameworks for integrating smart devices into VR environments and enhancing tactile experiences through 3D-printed metamaterials. His work often bridges physical and digital realms, emphasizing sustainability and user-centered design. Key projects include TactStyle (generative AI for tactile textures), Spatial Haptics (sensory substitution methods), and Collaborative Haptic Experience Design (on-body vibrotactile patterns). Donald actively collaborates on interdisciplinary projects, leveraging his expertise in both technical and applied aspects of human-computer interaction. His research has been published in top-tier venues, with recent contributions exploring adaptive feedback systems, pseudo-force rendering in VR, and gamified eco-behavioral interventions. Donald is also involved in prototyping tools like AmbiPlant and Vrysmart, which aim to enhance real-world interactions through ambient and smart technology integration.