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

Todd Millsteinمشاهده پروفایل

استاد

• Network Verification
• Programming Languages
• Probabilistic Programming
• +۳ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.

• Power Systems
• Renewable Energy
• Smart Grids
• +۷ مورد دیگر

Dr. Aris Dimeas is a Researcher at the National Technical University of Athens in the Department of Electric Power and Industrial Applications . He holds a diploma and PhD in Electrical and Computer Engineering from NTUA and has extensive experience in power systems operations, renewable energy integration, and smart grid technologies. Specialized in AI applications for power systems Developed control software for demand side management Consultant for PPC (2007-2012) Research Focus : Smart grids and digital twin implementations Renewable energy market dynamics Microgrid optimization and control algorithms Collaborations : Active participant in EU research projects, collaborating with HEDNO and other energy grid operators on electronic meters and intelligent network deployments. Teaching : Instructs courses on electric energy systems, power system analysis, and energy management.

Heather Millerمشاهده پروفایل

استادیار

• Distributed Systems
• Concurrent Programming
• Programming Languages
• +۴ مورد دیگر

Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.

• Sustainability
• Circular Economy
• Environmental Management
• +۳ مورد دیگر

Konstantinos Tsagarakis is a Professor at the School of Production Engineering and Management, Technical University of Crete. His office is located at Δ5.107, DPEM Building (Δ5), 1st Floor, and he can be contacted via email at ktsagarakis@tuc.gr or by telephone at +302821037252. His research focuses on interdisciplinary sustainability solutions, with primary expertise in: Circular economy implementation and policy analysis Sustainable production systems and environmental management Renewable energy integration and prosumer models Data-driven approaches to sustainability using social media analytics Industry 4.0 applications for sustainable development Analysis of his recent publications reveals three dominant research streams: 1) Advanced data mining techniques applied to sustainability metrics across social media platforms, 2) Policy and institutional analysis of circular economy frameworks in various industrial sectors, and 3) Technological enablers (IoT, AI, cloud computing) for sustainable transformation. His work consistently demonstrates methodological innovation through mixed-methods approaches combining empirical analysis with computational techniques.

Ruzica Piskacمشاهده پروفایل

استاد

• Software Verification
• Security and Applied Cryptography
• Automated Reasoning
• +۴ مورد دیگر

Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files

Steve Blackburnمشاهده پروفایل

استاد

• Memory Management
• Garbage Collection
• Virtual Machine Design and Implementation
• +۷ مورد دیگر

Steve Blackburn is a research scientist at Google DeepMind and professor of computer science at the Australian National University in the College of Engineering and Computer Science. His primary research focus is on programming language implementation, with expertise spanning memory management, virtual machines, and performance analysis. He has served in significant leadership roles including Associate Dean for Diversity and Inclusion (2016-2019) and as Program Chair for PLDI 2015 and General Chair for PLDI 2023. Blackburn's research interests center on making software run faster and more power-efficiently on modern hardware. His primary areas include microarchitectural support for managed languages, fast and efficient garbage collection, and the design and implementation of virtual machines. He maintains a strong interest in sound methodology and infrastructure for successful research innovation. His work bridges theoretical computer science with practical systems implementation, with particular focus on memory management frameworks and performance benchmarking. His publication record reveals a consistent focus on memory management systems, with recent work exploring garbage collection in modern contexts including CRuby, Julia, mobile devices, and memory-disaggregated datacenters. His research shows an evolution from foundational garbage collection algorithms toward practical implementations addressing real-world constraints in contemporary programming languages and hardware platforms. A notable trend is his increasing focus on quantifying and understanding the true costs of garbage collection in production environments. Fellow of the ACM Blackburn has supervised numerous doctoral students including Zhen He, John Zigman, Robin Garner, Ting Cao, and currently advises Wenyu Zhao, Zixian Cai, and others. He has also served on multiple program committees for major conferences including PLDI, ASPLOS, ISMM, and OOPSLA, demonstrating his significant contributions to the programming languages and systems research community. His service includes editorial roles for ACM Transactions on Programming Language Applications and Systems from 2017-2020. He leads two major research infrastructure projects: the MMTk memory management framework and the DaCapo benchmark suite, both of which have become foundational tools for researchers in programming languages and systems. These projects reflect his commitment to shared research infrastructure and reproducible methodology in systems research.

• Programming Languages
• Semantics
• Type Systems
• +۵ مورد دیگر

Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.

Stefanos Papadakisمشاهده پروفایل

مدرس

• Software Defined Radio
• Cognitive Radios
• Radio Resource Management
• +۵ مورد دیگر

