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

Brandon Luciaمشاهده پروفایل

استاد

• Intermittent Computing
• Energy-harvesting Systems
• Concurrency
• +۷ مورد دیگر

Brandon Lucia is a Full Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University's College of Engineering. He leads the abstract research group focusing on the intersection of computer architecture, systems, and programming languages. His work bridges theoretical foundations with practical implementations in energy-constrained environments. Lucia's research centers on intermittent computing systems and edge computing in extreme environments. His work on energy-harvesting systems has established fundamental principles for batteryless computing, while his orbital edge computing research pioneers computational intelligence for nanosatellite constellations. These research thrusts address critical challenges in reliability, efficiency, and programmability for systems operating under severe power constraints. His publication record shows a clear evolution from foundational work on intermittent computing models to sophisticated applications in space computing and edge intelligence. Recent publications demonstrate increasing integration of dataflow architectures with energy-harvesting constraints, particularly in satellite constellations where computational resources must be managed across distributed, power-constrained platforms operating in extreme environments. NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS Best Paper Awards (2018, 2020) OOPSLA Distinguished Paper and Artifact Awards (2015) Lucia actively mentors numerous PhD students including Brad Denby, Zhuo Cheng, and Emily Ruppel, many of whom contribute significantly to his research program. His abstract research group maintains strong industry connections while pursuing fundamental advances in computing systems. The group has developed multiple open-source tools including Legerdemain for program analysis and MultiCacheSim for cache coherence simulation. His laboratory work spans from theoretical foundations of intermittent computing to practical implementations in space systems. Current projects include computational nanosatellite constellations, energy-minimal dataflow architectures, and secure edge computing systems that operate reliably despite frequent power failures.

Changhee Jungمشاهده پروفایل

دانشیار

• Compilers
• Computer Architecture
• Performance Optimization
• +۸ مورد دیگر

Changhee Jung is the Samuel D. Conte Associate Professor in the Department of Computer Science at Purdue University. His research focuses on compilers and computer architecture with an emphasis on performance, reliability, and security. His educational background includes a Ph.D. from Georgia Tech (2013) under the supervision of Prof. Santosh Pande. Professor Jung's research spans compilers and computer architecture with a focus on performance, reliability, and security. He has developed program analysis and microarchitecture optimization techniques for soft error resilience, concurrency bug detection, and system security such as memory safety and Linux kernel permission check. Currently, he is working on energy-efficient intermittent computation and nonvolatile memory crash consistency. He often leverages compiler-architecture codesign and repurposes existing hardware features to develop cost-effective solutions for complex computing challenges. His recent publications demonstrate a clear trajectory toward intermittent computing systems, nonvolatile memory architectures, and security mechanisms for energy-constrained environments. His work shows innovative approaches to power failure recovery, capacitor vulnerability exploitation, and EMI attack defense in intermittent systems, with significant contributions to whole-system persistence, cache design, and prefetching techniques for low-power computing. His notable scientific achievements include: NSF CAREER Award (2018) Inducted into MICRO Hall of Fame (2021) Best Paper Honorable Mention in ISCA 2025 Memorable Paper Award Finalist in NVMW 2024 Dissertation Advisor of 2023 ACM SIGBED Paul Caspi Memorial Dissertation Award winner Jongouk Choi 2017 AMD Faculty Research Award Professor Jung has successfully advised numerous graduate students, many of whom have secured prominent positions at leading technology companies including Google, Intel, and Samsung Electronics. His lab, the CompArch (Compiler and Architecture) research group, was formed in 2013 at Virginia Tech and continues at Purdue, focusing on compiler-architecture cooperation to address cross-cutting concerns involving performance, reliability, and security. The lab has received significant research funding, including an NSF CAREER Award in 2018 and an AMD Faculty Research Award in 2017.

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

• Delay and Interruption Tolerant Networks (DTN)
• Information-Centric Networking
• Space Internetworking
• +۵ مورد دیگر

