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

• Edge Computing
• Fog Computing
• Cloud Computing
• +۴ مورد دیگر

Dragi Kimovski is a Habilitated Assistant Professor in Distributed Systems at Klagenfurt University, Austria, focusing on Edge Computing and AI. He previously held roles at the University of Innsbruck and the University of Information Science and Technology in Macedonia. His research spans Edge/Fog/Cloud computing, multi-objective optimization, and high-performance computing. He has coordinated major projects like 6GContinuum and KärtnerFog, and led initiatives such as DataCloud and ASPIDE. His teaching includes courses on Distributed Computing, Cloud Computing, and IoT. He is the co-creator of the Carinthian Computing Continuum and maintains a blog on Edge AI World. His work emphasizes sustainable and efficient computing solutions for emerging technologies. Education: Not explicitly listed in the provided text. Research Interests: Edge Computing, Fog Computing, Cloud Computing, Multi-objective Optimization, High-Performance Computing, AI in Distributed Systems. His work addresses challenges in resource management, latency reduction, and scalability across heterogeneous environments, with applications in healthcare, IoT, and 6G networks. Projects: 6GContinuum (Coordinator): Focuses on AI services over 6G networks. KärtnerFog (Scientific Coordinator): Develops adaptive Fog infrastructures over 5G. DataCloud (WP5 Leader): Manages Big Data pipelines on the Computing Continuum. ASPIDE (Scientific Coordinator): Advances exascale programming models for data processing. Teaching: Klagenfurt University: Courses include Distributed Computing, IoT, Cloud Computing, and Advanced Programming. University of Innsbruck: Taught Advanced Parallel and Distributed Systems. University of Information Science and Technology: Courses in High-Performance Computing and Network Architectures. Labs/Teams: Co-created the Carinthian Computing Continuum, an automated SDN testbed for Edge computing research. Active in interdisciplinary teams addressing extreme data processing and sustainable computing.

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

استاد

• Computer Graphics
• Real-Time Rendering
• Point Clouds
• +۴ مورد دیگر

Univ.Prof. Michael Wimmer is a Professor in the Department of Computer Graphics and Visualization at TU Wien's Faculty of Informatics. His research focuses on real-time rendering, point cloud processing, GPU computing, and computational design. He leads projects involving architectural visualization, thermal simulation, and integrative design frameworks combining 4D sketching with material modeling. His work bridges computer graphics with applications in architecture and engineering. ORCID: 0000-0002-9370-2663 Research Group: Network Lab Recent research emphasizes GPU-accelerated algorithms (e.g., LOD generation for 2 billion points), real-time rendering techniques, and deep learning approaches for surface reconstruction. Collaborations span thermal simulation with civil engineers and 4D design tools for architects. Notable contributions include: Developing PPSurf for detailed surface reconstruction using point convolutions Advancing Vulkan-based rendering pipelines in academic settings Integrating light polarization for HDR imaging His lab explores applications in architectural design metaphors, computational material assessment via GeoRadar, and thermal simulation using precomputed radiative transport. Students under his supervision focus on GPU optimization, 3D reconstruction, and VR ergonomics.

Lukas Einkemmerمشاهده پروفایل

استاد

• Numerical Analysis
• Plasma Physics
• Computational Mathematics
• +۳ مورد دیگر

Prof. Lukas Einkemmer is a faculty member at the University of Innsbruck, holding a position in the Institute of Mathematics. He specializes in numerical analysis, plasma physics, and high-performance computing. His work focuses on developing advanced numerical methods for solving complex kinetic equations and PDEs, with applications in plasma simulation and computational fluid dynamics. Education: He earned a PhD in applied mathematics (2014) and MSc in physics (2013) from the University of Innsbruck, alongside BSc in applied mathematics (2010). He completed research stays at UC Merced and holds notable academic awards, including the SciCADE New Talent Award (2015) and participation in the Heidelberg Laureate Forum (2013). Research & Teaching: His research includes exponential integrators, dynamical low-rank methods, and semi-Lagrangian discontinuous Galerkin schemes. He teaches numerical methods, PDEs, and computational courses at both undergraduate and graduate levels. He also leads training programs in parallel computing (OpenMP/MPI) at the University’s Research Center for High-Performance Computing. Publications & Grants: Over 70 peer-reviewed articles in journals like J. Comput. Phys. and SIAM J. Sci. Comput. , focusing on numerical algorithms and their applications. He has secured grants from FWF and other agencies, advancing methods for plasma physics and kinetic theory. Awards & Recognition: Multiple honors, including the Oberwolfach Leibniz Graduate Student award (2014) and sustained scholarship support for academic excellence.