Stefanos Papadakis serves as a Research Staff Scientist at the Telecommunications and Networks Laboratory (TNL) of the Institute of Computer Science at Foundation for Research and Technology-Hellas (FORTH) and holds an Adjunct Lecturer position in the Department of Computer Science at the University of Crete. Since 2001, he has pioneered hardware and software prototyping at TNL-FORTH, currently leading the Software Defined Radio (SDR) group he established to drive vertical integration from physical layer design to application development. His educational foundation includes a Physics degree (2001) and M.Sc. (2004) and Ph.D. (2009) in Computer Science, all earned at the University of Crete. Teaching responsibilities encompass core courses CS-330: Introduction to Telecommunication Systems Theory and CS-435: Network Technology & Programming. Papadakis' research spans wireless innovation frontiers including software-defined/cognitive radios, spectrum sharing, heterogeneous networking, position location, radio propagation modeling, and emergency communications. His work emphasizes practical implementation, yielding functional prototypes across the entire communications stack. Notable contributions include GPU-accelerated SDR frameworks, robust spectrum virtualization techniques, and emergency response communication systems validated through international competitions. Analysis of his 15 most recent publications (2010-2016) reveals dominant themes in SDR optimization for IoT and critical communications, with significant focus on GPU parallelization, interference management in dense networks, and real-time spectrum sharing mechanisms. His experimental approach consistently bridges theoretical models with hardware validation, particularly in emergency response and heterogeneous network scenarios. Key recognitions include: Ericsson Award of Excellence in Telecommunications for position location research First place in PENED doctoral proposal competition Fourth place in IEEE DySPAN 2015 5G Spectrum Challenge Second place in Virginia Tech ShaRC 2016 with the 'Skynet' cognitive radio system Mentorship spans 16 undergraduate projects (11 completed), 8 M.Sc. students (3 completed theses), and 1 Ph.D. candidate. His research is sustained through major EU and national projects including REDComm (emergency communications), EU-MESH (metropolitan networks), RERUM (IoT security), and Heraklion smart city initiatives. The SDR group maintains critical infrastructure like the Heraklion metropolitan wireless network, FORTH campus network, and specialized mobile emergency nodes equipped with multi-radio SDR platforms, satellite transceivers, and high-performance computing resources.

• Business Analytics
• Information Systems Management
• Digital Transformation
• +۷ مورد دیگر

Xenia Mamakou is an academic at the Department of Business Organization and Administration, School of Business Administration, Athens University of Economics and Business (AUEB). She is affiliated with the Business Informatics Laboratory (BILab) and holds a PhD in Information Systems from AUEB. Education: BSc in Business Organization and Administration (AUEB), MSc in Business Information Technology (UMIST, UK), PhD in Information Systems (AUEB) Her research focuses on business analytics, digital transformation, and the organizational/social impacts of technology. She has published over 30 articles on topics like business analytics, ERP systems, e-commerce, and agile methodology. Her recent works explore AI adoption, metaverse opportunities, and agile project management in Greece. She has authored an academic book on Excel-based data analysis and received two teaching excellence awards from AUEB. She serves as scientific director of an eLearning course and participates in three other programs as a lecturer. Her involvement in committees includes Teaching and Learning Support, Gender Equality and Anti-Discrimination, and AUEB Faculty Association (Treasurer since 2021). Scientific Awards: AUEB Teaching Excellence Award (twice) Treasurer, AUEB Faculty Association (2021–present)

George Tsinarakisمشاهده پروفایل

مدرس

• Production Systems
• Petri Nets
• Hybrid Systems
• +۵ مورد دیگر

George Tsinarakis is a Lecturer at the School of Production Engineering and Management, Technical University of Crete. He holds a Diploma (2000), MSc (2002), and PhD (2007) from the same institution. His roles include teaching undergraduate courses (Simulation, Production Systems), co-supervising theses, and participating in research projects. He also serves as Adjunct Professor at Hellenic Open University (Engineering Project Management postgraduate program) and teaches Operations and Production Management at University of the Aegean. His research focuses on Production Systems, Petri Nets, Hybrid Systems, Renewable Energy, and Project Management. Education: Diploma in Production Engineering and Management (2000) MSc (2002) PhD (2007) Research emphasizes Petri Nets for process modeling, Hybrid Systems integration, and Renewable Energy applications. He contributes to digital twin frameworks for industrial systems and STEM education tools like HYDRA. His work spans simulation methodologies, supervisory control, and lifecycle analysis of energy systems. Teaching and advising includes undergraduate thesis co-supervision and involvement in European/Greek research projects. He evaluates EYDE-ETAK initiatives and reviews for international conferences/journals. Active in labs: Production Systems Laboratory and Computer Aided Manufacturing Laboratory.

Diego Garbervetskyمشاهده پروفایل

دانشیار

• Static Analysis
• Dynamic Analysis
• Reverse Engineering
• +۷ مورد دیگر

Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC/CONICET. He also serves as Director of the Institute of Research in Computer Sciences (ICC). His academic career spans software engineering, programming languages, and formal methods with a focus on program analysis and verification. His research interests include: Static and dynamic program analysis Reverse engineering and compiler optimizations Program understanding and validation Testing and verification of programs featuring rich protocols Automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc.) Garbervetsky's recent work focuses on smart contract analysis and verification, particularly for Solidity on Ethereum blockchain. His research bridges theoretical program analysis with practical applications in security-critical domains. He has developed several tools including Contractor for behavior validation, JConsume2 for heap memory analysis, and BudaPest for automated software verification. His scientific contributions have been presented at top-tier conferences including ICSE, FSE, ISSTA, and PLDI. Garbervetsky has served on numerous program committees for major software engineering conferences and has advised multiple PhD and undergraduate students through their research.