Professor Vasilios Tsaousidis is affiliated with the Department of Electrical and Computer Engineering at Democritus University of Thrace since 2003. He was elected Professor in 2007 and has held visiting positions at MIT (2009) and Technical University of Berlin (2005). His work is conducted within the Programming and Information Processing Laboratory and focuses on DTN , Information-Centric Networking , and Space Internetworking . Education : Applied Mathematics (Aristotle University, Greece), Computer Science PhD (Humboldt University, Berlin) Postdoctoral Experience : Rutgers University, SUNY Stony Brook, Northeastern University His research spans transport/network layers with emphasis on energy-efficient and delay-tolerant protocols. Key areas include congestion control , QoS mechanisms , and reliable data dissemination in challenged environments. His publications from 2023-2025 focus on Kubernetes networking , edge cloud , and blockchain-integrated trust systems , demonstrating adaptability to emerging paradigms like IoT and space networking . Current projects like UMOBILE and SENSKIN explore mobile-centric architectures and structural health monitoring systems. Earlier work with SPICE (2010-2014) pioneered space internetworking protocols for Mars data transmission and space weather applications .

Costas Vassilakisمشاهده پروفایل

استاد

• Information systems
• Semantic web technologies
• Service-oriented architectures
• +۴ مورد دیگر

Costas Vassilakis is a Professor in the Department of Informatics and Telecommunications at the University of Peloponnese, serving as Dean of the Faculty of Economics and Technology since 2019. He holds a PhD from the University of Athens (1995) and has held academic roles since 2005, including Associate Professor and Visiting positions. His research focuses on information systems, semantic web technologies, and cultural informatics, with contributions to projects like Virtual Museums and SmartGov. He leads initiatives in digital cultural heritage, cybersecurity, and smart agriculture. Notable projects include Experimedia Blue for personalized cultural experiences and Cyber-Trust for IoT security. Active in teaching, he has instructed courses on operating systems, software engineering, and real-time systems. He contributes to academic governance, including roles in the University Council and strategic planning units. His work bridges technology and cultural preservation, emphasizing interdisciplinary innovation. Education: PhD in Informatics, University of Athens (1995); MSc equivalent in Informatics, University of Athens (1990). Research Interests: Focuses on recommenders systems, collaborative filtering optimization, cybersecurity frameworks, and AI applications in agriculture. Active in cultural heritage digitization, museum technologies, and VR systems. Recent Projects: Includes TripMentor (tourism platform), PaloAnalytics (market analytics), and Rehabotics (rehabilitation robotics). Leads EN.I.R.I.S.S.T., a national infrastructure for maritime and logistics research. Awards: No explicit awards listed, but recognized through extensive project leadership and academic roles.

Delphine Demangeمشاهده پروفایل

دانشیار

• Programming Languages
• Compiler Verification
• Formal Semantics
• +۳ مورد دیگر

Delphine Demange is an Associate Professor in Computer Science at University of Rennes, working in the Epicure research group (formerly Celtique) at IRISA (UMR 6074 / Inria). Her research focuses on formal methods for programming languages and compilers, with particular emphasis on compiler verification, program semantics, and language-based security. Her research interests include formal semantics of programming languages, program transformations, compiler verification, static analysis, computer-aided verification, and language-based security. She has made significant contributions to the formal verification of compiler intermediate representations, particularly static single assignment (SSA) form, and has worked extensively on verified compilation techniques. Her publication record shows a consistent focus on formal verification of programming language constructs and compiler components. Recent work (2023-2025) centers on dataflow circuits and solvers, while earlier work (2015-2020) focused on SSA-based optimizations, garbage collection verification, and information-flow security architectures. Her research demonstrates a strong commitment to applying formal methods to practical compiler and language implementation problems. Her scientific awards include the EAPLS Best PhD Dissertation Award in 2012 and the Gilles Kahn PhD Thesis Award in 2013 for her thesis Semantic Foundations of Intermediate Program Representations . She serves on numerous program committees for major programming languages conferences including CC, CGO, OOPSLA, and POPL, and has held leadership roles such as Program Co-Chair for CC 2021 and General Co-Chair for JFLA 2023 and 2024. She is also a member of the CC Steering Committee (2021-2024). Her teaching portfolio includes undergraduate and graduate courses in programming, algorithmics, compilation, and program verification, with a particular focus on trustworthy programming techniques using deductive verification in Why3.

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

استاد

• Fluid Dynamics
• Turbulent Flow
• Atmospheric Pollution Dispersion
• +۷ مورد دیگر