• Systems
• Concurrency
• Memory Management
• +۵ مورد دیگر

Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.

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

Reinhard Pichler is a Full Professor at the Vienna University of Technology (TU Wien), affiliated with the Faculty of Informatics and the Department of Databases and Artificial Intelligence . His research focuses on Database Theory , Computational Logic , and Parameterized Complexity . He leads multiple research projects like DeConquer (2023–2027) and HyperTrac (2018–2022), addressing challenges in query optimization and hypergraph decompositions. He holds the prestigious START Prize (2014–2022) for young researchers. His work spans theoretical foundations (e.g., hypertree decompositions) and practical applications (e.g., SPARQL query processing systems like SparqLog). He contributes to academic governance, serving on faculty councils and curriculum commissions. His research innovations bridge algorithmic theory and real-world database systems, emphasizing efficient query evaluation and tractability analysis. Key contributions include advancing fractional hypertree decompositions , SPARQL query optimization , and consistent query answering . His projects often involve collaborations with industry and international funders like the Austrian Science Fund (FWF) and Vienna Science and Technology Fund (WWTF). He actively publishes in top venues like Journal of the ACM , ACM Transactions on Database Systems , and Proceedings of the VLDB Endowment . His academic leadership extends to course design, teaching advanced topics like Complexity Theory and Theoretical Computer Science . He mentors doctoral students and oversees research teams exploring cutting-edge areas like uncertain databases and cloud-based computational social choice .

Oskar Mencerمشاهده پروفایل

استاد

• Numerical methods and simulations
• Imaging
• Discretization of space, time and value
• +۷ مورد دیگر

Oskar Mencer is a Professor in the Department of Computing at Imperial College London , where he has been a member of academic staff since 2000. He was also a Consulting Professor at Center for Computational Earth and Environmental Science , Stanford University (2009-2010). His research focuses on Multiscale Dataflow Computing , exploring the interaction of hardware and software systems through domain-specific representations, parallel programming, VLSI design, and compiler methodologies. He has contributed to fields including high-performance computing, FPGA optimization, and computational finance. Dr. Mencer's work has been recognized with a Special Award from Com.sult (2012), Imperial College Research Excellence Award (2007), and a Top EPSRC Advanced Fellowship (2001). He has received multiple best paper awards, including at ICFPT'08 and ASAP 2008, and his 2000 paper on stream architectures was recognized as historically significant in 2015. His publications demonstrate a strong emphasis on FPGA acceleration , custom architectures , and parallel processing across geophysics, finance, and neuroscience applications. Special Award for Dataflow Innovation (2012) Best Paper Award - ICFPT'08 Best Paper Award - ASAP 2008 He has served on technical committees for conferences such as FPL , DATE , and FPT , and leads the Computer Architecture Research Group (currently inactive).

Alexandru Nicolauمشاهده پروفایل

استاد

• Parallelizing compilers
• Supercomputing
• High Performance Computing (HPC)
• +۵ مورد دیگر