Adrian Sampsonمشاهده پروفایل

دانشیار

• computer architecture
• programming languages
• compilers
• +۵ مورد دیگر

Adrian Sampson is an Associate Professor in the Department of Computer Science at Cornell University, where he is part of the Computer Systems Laboratory and the programming languages group. He joined Cornell in 2016 as an Assistant Professor and was promoted to Associate Professor in 2022. Prior to Cornell, he was a Visiting Researcher at Microsoft Research (2015-2016). He received his Ph.D. from the University of Washington in 2015 under advisors Luis Ceze and Dan Grossman, with a dissertation on Hardware and Software for Approximate Computing. His research focuses on breaking down abstraction barriers and rethinking the hardware-software interface. He is particularly known for his work on approximate computing, which explores how computers can be more efficient by allowing them to make controlled mistakes. He leads the Capra research group at Cornell, which investigates programming languages and computer architecture. Sampson's recent publications demonstrate a strong focus on hardware acceleration, FPGA programming, compiler design, and programming language theory. His work often bridges the gap between high-level programming abstractions and low-level hardware implementation, with particular attention to predictability, verification, and energy efficiency. He has made significant contributions to geometry types for graphics programming, timeline types for modular hardware design, and virtual machines for FPGA programming. Among his notable recognitions are the IEEE TCCA Young Computer Architect Award (2021), NSF CAREER award (2019), and multiple Distinguished Artifact Awards at major conferences. He has advised numerous Ph.D. students who have gone on to positions at institutions like Wellesley College, Northwestern University, and Amazon. Sampson is actively involved in academic service, serving on program committees for major conferences including PLDI, ASPLOS, and ISCA. He has also held leadership roles such as ACM SIGARCH Board of Directors (2023-2025) and SIGPLAN Information Director. His teaching at Cornell includes courses on computer systems, programming languages, and advanced compilers.

John Aliprantisمشاهده پروفایل

پژوهشگر

• Augmented Reality
• Semantic Web
• Virtual Reality
• +۷ مورد دیگر

John Aliprantis is a researcher at the Department of Cultural Technology and Communication, University of the Aegean. He holds a Master of Science in Cultural Informatics and Communication and is currently conducting doctoral research on the implementation of Augmented Reality (AR) in the Semantic Web. His research areas include Virtual and Augmented Reality, Internet of Things, human-machine interaction, mobile programming, context-aware applications, Semantic Web, Linked Open Data, security in AR applications, and 3D modeling. His work bridges cultural heritage digitization with advanced technologies like digital twins, photogrammetry, and laser scanning. Recent publications highlight trends in AR for primary education Digital twin creation for cultural and paleontological spaces Personalized cultural tourism via mobile interfaces Security and privacy in AR Behavioral mapping for deep learning in education

Koundouri Phoebeمشاهده پروفایل

استاد

• Environmental Economics
• Sustainable Development
• Climate Policy
• +۶ مورد دیگر

Professor Dr. Phoebe Koundouri is a world-leading academic in interdisciplinary systems for sustainable development at the intersection of economics, environmental science, and policy. She holds the Professor position at the School of Economics (Athens University of Economics and Business) and directs the ReSEES Laboratory . Additionally, she serves as Visiting Professor at the University of Cambridge's Department of Earth Sciences and leads the Sustainable Development Unit at ATHENA Research Center. Her research spans the Water-Energy-Food-Emissions Nexus , climate adaptation systems, behavioral economics applications, and sustainable oceans. She has published over 400 scientific papers in journals like Nature and The Lancet , and her work integrates machine learning with policy design, green digital skills, and ecosystem services valuation under climate change scenarios. As a distinguished academician, she has received multiple accolades including: European Research Council Synergy Grant (2020) EAERE ERC Award of Scientific Excellence (2021) Academy of Athens Award for Scientific Excellence (2023) She chairs the UN Sustainable Development Solutions Network Global Climate Hub and co-chairs SDSN Europe, advising major international organizations including the European Commission, G20, and IPCC. Her career includes academic positions at the University of Cambridge, University College London, and Technical University of Denmark.

• Telecommunications
• Network Optimization
• Artificial Intelligence
• +۳ مورد دیگر

Professor Nancy Alonistioti is a faculty member at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. Her research focuses on advanced telecommunications technologies, including 5G/6G networks, AI-driven optimization, and network management systems. She leads studies in areas such as distributed learning frameworks for QoS prediction, fuzzy logic applications in emergency systems, and energy-efficient federated learning for wireless networks. Her work emphasizes network programmability, self-organizing mechanisms, and autonomic network management. Key contributions include the development of SIM+, a comprehensive information model for beyond 5G networks, and the Distinqt framework for privacy-aware learning in mobile systems. She explores applications in vehicular communications, maritime networks, and Industry 4.0 transformations through 5G capabilities. Professor Alonistioti’s research also addresses challenges like context-aware profiling, dynamic infrastructure-as-a-service paradigms, and genetic algorithm-based resource allocation in edge networks. Her publications span over two decades, reflecting a deep engagement with evolving network architectures and technologies.