George Sideridis is a Professor at the University of Western Macedonia , affiliated with the Polytechnic School's Department of Mechanical Engineering. His career spans over four decades, including prior roles at the Technological Educational Institution of Western Macedonia and the University of Thessaloniki. PhD in Experimental Fluid Mechanics (1982) and BSc in Aeronautical Engineering (1977), both from Queen Mary College, London University Specializes in turbulent flows, scalar dispersion, and wake-boundary layer interactions Developed experimental methodologies for atmospheric pollutant dispersion and quasi-2D flow simulations His research focuses on fluid dynamics and thermal engineering , particularly in turbulent flow behavior and environmental applications. Recent work (2024) explores air pollutant dispersion modeling, while earlier studies examine cylinder wake interactions and particle dispersion models like DIPCOT. He has served as a faculty member since 1984 in various Greek institutions, including roles at the Hellenic Aerospace Industry and Greek Airforce Academy.

Stelios M POTIRAKISمشاهده پروفایل

استاد

• Complex Systems
• Time-Series Analysis
• Geophysical Signal Processing
• +۶ مورد دیگر

Stelios M POTIRAKIS is a Professor at the Department of Electrical and Electronics Engineering at the University of West Attica in Athens, Greece. He has held this position since September 2018, following an Associate Professor role at the same institution from March to September 2018, and previously at Piraeus University of Applied Sciences from November 2015 to February 2018. His research focuses on complex systems time-series analysis with applications spanning geophysical phenomena, space weather, biological signals, financial markets, and audio processing. He leads the Electronics and Computer Technologies Laboratory (ECTLab) at the University of West Attica. Dr. POTIRAKIS specializes in digital signal processing, nonlinear dynamics, and mathematical modeling of complex physical systems. His expertise bridges electrical engineering with geophysics, particularly in studying earthquake precursors through electromagnetic emissions, ionospheric disturbances, and atmospheric anomalies. He has developed methodologies to analyze critical phenomena across diverse systems, from phase transitions in physics to market dynamics in finance. His recent publication record demonstrates a strong focus on the intersection of space weather, ionospheric monitoring, and seismic activity. He has pioneered approaches using Very Low Frequency (VLF) signals to detect pre-seismic ionospheric anomalies, contributing to earthquake prediction research. His work also extends to financial markets, where he applies complexity measures to forecast volatility, and to biological signals, where he investigates neural dynamics and spike generation mechanisms. 246 scientific publications with 54,289 reads and 2,419 citations Director of ECTLab (Electronics and Computer Technologies Laboratory) Key contributor to hELlenic Seismo-ElectroMagnetics Network (ELSEM-Net) Active researcher in Swarm mission data analysis for geophysical monitoring Dr. POTIRAKIS maintains an extensive international collaboration network, particularly with Japanese researchers like Masashi Hayakawa, reflecting the global impact of his interdisciplinary research in complex systems analysis and earthquake precursor studies.

Pierre-Evariste Dagandمشاهده پروفایل

پژوهشگر

• Formal Verification
• Programming Languages
• Theorem Proving
• +۵ مورد دیگر

Pierre-Evariste Dagand is a CNRS Researcher at IRIF, Université de Paris, where he is a member of the Proofs, Programs, and Systems group. His research focuses on enhancing the safety of systems software through the application of domain-specific languages and formal verification techniques, particularly leveraging interactive theorem provers. His research interests span several areas of computer science, including: Formal Methods : Using rigorous mathematical techniques to verify software and hardware systems Programming Languages : Designing and implementing languages with a focus on safety and correctness Compilers : Developing verified compilers for domain-specific languages and synchronous languages Type Theory : Exploring dependent types and their applications in verification Operating Systems : Contributing to the design of systems for multicore architectures Cryptography : Creating high-throughput cryptographic implementations via formal methods Dagand's publications demonstrate a consistent focus on formal verification and theorem proving applied to practical systems. His work frequently involves the Coq proof assistant and addresses challenges in compilers, cryptography, and systems programming. Recent trends include the development of tools for secure cryptographic implementations (e.g., Usuba and Tornado) and formal models for intermittent computing. He has advised numerous students in internships, working on projects related to formal methods, compilers, and cryptography. These internships have contributed to various research outputs and tools. Dagand is part of the Proofs, Programs, and Systems group at IRIF, which focuses on foundational aspects of computer science and their application to software verification and language design.

• Compilers
• Computer Architecture
• High-Performance Storage
• +۵ مورد دیگر