Alexandru Nicolau is a Distinguished Professor and Chair of the Department of Computer Science at the University of California, Irvine (USA), where he has worked since 1992. He previously held positions as Associate Professor (1988–1992) and Assistant Professor (1984–1988) at UC Irvine and Cornell University, respectively. Education : B.A., Brandeis University (1980) MS (1981), Ph.D. (1984), Yale University Research Interests : A leading expert in parallelizing compilers , high-performance computing , and software-hardware co-design , Nicolau pioneered foundational techniques like Percolation Scheduling and Optimal Loop Parallelization . His work enables efficient exploitation of instruction-level parallelism in general-purpose programs, with applications in embedded systems , matrix algorithms , and GPU-based neural networks . He has also contributed to Electronic Design Automation (EDA) and lightweight synchronization protocols . Scientific Awards : IEEE Fellow (2014) ACM SIGPLAN Most Influential Paper (PLDI 20 years) EDAA/IEEE/ACM DATE Most Influential Paper (10 years) ACM ICS Most Influential Paper (25 years) 4 Best Paper awards (VLSI design 2003, ISHPC 2005, CASES 2008, IJCNN 2009) Advising & Grants : He has mentored notable scholars now at Stanford, McGill, and Google, and secured over $20M in funding from NSF , DARPA , and industry leaders like IBM and Intel . His professional service includes chairing ACM ICS’09 and PPOPP’13, and serving on steering committees for LCPC and ICS. Labs & Collaborations : His techniques have been adopted by IBM Watson, Siemens Munich, Fujitsu Labs Japan, and the open-source GCC compiler.

Yang Laurence Tianruoمشاهده پروفایل

استاد

• Cyber-physical-social systems
• Big data computing and analytics
• Ubiquitous/pervasive computing
• +۳ مورد دیگر

Laurence Tianruo Yang is a distinguished academic holding dual roles as National Distinguished Professor at Huazhong University of Science and Technology (China) and W.F. James Research Chair at St. Francis Xavier University (Canada). He has been a Tenured Professor since 2009 and has held progressively senior positions since 1999. His expertise spans cyber-physical-social systems, big data analytics, and cloud computing. Education: B.E. in Computer Science (Tsinghua University), B.Sc. in Applied Physics (Tsinghua University), Ph.D. in Computer Science (University of Victoria). Research focuses on parallel/distributed computing, embedded systems, and IoT. He has published over 400 journal papers with 26,463 citations and an H-index of 80. Notable recognitions include IEEE Fellowships, the John B. Stirling Medal, and multiple best paper awards. He actively leads IEEE technical committees and has secured CAD$5M+ in research funding from NSERC, CFI, and Chinese national programs. Editorial roles include IEEE Transactions on Computers, IEEE Systems Journal, and Elsevier journals. He has organized over 10 international conferences and authored/co-authored 25+ books.

Maximilian Brunnerمشاهده پروفایل

پژوهشگر

• Numerics of PDEs
• Finite Element Methods (FEM)
• Contractive Iterative Solvers
• +۳ مورد دیگر

Maximilian Brunner is a Postdoc at TU Wien's Institute of Analysis and Scientific Computing (E 101), specializing in Numerics of Partial Differential Equations (PDEs). He holds a Dipl.-Ing. (MSc) and Dr.techn. (PhD) from TU Wien, with his doctoral thesis on On optimal adaptivity for semilinear PDEs earning the 2025 Study Prize from the Austrian Mathematical Society (ÖMG). His research focuses on adaptive finite element methods (FEM), iterative solvers for nonlinear PDEs, and cost-optimality analysis. He collaborates with Prof. Dirk Praetorius and contributes to projects funded by the Austrian Science Fund (FWF). Previously, he was a PhD student (2020–2024) and taught courses in numerical mathematics and scientific programming. His work bridges theoretical advancements in adaptive algorithms with practical computational efficiency, addressing challenges in nonsymmetric and semilinear PDEs. Education: PhD in Technical Mathematics, TU Wien (2024), supervised by Dirk Praetorius MSc in Technical Mathematics, TU Wien (2020), supervised by Winfried Auzinger Research Interests: His interdisciplinary work centers on developing adaptive FEM strategies for cost-optimal solutions to PDEs. Key areas include: Contractive iterative solvers for nonlinear systems Goal-oriented error estimation for targeted accuracy Quasi-optimal computational cost in adaptive algorithms His methods prioritize minimizing computational resources while maintaining solution fidelity, with applications to elliptic and semilinear PDEs. Awards: 2025 Study Prize (ÖMG) for PhD thesis Grants & Funding: FWF Projects P33216 and P28367 Vienna School of Mathematics membership (2020–present) Labs/Teams: Core member of the Numerics of PDEs research group, part of TU Wien's ASC unit. Active in collaborative projects with international conferences and workshops.

Pingali Keshavمشاهده پروفایل

استاد

• Programming Languages
• Parallel Computing
• High-Performance Computing
• +۴ مورد دیگر