Mahmut Taylan Kandemir is a Professor in the Department of Computer Science at Pennsylvania State University. His research spans optimizing compilers, runtime systems, embedded systems, I/O, high-performance storage, and power-aware computing. He leads the Microsystems Design Lab and collaborates with institutions like Argonne National Lab, Microsoft, and Intel. Education: B.S. Computer Engineering, Istanbul Technical University (1988) M.S. Computer Engineering, Istanbul Technical University (1992) Ph.D. Computer Science, Syracuse University (1999) Research Focus: Dr. Kandemir's work integrates hardware-software co-design to address challenges in multi-core architectures, non-volatile memory systems, and energy efficiency. His recent projects explore 3D NAND flash optimization, near-data computing, and reliability in heterogeneous systems. Key themes include reducing data movement overhead, enhancing storage longevity, and developing compiler-directed solutions for emerging hardware. Publications: His articles frequently appear in premier venues (PLDI, ASPLOS, HPCA) and emphasize memory hierarchy optimization, security, and parallelism. Trends include hardware-assisted resilience, approximate concurrency, and energy-efficient VR streaming. Awards: Premier Research Award, Penn State Engineering Society (2017) IEEE Fellow NSF CAREER Award (2000) Best Paper Awards (IPDPS 2008, ICPADS 2006) Top ACM Digital Library Download (2006) Advising & Grants: He has graduated 32 Ph.D. and 20 master's students, with 15 Ph.D. and 5 master's students currently advised. His research is funded by NSF, DARPA, DOE, and industry partners. Active projects include: NSF/OAC: Re-Engineering Galaxy for Performance (2019-2023) NSF/SHF: 3D NAND Flash Optimization (2019-2022) NSF/SPX: Heterogeneous Intermittent Accelerators (2018-2022) Labs & Teams: Leads the Microsystems Design Lab, focusing on architecture-compiler co-design. Collaborates with the Storage Systems Research Center and heterogeneous computing groups at Penn State.

• Engineering Economics
• Environmental Economics
• Business Risk Management
• +۷ مورد دیگر

Konstantin Aravossis is a full-time Professor at the National Technical University of Athens (NTUA), School of Mechanical Engineering, Department of Industrial Management and Operational Research. He also serves as Secretary General for Natural Environment and Water at Greece's Ministry for Environment and Energy. Additional affiliations include Adjunct Researcher at Columbia University's Earth Engineering Center since 2015 and Visiting Professor at Imperial College London's Centre for Environmental Policy. Education: PhD in Operations Research (NTUA, 1992), MSc in Management Science (Imperial College London, 1987), and Diploma in Mechanical Engineering (Technical University of Aachen, 1986) Research Focus: Combines engineering economics with environmental planning through advanced analytical tools like risk management, life cycle analysis, and multicriteria decision-making. Key applications include hazardous material dispersion modeling, sustainable energy systems, and municipal waste strategies. His computational fluid dynamics (CFD) work with PHOENICS® software enables urban environmental hazard prediction. Publication Trends: Recent articles (2019) emphasize circular economy applications in LNG supply chains, disability inclusion in waste recycling, and climate-resilient energy transitions. Earlier work (2017-2011) covers urban development risk analysis, indoor pollution modeling, and mining site remediation techniques. His 2010 research on carbon trading remains foundational. Leadership Roles: Currently coordinates NTUA's Environmental Economics and Sustainability Unit, serves as Vice President of Imperial College Alumni Association, and contributes to university governance through multiple Senate committees and technical councils.

Theodosis Dimitrakosمشاهده پروفایل

دانشیار

• Applied Probability
• Stochastic Operations Research
• Optimal Control
• +۵ مورد دیگر

Theodosis Dimitrakos is an Associate Professor at the Department of Mathematics, University of the Aegean, specializing in Applied Probability and Stochastic Operations Research . His work focuses on optimal control of stochastic systems across diverse domains. University of the Aegean School of Sciences Department of Mathematics His research spans epidemic processes , biological populations , preventive maintenance , vehicle routing , and medical emergency systems . Publications emphasize semi-Markov decision processes and dynamic programming . Recent articles analyze stochastic vehicle routing, maintenance optimization, and predator-prey dynamics. Key trends include stochastic demand modeling , penalty systems , and multi-compartment logistics . Teaching courses: Undergraduate and Postgraduate Statistics , Probability I , and Stochastic Modeling . Author of the textbook Probability, Statistics and Stochastic Models (Eudoxos code: 143557808).