Dr. Keshav Pingali is the W.A. 'Tex' Moncrief Chair of Computing and Professor of Computer Science at The University of Texas at Austin, where he also directs the Center for Grid and Distributed Computing at the Oden Institute. Previously, he held the India Chair of Computer Science at Cornell University (2003–2006) and served as a professor in Computer Science and Electrical Engineering at Cornell (1999–2006). He completed his B.Tech. at IIT Kanpur (1978), followed by S.M., E.E., and Sc.D. degrees from MIT (1983, 1986). Research Interests: Focuses on programming languages, compilers, and runtime systems for parallel computing, with emphasis on optimizing irregular applications in domains like graphics and data mining. His work addresses challenges in high-performance computing and multicore processor programming methodologies. Awards & Honors: ACM SIGPLAN Programming Languages Achievement Award (2024) ACM/IEEE CS Ken Kennedy Award (2023) IEEE Charles Babbage Award (2023) Foreign Member of Academia Europaea (2020) Fellow of ACM (2012), AAAS (2010), and IEEE (2010) NSF Presidential Young Investigator Award (1989–1994) President’s Gold Medal, IIT Kanpur (1978) Professional Activities: Keynote speaker at major conferences like ACM PACT (2018), HPCA/PPoPP/CGO (2016), and HIPEAC (2012). Served as editor-in-chief of ACM TOPLAS (2007–2010) and on NSF advisory committees. Currently teaches courses on compiler optimization and performance programming.

• Optimizing Compilers
• Program Analysis
• Embedded Systems
• +۴ مورد دیگر

Jens Knoop is a Full Professor at TU Wien, leading the Department of Information Systems Engineering (E194) and the Research Unit Compilers and Languages (E194-05). His roles include Head of Institute for Information Systems Engineering and membership in the Curriculum Commission for Informatics. He specializes in compiler design, program analysis, and embedded systems, with a focus on worst-case execution time (WCET) analysis and formal methods. His research interests span optimizing compilers, programming languages, and real-time computing. Notable contributions include the Platin tool suite for WCET analysis and contributions to the T-CREST project on time-predictable multi-core architectures. He has authored and edited multiple influential publications, including proceedings of international conferences such as Code Generation and Optimization (CGO) and ARCS. Professor Knoop has supervised numerous theses, including works on effect systems in Haskell, mutation testing in Rust, and robotic systems. He has received the Most Influential PLDI Paper Award (2002) for foundational work in compiler optimization.

• Algorithms
• Graph Neural Networks
• Problem decomposition techniques
• +۴ مورد دیگر

Matthias Paul Lanzinger is an Assistant Professor at the Technische Universität Wien's Faculty of Informatics, Department of Database and Artificial Intelligence. His research focuses on algorithms, graph neural networks, hypergraph decomposition techniques, parameterized complexity, and computational logic. He leads projects like 'DeConquer' (Vienna Science Fund) and 'HyperTrac', exploring efficient query processing and hypergraph-based algorithms. Research interests include theoretical computer science, database systems, and applying logical frameworks to solve complex computational problems. Recent work emphasizes hypertree decompositions, fuzzy Datalog, and graph motif analysis via the Weisfeiler-Leman test. He co-edited the 2024 Datalog-2.0 workshop proceedings and has supervised students on topics like column-store performance and graph query languages. His publications span venues like ACM Transactions on Database Systems, ICLR, and IJCAI, highlighting contributions to algorithmic efficiency, database theory, and logical reasoning systems. Active in academic service, he teaches courses on database systems, scientific research, and advanced topics in informatics.

• Physical processes at Earth's surface
• Landscape evolution
• Fluvial processes
• +۵ مورد دیگر

Sean Douglas Willett is a Full Professor at ETH Zurich, Switzerland (since 2006), specializing in Earth surface processes and tectonic geomorphology. Previously, he held positions as Assistant/Associate Professor at the University of Washington (1998-2006), Assistant Professor at Pennsylvania State University (1994-1998), and completed postdoctoral research at Dalhousie University. He was also a Visiting Professor at the University of Bologna (2004-2005). Education: Ph.D. in Geophysics, University of Utah (1988) B.S. in Geology and Geophysics, University of Utah (1982, cum laude) Research Focus: Integrates numerical modeling with field observations to study landscape evolution, mountain-building processes, fluvial/glacial erosion dynamics, low-temperature thermochronology, and orogenic wedge mechanics. His work bridges tectonics, climate science, and surface processes. Publications: His recent articles (2012-2015) demonstrate advanced computational methods for landscape modeling and focus on Alpine/European tectonic evolution, river basin reorganization, and exhumation mechanisms. Earlier foundational work established mechanical models for mountain belts. Awards/Honors: Fellow, Canadian Institute for Advanced Research (1995-2014) Elected Member, Academia Europaea (2015) Professional Service: Extensive editorial contributions including Associate Editor for American Journal of Science and Terra Nova , organizer of TOPO-Europe conferences, and committee roles for European Science Foundation programs. His scholarly impact includes 5,700+ citations and h-index of 36 (2015).

Matthias Baazمشاهده پروفایل

دانشیار

• Mathematical Logic
• Theoretical Computer Science
• Proof Theory
• +۵ مورد دیگر

Ao.Univ.Prof. Dr. Matthias Baaz is an Associate Professor at TU Wien's Institute of Discrete Mathematics and Geometry. His research focuses on Mathematical Logic and Theoretical Computer Science, with specialties in Proof Theory, Hilbert's Epsilon-calculus, and Automated Deduction. He leads the FWF-funded project on branching quantifiers and collaborates with the Steklov Institute on proof representation. Key contributions include the CERES method for cut-elimination and foundational work on independence-friendly logics. Prof. Baaz organized major events like the 2014 Vienna Summer of Logic (2500 participants) and the 2018 FISP Workshop on proof systems. He serves as Executive Vice President of the Kurt Gödel Society and has held roles on program committees for LFCS'16, VSL'14, and others. His work bridges structural proof theory with computational applications in parallel computing and program extraction from proofs. Current projects explore Henkin quantifiers' linguistic applications and extensions of CERES to non-classical logics. Academic activities include invited talks at ISRALOG'14, TbiLLC'13, and FLoC'02, alongside supervising research initiatives with international collaborators.

Camille Schreckمشاهده پروفایل

پژوهشگر

• Computer Graphics
• Physics-based Simulation
• Geometric Modeling
• +۲ مورد دیگر

Camille Schreck is a researcher in Computer Graphics currently holding an Inria Starting Faculty Position (ISFP) at Inria Nancy within the MFX Team. She has been actively contributing to the field of computer graphics with a focus on physics-based simulation and geometric modeling since completing her PhD in 2016. Her educational background includes an engineering degree from ENSIMAG (Grenoble INP) in 2013, followed by a PhD at the University of Grenoble-Alpes supervised by Stefanie Hahmann and Damien Rohmer. Between 2016 and 2020, she conducted postdoctoral research at IST Austria in Chris Wojtan's group. Dr. Schreck's research spans physics-based simulation of natural phenomena, geometric modeling, and computational fabrication techniques. Her work demonstrates particular expertise in simulating deformable materials like paper, water dynamics, and developing novel methods for 3D printing and shape manipulation. She has successfully bridged theoretical computer graphics with practical applications in digital fabrication. Her publication record shows consistent high-impact contributions to top computer graphics venues including SIGGRAPH, Eurographics, and Computer Graphics Forum, with recent work focusing on star-shaped particle simulation, self-shaping 3D printed structures, and efficient mesh processing techniques. The progression of her research demonstrates a clear trajectory from fundamental paper simulation to increasingly complex physical phenomena and fabrication methods. Young Research Fellow of Eurographics France (YFR EGFR) - 2024 Dr. Schreck serves on numerous program committees including SIGGRAPH, Eurographics, and Shape Modeling International. She teaches courses in computer graphics and parallelism at ENSG-GeoRessources and Telecom Nancy, both part of Université de Lorraine. Her teaching spans from 2020 to the current 2024-2025 academic year. As a member of the MFX research team at LORIA (Inria Nancy), she collaborates on advancing the state of the art in physics-based animation and geometric modeling, with her StarDEM project representing a significant contribution to particle simulation methods.